Seungheon Oh
|
3af4a7438a
|
remove Agora.MultiSig
|
2022-08-03 23:42:21 +08:00 |
|
Seungheon Oh
|
0bc5706770
|
governorDatumValid property
|
2022-06-17 13:39:18 -05:00 |
|
Seungheon Oh
|
fa5bb7eec2
|
Replaced Apropos Property testing with PQ and PCB for MultiSig
|
2022-05-31 12:09:19 -05:00 |
|
Seungheon Oh
|
b1a323afaa
|
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 |
|
Seungheon Oh
|
fa77b809b8
|
rename/docstrings
|
2022-05-26 09:50:47 -05:00 |
|
Seungheon Oh
|
424ad15894
|
agora-spec made independent from agora-test
|
2022-05-26 09:50:46 -05:00 |
|
Seungheon Oh
|
16115d54e6
|
forgot one file
|
2022-05-26 09:50:45 -05:00 |
|
Seungheon Oh
|
ff91432a68
|
Specs use generalized format so that it can be used for benchmarking
|
2022-05-26 09:50:43 -05:00 |
|
fanghr
|
a85b066a05
|
apply Emily's suggestions
* add `PMaxTimeRangeWidth`
* several `Default` instances for testing
* a bunch of docstrings
* fix the tests/samples
|
2022-05-25 21:07:09 +08:00 |
|
fanghr
|
55435d601f
|
fix broken tests/samples
|
2022-05-25 20:08:45 +08:00 |
|
fanghr
|
fbe3edc45a
|
store proposal timing conf in the governor datum
|
2022-05-25 20:08:39 +08:00 |
|
方泓睿
|
4bffc1005d
|
Merge branch 'main' into connor/mutate-governor
|
2022-05-24 12:38:46 +08:00 |
|
fanghr
|
cdffbeffc9
|
add a property test for pupdate and updateMap
|
2022-05-20 21:50:58 +08:00 |
|
fanghr
|
272be9f1f5
|
better naming
|
2022-05-20 19:10:34 +08:00 |
|
fanghr
|
3f5707eb86
|
some doc for the proposal voting sample
|
2022-05-20 03:35:32 +08:00 |
|
fanghr
|
82201a6e1f
|
add sample test && fix broken tests
|
2022-05-20 03:35:31 +08:00 |
|
fanghr
|
e8b87654f3
|
store starting time of the proposal in its datum
... hardcoded to 0 upon creation for now
|
2022-05-20 03:35:30 +08:00 |
|
fanghr
|
92c64f8d7a
|
store timing config in the proposal datum
.... and mock the value upon creation for now
|
2022-05-20 03:35:29 +08:00 |
|
fanghr
|
b34d6b294d
|
refactor tests of the effect
* test both the effect and governor in the spec
* test that the effect and governor will fail when try setting the
governor state to a invalid one
|
2022-05-19 21:31:22 +08:00 |
|
fanghr
|
1e55827d8b
|
switch to TermCont; fix a bunch of compilation errors; format
|
2022-05-17 20:54:21 +08:00 |
|
fanghr
|
30b66a29ff
|
add a simple test
|
2022-05-17 20:54:18 +08:00 |
|
fanghr
|
30cceb7910
|
add templates of tests and samples
|
2022-05-17 20:54:17 +08:00 |
|
fanghr
|
2e1fda6b6a
|
rename some props, as @jhodgdev suggested
|
2022-05-17 18:17:58 +08:00 |
|
fanghr
|
1ee71d265f
|
add doc string for prop tests of utils
|
2022-05-16 23:23:43 +08:00 |
|
fanghr
|
0c47f0d84d
|
add tests for 'pnubSort' and 'pisUniq'
|
2022-05-16 20:38:21 +08:00 |
|
fanghr
|
768652deb2
|
docs for utils; refactor tests; rewrite pnubSortBy
|
2022-05-16 18:11:14 +08:00 |
|
fanghr
|
06d4fcd428
|
add tests for pmsort, pmerge and phalve
|
2022-05-14 19:57:01 +08:00 |
|
fanghr
|
107ee51ae9
|
doc negative test cases as a TODO
|
2022-05-12 20:30:52 +08:00 |
|
fanghr
|
9f116dd2cf
|
merge #74; add sample and spec of the governor
|
2022-05-12 20:01:32 +08:00 |
|
fanghr
|
4a74fcc44c
|
describe what sample contexts are "valid" for
|
2022-05-11 20:44:57 +08:00 |
|
fanghr
|
28e1adeb22
|
add some description for the governor spec tests
|
2022-05-11 18:14:28 +08:00 |
|
fanghr
|
e63678ef50
|
run formatter
|
2022-05-11 17:50:26 +08:00 |
|
fanghr
|
9cef56084e
|
only one signer to execute the effect
|
2022-05-11 17:43:04 +08:00 |
|
fanghr
|
cee0f4a67a
|
Merge branch 'master' into connor/governor
|
2022-05-11 17:40:38 +08:00 |
|
fanghr
|
f121688990
|
remove withMinAda
|
2022-05-11 17:31:17 +08:00 |
|
fanghr
|
710aa14e9a
|
qualified imports
|
2022-05-10 22:13:31 +08:00 |
|
Jack Hodgkinson
|
704ec4a38a
|
replaced use of withMinAda
|
2022-05-09 13:54:20 +01:00 |
|
Jack Hodgkinson
|
cb0f61eb2c
|
Applied Emily's suggestions
|
2022-05-09 12:17:49 +01:00 |
|
Jack Hodgkinson
|
012aeda681
|
removed outdated reference
|
2022-05-06 10:54:03 +01:00 |
|
Jack Hodgkinson
|
f075d33b0d
|
Added review changes
|
2022-05-06 10:36:21 +01:00 |
|
fanghr
|
d9a2a467bb
|
fix seralization issues
|
2022-05-06 17:11:14 +08:00 |
|
fanghr
|
c1c4c919a2
|
add the rest of the tests
They won't pass for some reasons, unfortunately.
|
2022-05-06 17:11:13 +08:00 |
|
fanghr
|
a12c9832b8
|
run formatter and linter
|
2022-05-06 17:11:13 +08:00 |
|
fanghr
|
c6a59e076d
|
add proposal creation test
|
2022-05-06 17:11:12 +08:00 |
|
fanghr
|
ac32b73056
|
add a sample for GST minting policy
|
2022-05-06 17:11:10 +08:00 |
|
fanghr
|
41da2dd534
|
run formatter and linter
|
2022-05-06 17:11:08 +08:00 |
|
fanghr
|
473deeb08f
|
add samples: proposalCreation, mutateState and mintGAT
|
2022-05-06 17:11:07 +08:00 |
|
fanghr
|
62cd50c5cb
|
add templates for samples and tests of governor
|
2022-05-06 17:11:07 +08:00 |
|
fanghr
|
bfebc95ce3
|
fix broken tests
|
2022-05-06 17:11:05 +08:00 |
|
fanghr
|
3c76f6c1ac
|
refactor Spec.Sample.Shared with bridges
|
2022-05-06 17:11:03 +08:00 |
|