Commit graph

22 commits

Author SHA1 Message Date
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