Commit graph

313 commits

Author SHA1 Message Date
Jack Hodgkinson
5622a9d6db Added doc to new Makefile function 2022-04-28 09:28:58 +01:00
Jack Hodgkinson
638d616e29 add hasktags function to Makefile 2022-04-28 09:27:03 +01:00
Emily Martins
bc90affbcd add effect and votes shape check on proposalDatumValid 2022-04-27 15:18:07 +02:00
Emily Martins
731ef4e42c be more consistent in use of "period", "state", etc wrt. proposals
- specify maximum cosigners requirement in spec.
- remove silly qualified names in Proposal impl.
2022-04-27 14:43:55 +02:00
Emily Martins
0ca97a645a reduce use of unjustified punsafeCoerce 2022-04-27 12:55:37 +02:00
Emily Martins
4ec0013af4 add missing range checks 2022-04-27 12:55:37 +02:00
Emily Martins
e201351249 fix haddock errors 2022-04-27 12:55:37 +02:00
Emily Martins
82ce3ab717 move Stake to Scripts, fix tests 2022-04-27 12:55:37 +02:00
Emily Martins
33bf2facb1 remove TreasuryDatum, PTryFrom for PTreasuryRedeemer 2022-04-27 12:55:37 +02:00
Emily Martins
7f62b04268 reduce 'PTxInfo' passing to functions 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
Hongrui Fang
cee9eaec79 add missing plutarch level proposal status PLocked 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
1e972f1402 add checks to cosign 2022-04-27 12:54:36 +02:00
Emily Martins
832e15fc16 simplify some PTxInfo functions 2022-04-27 12:53:56 +02:00
Emily Martins
83230e0948 flake: bump plutarch-extra fork 2022-04-27 12:53:53 +02:00
Emily Martins
355dcc99cd stub redeemer matching 2022-04-27 12:53:53 +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
76911ed5d6 add 'isDraftRange' checking function. 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
Emily Martins
265d8f25c7 add ProposalRedeemer, bump plutarch-safemoney PR revision 2022-04-27 12:51:01 +02:00
Emily Martins
808bf77d14 refactor out ptokenSpent 2022-04-27 12:51:01 +02:00
Emily Martins
99cacbf30d add proposalDatumValid 2022-04-27 12:51:01 +02:00
Jack Hodgkinson
ecf1336463 Spelling error 2022-04-26 10:22:26 +01:00
Emily
928ea73400 Merge pull request #56 from Liqwid-Labs/seungheonoh/treasurywithdrawaleffect
Treasury Withdrawal Effect
2022-04-25 17:23:56 +02:00
Seungheon Oh
3ec470a9ed format 2022-04-25 11:17:15 -04:00
Seungheon Oh
e08f294adc PTryFrom for Treasury Withdrawal Effect! 2022-04-25 11:16:17 -04:00
SeungheonOh
dfbe09edc5 Merge branch 'master' into seungheonoh/treasurywithdrawaleffect 2022-04-25 10:57:41 -04:00
Emily
cecbb683fc Merge pull request #67 from Liqwid-Labs/seungheonoh/effect-ptryfrom
Now `makeEffect` boilerplate requires datum to implemt `PTryFrom`
2022-04-25 15:12:35 +02:00
Seungheon Oh
d5720e05bf rename! 2022-04-25 09:04:07 -04:00
Seungheon Oh
3ef534f310 More comments 2022-04-25 09:01:40 -04:00
Seungheon Oh
5ff09ee207 format 2022-04-25 08:48:22 -04:00
Seungheon Oh
5a688262c3 take collaterals into account 2022-04-25 08:46:58 -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
5c63764159 optimized validator 2022-04-22 20:09:23 -05:00
Seungheon Oh
bf13fd926e stricter constraints over inputs
It will only allow treasuries given in the datum as input. It prevents
unwanted change in the system.
2022-04-22 19:01:36 -05:00
Seungheon Oh
ec46273b5b Now it checks specific treasury
Emily's suggestion on the review
2022-04-22 11:18:38 -04:00
Seungheon Oh
17817ba68b simple fixes suggested from review 2022-04-22 08:23:54 -04:00
Seungheon Oh
11a10bd4ec formatting 2022-04-21 19:03:14 -05:00
Seungheon Oh
df8baf4f4f Yeah! Treasury Withdrawal Effect works with good tests 2022-04-21 19:02:10 -05:00
Seungheon Oh
0d99e36541 Restructured Testings
Separated the samples and test sets
2022-04-21 16:44:59 -05:00
Seungheon Oh
bed2f37c2f withdrawal effect that actually passes tests 2022-04-21 16:17:54 -05:00
Seungheon Oh
6c02b94e16 more testings 2022-04-21 16:17:54 -05:00
Seungheon Oh
54e95364ea added test entree
Something is wrong. It does not work.
2022-04-21 16:17:49 -05:00
Seungheon Oh
c96ac583db now proper a proper script context..
and some formatting fixes
2022-04-21 16:16:50 -05:00
Seungheon Oh
774702f255 TWE test 2022-04-21 16:16:50 -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
4328fa1ba9 Treasury Withdrawal Effect: Only check treasury inputs
Tried to make it so that its only checking treasury inputs when
checking if transaction is correctly returning the remainders to treasury.
2022-04-21 16:16:50 -05:00