Hongrui Fang
3c35e610a5
add missing module headers
2022-07-11 23:47:34 +08:00
Hongrui Fang
79eb0772c3
add new tests for creating proposals
2022-07-11 23:47:29 +08:00
Hongrui Fang
5eee3127b2
refactor and add more tests for unlocking stakes
2022-07-11 23:10:21 +08:00
Hongrui Fang
b76b5c6ec6
fix existing tests
2022-07-11 23:10:19 +08:00
Hongrui Fang
701340688a
add tests for advancement from draft phrase; refactoring
2022-07-05 16:59:15 +08:00
Hongrui Fang
5ce76885fc
fix broken test cases
2022-06-28 18:31:54 +08:00
Hongrui Fang
435050f204
create credentials using blake2b_224
...
datum hash should be 256 bits(32 bytes)
2022-06-28 17:25:13 +08:00
Seungheon Oh
4d6f8154a5
Governor policy property
2022-06-22 11:53:32 -05:00
Hongrui Fang
1508bcb5b9
improve readability of test code
2022-06-20 21:49:39 +08:00
Hongrui Fang
fb061de36b
use PCB to simplify samples
2022-06-20 21:19:38 +08:00
Hongrui Fang
2f46594fe7
fix some typo
2022-06-20 18:55:46 +08:00
Hongrui Fang
36a558bf30
allow multiple proposals in the samples of unlocking stake
2022-06-20 18:54:44 +08:00
fanghr
76a9cf79ba
apply Emily's suggestions
2022-06-20 18:45:56 +08:00
fanghr
8f9d9521c2
add samples and tests for unlocking stakes
2022-06-20 18:45:05 +08:00
fanghr
13dff0db43
share stake check code among redeemers
2022-06-20 18:37:07 +08:00
Seungheon Oh
a8699bf992
Remove either error id pattern in Samples
2022-06-17 14:29:00 -05:00
Seungheon Oh
071a6ca7cc
governorDatumValid property
2022-06-17 13:39:18 -05:00
Seungheon Oh
e037f3f5f0
Moved samples to PCB
...
* Cleaner imports
2022-06-17 12:35:33 -05:00
Hongrui Fang
448e9e2c1d
fix the broken test case
2022-06-17 21:16:29 +08:00
Hongrui Fang
12ab066e23
remove upstreamed utils; fix compilation errors
2022-06-17 21:16:29 +08:00
Seungheon Oh
8e9dd16613
countingVote,create,startVoting to execute,create,vote
...
Let's embrace consistancy between Haskell types and Plutarch types.
2022-06-16 13:28:55 -05:00
Emily Martins
5049441dfc
flake: bump plutarch, fix resulting issues
...
Collection of things fixed:
- `agora-test`: Fix compile resulting from some changes to hackage.
- `agora-benchmark`: Switched to `plutarch`-style `evalScript`.
- CI: Ported over new flake changes.
This is quite a mess.
2022-06-03 23:23:00 +02:00
Emily Martins
0348f72499
add and fix haddock doc comments
2022-06-02 16:28:14 +02:00
Seungheon Oh
632ac6dc47
Use native expected function
2022-06-01 12:28:21 -05:00
Seungheon Oh
00bc19bf80
added Docstrings
...
Emily's suggestions
2022-06-01 10:35:39 -05:00
Seungheon Oh
339dad0165
Removed Apropos
2022-05-31 12:32:12 -05:00
Seungheon Oh
8c312a46bd
Replaced Apropos Property testing with PQ and PCB for MultiSig
2022-05-31 12:09:19 -05:00
Seungheon Oh
b65bc5a20d
Restructure
...
`agora-spec` and `agora-spec` is merged to be `agora-specs`;
`agora-testlib` contains what previously was `Spec.Specification`.
2022-05-30 13:30:25 -05:00
