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
fanghr
70367702fb
add all agora types
2022-05-13 20:03:17 +08:00
fanghr
68f4bd5498
setup bridge target
2022-05-13 18:08:57 +08:00
fanghr
0f36d649c6
merge #74 ; add sample and spec of the governor
2022-05-12 20:01:32 +08:00
fanghr
d43bf6cde4
add Spec.Utils to test utils in Agora.Utils
2022-05-12 19:28:19 +08:00
fanghr
25d011ed00
offload some stuff from agora-test to agora-sample and agora-testlib
2022-05-12 19:23:14 +08:00
fanghr
f2d30250da
Merge branch 'master' into connor/governor
2022-05-11 17:40:38 +08:00
Jack Hodgkinson
a8bb884eab
Applied Emily's suggestions
2022-05-09 12:17:49 +01:00
Jack Hodgkinson
7572bb4da2
Added review changes
2022-05-06 10:36:21 +01:00
fanghr
63c87667c3
add templates for samples and tests of governor
2022-05-06 17:11:07 +08:00
fanghr
07a498641c
move governor scripts from Agora.Governor to Agora.Governor.Scripts
2022-05-06 17:09:39 +08:00
fanghr
1cd5a8eb3c
doc string for util functions
2022-05-06 17:09:27 +08:00
fanghr
9e85a7a004
rewrite the doc for governor components
...
... also explain what GST is
2022-05-06 17:09:26 +08:00
Jack Hodgkinson
51ffd56203
finished first draft of treasury tests
2022-05-05 12:03:10 +01:00
Jack Hodgkinson
f81deaf062
Reset progress on treasury testing; will continue without apropos
2022-04-29 15:23:08 +01:00
Emily Martins
82ce3ab717
move Stake to Scripts, fix tests
2022-04-27 12:55:37 +02:00
Emily Martins
deaa5cf6f1
move Proposal impl. to Agora.Proposal.Scripts to avoid cyclic deps
2022-04-27 12:55:37 +02:00
