Commit graph

39 commits

Author SHA1 Message Date
Seungheon Oh
05a6808767
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
e91dcb7ce1 Now it checks specific treasury
Emily's suggestion on the review
2022-04-22 11:18:38 -04:00
Seungheon Oh
efb0776730 simple fixes suggested from review 2022-04-22 08:23:54 -04:00
Seungheon Oh
7f6ccc0dee
Yeah! Treasury Withdrawal Effect works with good tests 2022-04-21 19:02:10 -05:00
Seungheon Oh
82dd53efcf
Restructured Testings
Separated the samples and test sets
2022-04-21 16:44:59 -05:00
Seungheon Oh
fe5c18969e
withdrawal effect that actually passes tests 2022-04-21 16:17:54 -05:00
Seungheon Oh
6c62c007f1
more testings 2022-04-21 16:17:54 -05:00
Seungheon Oh
57a0c10404
added test entree
Something is wrong. It does not work.
2022-04-21 16:17:49 -05:00
Seungheon Oh
0464a03989
now proper a proper script context..
and some formatting fixes
2022-04-21 16:16:50 -05:00
Seungheon Oh
27d364bda1
TWE test 2022-04-21 16:16:50 -05:00
Seungheon Oh
5584a47528
format... 2022-04-21 16:16:50 -05:00
Seungheon Oh
c52b65a335
first step to the Test for Treasury Withdrawal Effect 2022-04-21 16:16:50 -05:00
Emily Martins
a6ef476beb add tests for authority token function 'singleAuthorityTokenBurned' 2022-04-20 20:26:32 +02:00
Seungheon Oh
e67ca97256 fixes 2022-04-19 08:04:39 -04:00
Seungheon Oh
93f5ca2752 fix misleading information 2022-04-19 08:03:17 -04:00
SeungheonOh
99fdfcbe31
removed random line break 2022-04-18 22:57:04 +00:00
Seungheon Oh
0e55587373 Little guidance for agora-test
I noticed `agora-test` is quote poorly documented... While it will
receive a restructure when we migrate to `plutarch-test`, these are
small notes in the meantime.
2022-04-18 17:52:30 -05:00
Emily Martins
b0eb044bf2 lock field in Stake datum, singleAuthorityTokenBurned helper 2022-03-31 16:48:59 +02:00
Emily Martins
097e055f19 use plutarch-safemoney instead of local Agora.SafeMoney 2022-03-30 15:32:50 +02:00
Emily Martins
a02005c86a Merge branch 'master' into emiflake/stub-everything 2022-03-28 15:48:02 +02:00
Jack Hodgkinson
2e312599e5 Bumped apropos 2022-03-28 14:20:34 +01:00
Emily Martins
107db1303d fix docs, hlint errors 2022-03-28 14:59:53 +02:00
Emily Martins
15d25f314b migrate Haskell-level datums to use Discrete 2022-03-26 15:08:11 +01:00
Emily Martins
8a98ec9ec3 rework SafeMoney to use tags instead of MoneyClass 2022-03-26 11:52:52 +01:00
Emily Martins
75b6b908fd rename LBS to ByteString.Lazy 2022-03-24 16:11:03 +01:00
Emily Martins
32e0ee2b9e more docs 2022-03-24 16:09:39 +01:00
Emily Martins
6702bfcd94 apply suggestions and fix remaining haddock suggestions 2022-03-24 15:43:21 +01:00
Emily Martins
310be96487 improve ergonomics and add documentation 2022-03-23 22:03:11 +01:00
Emily Martins
3578e7c47e add some tests for Stake validator 2022-03-23 21:37:28 +01:00
Emily Martins
f7721f13eb remove Int apropos-tx example, move Model.* to Spec.Model.* 2022-03-21 15:39:38 +01:00
Jack Hodgkinson
0b422f83da Added some annotations to work on multisig apropos testing 2022-03-18 14:46:47 +00:00
Emily Martins
7ef5606cd7 add HasParameterisedGenerator and wire tests up 2022-03-18 15:23:07 +01:00
Jack Hodgkinson
f417f32f4e paired programming work 2022-03-18 12:19:45 +00:00
Emily Martins
fd7ef68b04 add intentionally failing examples 2022-03-16 13:55:00 +01:00
Emily Martins
611e6fa2a6 move scriptTest to Util module 2022-03-15 17:25:44 +01:00
Emily Martins
f9244aca38 add comments to Multisig module 2022-03-15 12:12:52 +01:00
Emily Martins
7003c4556e bump plutarch to staging rev 2022-03-11 18:05:30 +01:00
Emily Martins
8b98324cee WIP simple sample test for Stake policy 2022-03-09 22:00:02 +01:00
Emily Martins
5bae354268 apropos-tx setup 2022-03-09 19:32:13 +01:00