Commit graph

84 commits

Author SHA1 Message Date
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
Emily Martins
4ea9255a6b add shared Sample values module
- add Proposal validator testing
- add some Agora.Record improvements
2022-04-27 12:55:12 +02:00
Emily Martins
5649f27d24 fix linter errors 2022-04-27 12:53:53 +02:00
Emily Martins
862e9b6079 add proposalCreation Sample test 2022-04-27 12:53:53 +02:00
Emily Martins
0ba8a58cb7 implement Agora.Record, implement Agora.Proposal.Time 2022-04-27 12:53:37 +02:00
Seungheon Oh
3ec470a9ed format 2022-04-25 11:17:15 -04:00
SeungheonOh
dfbe09edc5 Merge branch 'master' into seungheonoh/treasurywithdrawaleffect 2022-04-25 10:57:41 -04:00
Seungheon Oh
9394b2f70b Now makeEffect boilerplate requires datum to implemt PTryFrom
It will free `makeEffect` from using `unsafeCoerce` and force each
effect datums to implement their own "parsers".
2022-04-22 23:34:33 -05:00
Seungheon Oh
11a10bd4ec formatting 2022-04-21 19:03:14 -05:00
Seungheon Oh
0d99e36541 Restructured Testings
Separated the samples and test sets
2022-04-21 16:44:59 -05:00
Seungheon Oh
aa4d198e9f format... 2022-04-21 16:16:50 -05:00
Seungheon Oh
c90cd94c59 first step to the Test for Treasury Withdrawal Effect 2022-04-21 16:16:50 -05:00
Seungheon Oh
37cf3ab88e Rebase master to Treasury Withdrawal Effect
Liqwid-Labs/agora#46
2022-04-21 16:16:35 -05:00
Emily Martins
956dbb4b53 add tests for authority token function 'singleAuthorityTokenBurned' 2022-04-20 20:26:32 +02:00
Emily Martins
476bf48649 format agora.cabal, flake.nix 2022-04-15 13:41:07 +02:00
Jack Hodgkinson
a9df050af7 Formatting 2022-04-12 13:46:40 +01:00
Jack Hodgkinson
eba688f957 Merge branch 'master' of github.com:Liqwid-Labs/agora into jhodgdev/treasury-tests 2022-04-08 13:32:51 +01:00
Emily Martins
8c9225c1f1 use plutarch-safemoney instead of local Agora.SafeMoney 2022-03-30 15:32:50 +02:00
Emily Martins
bd4fe1e000 apply docs suggestions 2022-03-28 18:01:27 +02:00
Emily Martins
7a3e62a401 Merge branch 'master' into emiflake/stub-everything 2022-03-28 15:48:02 +02:00
Jack Hodgkinson
868d72634b Bumped apropos 2022-03-28 14:20:34 +01:00
Emily Martins
ea042d666d add vote tally to Proposal datum 2022-03-26 16:07:21 +01:00
Emily Martins
4469671da0 migrate Haskell-level datums to use Discrete 2022-03-26 15:08:11 +01:00
Emily Martins
7e780d994c stub out Proposal, Governor. kill hoogle before starting a new one. 2022-03-26 10:37:32 +01:00
Emily Martins
9c1a4c20bd Merge branch 'master' into flake-update 2022-03-25 14:16:44 +01:00
Peter Dragos
d28ee8c928 upstream Agora extras 2022-03-24 19:15:10 -04:00
Jack Hodgkinson
120b65774c Began carving out apropos treasury tests 2022-03-24 15:59:51 +00:00
Jack Hodgkinson
a0726e42f4 Merge branch 'emiflake/cleanup-tests' of github.com:Liqwid-Labs/agora into jhodgdev/treasury-tests 2022-03-24 14:28:25 +00:00
Emily Martins
bb174a7145 flake: run tests in flake check, actually check fourmolu 2022-03-22 16:27:20 +01:00
Emily Martins
3f642daaf1 remove Int apropos-tx example, move Model.* to Spec.Model.* 2022-03-21 15:39:38 +01:00
Emily Martins
93acd81e79 add HasParameterisedGenerator and wire tests up 2022-03-18 15:23:07 +01:00
Jack Hodgkinson
060e46814a paired programming work 2022-03-18 12:19:45 +00:00