Jack Hodgkinson
|
fdcd725901
|
finished morphisms
|
2022-04-28 16:14:35 +01:00 |
|
Jack Hodgkinson
|
bd300de832
|
apply hlint suggestions
|
2022-04-12 13:55:27 +01:00 |
|
Jack Hodgkinson
|
0e628d0144
|
more work on treasury testing!
|
2022-04-12 13:44:05 +01:00 |
|
Jack Hodgkinson
|
e6a6e843a0
|
fixed import issue
|
2022-04-08 14:33:51 +01:00 |
|
Jack Hodgkinson
|
2f7e221fba
|
lightly expanded prop generator
|
2022-04-01 10:41:18 +01:00 |
|
Jack Hodgkinson
|
eb2677e392
|
Expanded logicalmodel of treasury tests
|
2022-03-28 12:43:09 +01:00 |
|
Jack Hodgkinson
|
7ac5ac5af5
|
Work on treasury validator tests
|
2022-03-25 13:54:22 +00:00 |
|
Jack Hodgkinson
|
120b65774c
|
Began carving out apropos treasury tests
|
2022-03-24 15:59:51 +00:00 |
|