Commit graph

619 commits

Author SHA1 Message Date
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
Seungheon Oh
c9adf02614 Treasury Withdrawal Effect checks if remainder is to the treasury
It checks if transaction is paying the remainders to the treasury.
2022-04-21 16:16:49 -05:00
Seungheon Oh
0b90e041c6 Treasury Withdrawal Effect simple Haddock comment 2022-04-21 16:16:49 -05:00
Seungheon Oh
4cd6e6f534 Minor fixes
Using Utils.hs, fixing fusioning issue, fixing CI build
2022-04-21 16:16:49 -05:00
Seungheon Oh
e08efd173b small fixes for Treasury Withdrawal Effect 2022-04-21 16:16:49 -05:00
Seungheon Oh
7cae728860 Simple fixes for Treasury Withdrawal Effect
Some simple fixes: naming convention, proper comment for haddoc
2022-04-21 16:16:49 -05:00
Seungheon Oh
e3bf41af29 Treasury Withdrawal Effect Constraint
It checks for output that pays to effect itself.
2022-04-21 16:16:48 -05:00
Seungheon Oh
b3b057cfb8 Treasury Withdrawal Effect
ensures exact number of outputs, Haskell-level datum
2022-04-21 16:16:48 -05:00
Seungheon Oh
76d1454692 formatted Treasury Withdrawal Effect 2022-04-21 16:16:48 -05:00
Seungheon Oh
37cf3ab88e Rebase master to Treasury Withdrawal Effect
Liqwid-Labs/agora#46
2022-04-21 16:16:35 -05:00
Emily
0ace0406d8 Merge pull request #65 from Liqwid-Labs/emiflake/drop-allInputs
drop `allInputs`, fix `authorityTokensValidIn`
2022-04-21 11:22:46 +02:00
Emily Martins
4c265e081c improve trace error message 2022-04-21 11:09:07 +02:00
Emily Martins
956dbb4b53 add tests for authority token function 'singleAuthorityTokenBurned' 2022-04-20 20:26:32 +02:00