Seungheon Oh
8315f410e8
format
2022-04-25 08:48:22 -04:00
Seungheon Oh
35b862153c
take collaterals into account
2022-04-25 08:46:58 -04:00
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
