Commit graph

131 commits

Author SHA1 Message Date
Hongrui Fang
3d9c447783 parameterize scripts over AgoraScripts 2022-08-12 05:01:34 +08:00
Seungheon Oh
662540e619 remove Agora.MultiSig 2022-08-03 23:42:21 +08:00
Hongrui Fang
11757be255 simple tests for setting delegate 2022-07-26 22:37:35 +08:00
Hongrui Fang
b61fb203b2 get rid of Sample.Governor 2022-07-21 22:41:27 +08:00
Hongrui Fang
fa25ca21a2 add tests for governor mutation 2022-07-21 22:41:22 +08:00
Hongrui Fang
eba58106f3 add tests for minting GST 2022-07-19 22:48:02 +08:00
Hongrui Fang
79eb0772c3 add new tests for creating proposals 2022-07-11 23:47:29 +08:00
Hongrui Fang
701340688a add tests for advancement from draft phrase; refactoring 2022-07-05 16:59:15 +08:00
Hongrui Fang
a5a2d2313d enable -Wunused-do-bind 2022-07-02 21:03:41 +08:00
Emily Martins
afff408348 use plutarch-script-export library 2022-06-30 16:52:23 +02:00
Emily Martins
910416f4ab add better server error messages, cbor vs raw hex 2022-06-28 21:13:56 +02:00
Emily Martins
a7ed7989f1 restructure agora-scripts modules
In order to allow reusing this code in the future, I've made it so that
Agora-specific code all lives in `Main`, and everything else lives in
`ScriptExport` or other non-Agora modules.
2022-06-28 21:13:56 +02:00
Emily Martins
c7869fe701 format and fix Werror compile error 2022-06-28 21:13:56 +02:00
Emily Martins
6a4b945375 add granular script querying support 2022-06-28 21:13:56 +02:00
Emily Martins
bea444f7d6 create initial POC script generating API 2022-06-28 21:13:56 +02:00
Emily Martins
33cb76079f init servant-based API for script exporting 2022-06-28 21:13:56 +02:00
Hongrui Fang
435050f204 create credentials using blake2b_224
datum hash should be 256 bits(32 bytes)
2022-06-28 17:25:13 +08:00
Emily Martins
84f124a8b6 fix Agora's PTryFrom instances through orphans 2022-06-22 21:57:26 +02:00
Emily Martins
c9ec0d05c4 add @since tags to everything 2022-06-22 21:57:26 +02:00
Hongrui Fang
36a558bf30 allow multiple proposals in the samples of unlocking stake 2022-06-20 18:54:44 +08:00
Seungheon Oh
071a6ca7cc governorDatumValid property 2022-06-17 13:39:18 -05:00
Hongrui Fang
2aa891d53f remove plutarch-extra from build dependencies 2022-06-17 21:16:29 +08:00
Hongrui Fang
980e17a53d export commit hash/branch along side with scripts 2022-06-16 20:50:18 +08:00
Emily Martins
5049441dfc flake: bump plutarch, fix resulting issues
Collection of things fixed:
- `agora-test`: Fix compile resulting from some changes to hackage.
- `agora-benchmark`: Switched to `plutarch`-style `evalScript`.
- CI: Ported over new flake changes.

This is quite a mess.
2022-06-03 23:23:00 +02:00
Seungheon Oh
339dad0165 Removed Apropos 2022-05-31 12:32:12 -05:00
Seungheon Oh
8c312a46bd Replaced Apropos Property testing with PQ and PCB for MultiSig 2022-05-31 12:09:19 -05:00
Seungheon Oh
b65bc5a20d Restructure
`agora-spec` and `agora-spec` is merged to be `agora-specs`;
`agora-testlib` contains what previously was `Spec.Specification`.
2022-05-30 13:30:25 -05:00
Seungheon Oh
312976a4ca Moved Agora.Record to Plutarch.Extra.Record
Since `Agora.Record` provides a general utility for easy construction
of Plutarch record types, they can be moved to `liqwid-plutarch-extra`
to be used abroad.
2022-05-30 09:02:07 -05:00
Seungheon Oh
16b1f6ad4b CI using deploy keys of plutarch-*
Simplified workflow using `strategy.matrix`
2022-05-27 13:54:33 -05:00
Seungheon Oh
7a0f9e9a66 Use Liqwid-Labs/plutarch
- Removed `Utils.Value` -- not being used/better is provided with
  liqwid-plutarch-extra
- uses `Liqwid-Labs/plutarch`
- uses `Liqwid-Labs/plutarch-numeric`
- uses `Liqwid-Labs/plutarch-safemoney`
- uses `Liqwid-Labs/liqwid-plutarch-extra`
2022-05-27 13:43:55 -05:00
fanghr
d192379d3c allow saving the bench report to an arbitrary location 2022-05-27 04:45:48 +08:00
Seungheon Oh
6068ecded5 removed redundant codes 2022-05-26 09:50:47 -05:00
Seungheon Oh
7a599ffa35 rename/docstrings 2022-05-26 09:50:47 -05:00
Seungheon Oh
29dc10bf36 CSV would be better than JSON 2022-05-26 09:50:46 -05:00
Seungheon Oh
5eebba1355 benchmarking 2022-05-26 09:50:46 -05:00
Seungheon Oh
f880699809 agora-spec made independent from agora-test 2022-05-26 09:50:46 -05:00
Seungheon Oh
4b56edb25c Specs use generalized format so that it can be used for benchmarking 2022-05-26 09:50:43 -05:00
fanghr
6f9de51541 apply Emily's suggestions
* add `PMaxTimeRangeWidth`
* several `Default` instances for testing
* a bunch of docstrings
* fix the tests/samples
2022-05-25 21:07:09 +08:00
fanghr
c6c93f587a fix broken tests/samples 2022-05-25 20:08:45 +08:00
方泓睿
6ad986c7a9 Merge branch 'main' into connor/mutate-governor 2022-05-24 12:38:46 +08:00
Emily Martins
bc59671025 add remaining scripts, export to json file, fix compile 2022-05-20 18:24:53 +02:00
Emily Martins
56090bc5cc init agora-scripts for generating ScriptInfo for CTL 2022-05-20 18:24:53 +02:00
fanghr
8a408f3ab0 add a property test for pupdate and updateMap 2022-05-20 21:50:58 +08:00
Emily Martins
bc3c99711f add size benchmarking for scripts to agora-bench 2022-05-18 16:50:08 +02:00
fanghr
526ca67747 add templates of tests and samples 2022-05-17 20:54:17 +08:00
fanghr
015ee0b9de move GovernorMutation effect to Effect 2022-05-17 20:54:12 +08:00
fanghr
2c93a7cb1c add an effect that mutates the governor settings 2022-05-17 20:54:04 +08:00
fanghr
67ff8f7f46 add tests for pmsort, pmerge and phalve 2022-05-14 19:57:01 +08:00
fanghr
4da276a920 test-deps already contains agora 2022-05-14 17:32:42 +08:00
fanghr
88c54a74c5 Merge branch 'master' into connor/governor 2022-05-14 00:40:26 +08:00