Hongrui Fang
bae30b7d4b
remove plutarch-extra from build dependencies
2022-06-17 21:16:29 +08:00
Hongrui Fang
b7cf29c4fc
export commit hash/branch along side with scripts
2022-06-16 20:50:18 +08:00
Emily Martins
ad9da8e6b3
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
c260254cae
Removed Apropos
2022-05-31 12:32:12 -05:00
Seungheon Oh
fa5bb7eec2
Replaced Apropos Property testing with PQ and PCB for MultiSig
2022-05-31 12:09:19 -05:00
Seungheon Oh
b1a323afaa
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
20e4f56e10
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
d7a235f010
CI using deploy keys of plutarch-*
...
Simplified workflow using `strategy.matrix`
2022-05-27 13:54:33 -05:00
Seungheon Oh
55defea912
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
bbc9953b9a
allow saving the bench report to an arbitrary location
2022-05-27 04:45:48 +08:00
Seungheon Oh
cde96df6a3
removed redundant codes
2022-05-26 09:50:47 -05:00
Seungheon Oh
fa77b809b8
rename/docstrings
2022-05-26 09:50:47 -05:00
Seungheon Oh
a74a98c206
CSV would be better than JSON
2022-05-26 09:50:46 -05:00
Seungheon Oh
5c438f0062
benchmarking
2022-05-26 09:50:46 -05:00
Seungheon Oh
424ad15894
agora-spec made independent from agora-test
2022-05-26 09:50:46 -05:00
Seungheon Oh
ff91432a68
Specs use generalized format so that it can be used for benchmarking
2022-05-26 09:50:43 -05:00
fanghr
a85b066a05
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
55435d601f
fix broken tests/samples
2022-05-25 20:08:45 +08:00
方泓睿
4bffc1005d
Merge branch 'main' into connor/mutate-governor
2022-05-24 12:38:46 +08:00
Emily Martins
effbcd1d6b
add remaining scripts, export to json file, fix compile
2022-05-20 18:24:53 +02:00
Emily Martins
1ba5722409
init agora-scripts for generating ScriptInfo for CTL
2022-05-20 18:24:53 +02:00
fanghr
cdffbeffc9
add a property test for pupdate and updateMap
2022-05-20 21:50:58 +08:00
Emily Martins
b4b85e623f
add size benchmarking for scripts to agora-bench
2022-05-18 16:50:08 +02:00
fanghr
30cceb7910
add templates of tests and samples
2022-05-17 20:54:17 +08:00
fanghr
7c5c8d423a
move GovernorMutation effect to Effect
2022-05-17 20:54:12 +08:00
fanghr
5fc9c30d60
add an effect that mutates the governor settings
2022-05-17 20:54:04 +08:00
fanghr
06d4fcd428
add tests for pmsort, pmerge and phalve
2022-05-14 19:57:01 +08:00
fanghr
9d34b63309
test-deps already contains agora
2022-05-14 17:32:42 +08:00
fanghr
cbf14337ff
Merge branch 'master' into connor/governor
2022-05-14 00:40:26 +08:00
fanghr
538e809d2c
add all agora types
2022-05-13 20:03:17 +08:00
fanghr
9a26439397
setup bridge target
2022-05-13 18:08:57 +08:00
fanghr
9f116dd2cf
merge #74 ; add sample and spec of the governor
2022-05-12 20:01:32 +08:00
fanghr
615f890745
add Spec.Utils to test utils in Agora.Utils
2022-05-12 19:28:19 +08:00
fanghr
283edd64b7
offload some stuff from agora-test to agora-sample and agora-testlib
2022-05-12 19:23:14 +08:00
fanghr
cee0f4a67a
Merge branch 'master' into connor/governor
2022-05-11 17:40:38 +08:00
Jack Hodgkinson
cb0f61eb2c
Applied Emily's suggestions
2022-05-09 12:17:49 +01:00
Jack Hodgkinson
f075d33b0d
Added review changes
2022-05-06 10:36:21 +01:00
fanghr
62cd50c5cb
add templates for samples and tests of governor
2022-05-06 17:11:07 +08:00
fanghr
fb6f2085c6
move governor scripts from Agora.Governor to Agora.Governor.Scripts
2022-05-06 17:09:39 +08:00
fanghr
18dce71f72
doc string for util functions
2022-05-06 17:09:27 +08:00
fanghr
cda1edeffc
rewrite the doc for governor components
...
... also explain what GST is
2022-05-06 17:09:26 +08:00
Jack Hodgkinson
a64f10c712
finished first draft of treasury tests
2022-05-05 12:03:10 +01:00
Jack Hodgkinson
dafa6fe8f0
Reset progress on treasury testing; will continue without apropos
2022-04-29 15:23:08 +01:00
Emily Martins
438ed872e3
move Stake to Scripts, fix tests
2022-04-27 12:55:37 +02:00
Emily Martins
4411dba717
move Proposal impl. to Agora.Proposal.Scripts to avoid cyclic deps
2022-04-27 12:55:37 +02:00
Emily Martins
eb4dc2c654
add shared Sample values module
...
- add Proposal validator testing
- add some Agora.Record improvements
2022-04-27 12:55:12 +02:00
Emily Martins
eba9ce452e
fix linter errors
2022-04-27 12:53:53 +02:00
Emily Martins
f79f85b2c0
add proposalCreation Sample test
2022-04-27 12:53:53 +02:00
Emily Martins
faf326f9c3
implement Agora.Record, implement Agora.Proposal.Time
2022-04-27 12:53:37 +02:00
Seungheon Oh
e262395556
format
2022-04-25 11:17:15 -04:00
