fanghr
|
2c93a7cb1c
|
add an effect that mutates the governor settings
|
2022-05-17 20:54:04 +08:00 |
|
方泓睿
|
f908dfe8b9
|
Merge pull request #61 from Liqwid-Labs/connor/governor
Implementation of the governor components
|
2022-05-17 20:52:58 +08:00 |
|
fanghr
|
937b69a50c
|
rename some props, as @jhodgdev suggested
|
2022-05-17 18:17:58 +08:00 |
|
fanghr
|
3bb4d752e5
|
add doc string for prop tests of utils
|
2022-05-16 23:23:43 +08:00 |
|
fanghr
|
cd6b6a4acc
|
add tests for 'pnubSort' and 'pisUniq'
|
2022-05-16 20:38:21 +08:00 |
|
fanghr
|
f45b919d0e
|
apply Emily's suggestions
|
2022-05-16 19:59:11 +08:00 |
|
fanghr
|
28afcf2f65
|
docs for utils; refactor tests; rewrite pnubSortBy
|
2022-05-16 18:11:14 +08:00 |
|
fanghr
|
67ff8f7f46
|
add tests for pmsort, pmerge and phalve
|
2022-05-14 19:57:01 +08:00 |
|
fanghr
|
4da276a920
|
test-deps already contains agora
|
2022-05-14 17:32:42 +08:00 |
|
fanghr
|
ea4f3c1ce0
|
update purescript bridge
|
2022-05-14 01:04:16 +08:00 |
|
fanghr
|
88c54a74c5
|
Merge branch 'master' into connor/governor
|
2022-05-14 00:40:26 +08:00 |
|
方泓睿
|
4a3574a884
|
Merge pull request #78 from Liqwid-Labs/connor/purescript-bridge
|
2022-05-14 00:29:20 +08:00 |
|
fanghr
|
a09448cd5a
|
fix lint/tag; run linter
|
2022-05-13 20:30:11 +08:00 |
|
fanghr
|
c4ee24461e
|
add make ps_bridge subcommand
|
2022-05-13 20:23:10 +08:00 |
|
fanghr
|
8c5f10279e
|
generate purescript stuff
|
2022-05-13 20:08:48 +08:00 |
|
fanghr
|
70367702fb
|
add all agora types
|
2022-05-13 20:03:17 +08:00 |
|
fanghr
|
68f4bd5498
|
setup bridge target
|
2022-05-13 18:08:57 +08:00 |
|
fanghr
|
f586af2f64
|
pin purescript-bridge so that it builds
|
2022-05-13 17:36:04 +08:00 |
|
Hongrui Fang
|
f4844b7ff8
|
add purescript-bridge
|
2022-05-13 16:42:55 +08:00 |
|
fanghr
|
9d87206d5e
|
add missing phony
|
2022-05-13 13:57:54 +08:00 |
|
fanghr
|
59fee6f75a
|
merge master; use TermCont every where
fixes #73 partially
|
2022-05-12 21:21:48 +08:00 |
|
fanghr
|
31d8b8bc43
|
doc negative test cases as a TODO
|
2022-05-12 20:30:52 +08:00 |
|
Emily
|
cdd3f07442
|
Merge pull request #75 from Liqwid-Labs/emiflake/drop-pdo
remove all instances of `P.do` in favour of `TermCont`.
|
2022-05-12 14:12:02 +02:00 |
|
fanghr
|
38a8d5311e
|
Merge branch 'master' into connor/governor
|
2022-05-12 20:07:28 +08:00 |
|
fanghr
|
0f36d649c6
|
merge #74; add sample and spec of the governor
|
2022-05-12 20:01:32 +08:00 |
|
Emily Martins
|
a404a81cad
|
remove all instances of P.do in favour of TermCont.
|
2022-05-12 13:54:31 +02:00 |
|
方泓睿
|
42a3db991a
|
Merge pull request #74 from Liqwid-Labs/connor/target-separation
Break `agora-test` into pieces; add test file for utility functions
|
2022-05-12 19:48:48 +08:00 |
|
fanghr
|
d43bf6cde4
|
add Spec.Utils to test utils in Agora.Utils
|
2022-05-12 19:28:19 +08:00 |
|
fanghr
|
25d011ed00
|
offload some stuff from agora-test to agora-sample and agora-testlib
|
2022-05-12 19:23:14 +08:00 |
|
fanghr
|
628894cc1c
|
describe what sample contexts are "valid" for
|
2022-05-11 20:44:57 +08:00 |
|
fanghr
|
96a137ec3f
|
add some description for the governor spec tests
|
2022-05-11 18:14:28 +08:00 |
|
fanghr
|
834eb892bf
|
run formatter
|
2022-05-11 17:50:26 +08:00 |
|
fanghr
|
cad04c6273
|
only one signer to execute the effect
|
2022-05-11 17:43:04 +08:00 |
|
fanghr
|
f2d30250da
|
Merge branch 'master' into connor/governor
|
2022-05-11 17:40:38 +08:00 |
|
fanghr
|
749d2ffc1a
|
remove withMinAda
|
2022-05-11 17:31:17 +08:00 |
|
fanghr
|
48b1d658e9
|
add missing phony
|
2022-05-11 16:17:41 +08:00 |
|
fanghr
|
a95f7a2a4f
|
Revert "add subcommand lint_haskell to lint haskell code"
This reverts commit 27e3033b3b.
|
2022-05-11 15:55:47 +08:00 |
|
fanghr
|
a6e78a51fb
|
qualified imports
|
2022-05-10 22:13:31 +08:00 |
|
fanghr
|
a4ba8501a2
|
add someee comments; consistent naming
|
2022-05-10 19:55:41 +08:00 |
|
Emily
|
caaa407ac7
|
Merge pull request #37 from Liqwid-Labs/jhodgdev/treasury-tests
jhodgdev/treasury tests
|
2022-05-10 11:07:17 +02:00 |
|
Jack Hodgkinson
|
94013be605
|
replaced use of withMinAda
|
2022-05-09 13:54:20 +01:00 |
|
Jack Hodgkinson
|
a8bb884eab
|
Applied Emily's suggestions
|
2022-05-09 12:17:49 +01:00 |
|
Jack Hodgkinson
|
a59ffb221d
|
Added echo message for Makefile lint
|
2022-05-06 11:22:40 +01:00 |
|
Jack Hodgkinson
|
b870b3c545
|
added lint function to Makefile
|
2022-05-06 10:55:09 +01:00 |
|
Jack Hodgkinson
|
975077953b
|
removed outdated reference
|
2022-05-06 10:54:03 +01:00 |
|
Jack Hodgkinson
|
7572bb4da2
|
Added review changes
|
2022-05-06 10:36:21 +01:00 |
|
fanghr
|
25ef9ba926
|
use validatorHashToTokenName
|
2022-05-06 17:13:32 +08:00 |
|
fanghr
|
4bf6a4f921
|
run linter
|
2022-05-06 17:12:47 +08:00 |
|
fanghr
|
a46a166a03
|
fix wired issue introduced by punsafeCoerce
|
2022-05-06 17:11:15 +08:00 |
|
Hongrui Fang
|
6a887e4cbd
|
actually check GAT
|
2022-05-06 17:11:14 +08:00 |
|