fanghr
|
0c47f0d84d
|
add tests for 'pnubSort' and 'pisUniq'
|
2022-05-16 20:38:21 +08:00 |
|
fanghr
|
6548105719
|
apply Emily's suggestions
|
2022-05-16 19:59:11 +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
|
9d34b63309
|
test-deps already contains agora
|
2022-05-14 17:32:42 +08:00 |
|
fanghr
|
26614a2e9f
|
update purescript bridge
|
2022-05-14 01:04:16 +08:00 |
|
fanghr
|
cbf14337ff
|
Merge branch 'master' into connor/governor
|
2022-05-14 00:40:26 +08:00 |
|
方泓睿
|
b940ba0c22
|
Merge pull request #78 from Liqwid-Labs/connor/purescript-bridge
|
2022-05-14 00:29:20 +08:00 |
|
fanghr
|
a90b2337dc
|
fix lint/tag; run linter
|
2022-05-13 20:30:11 +08:00 |
|
fanghr
|
b363b326f3
|
add make ps_bridge subcommand
|
2022-05-13 20:23:10 +08:00 |
|
fanghr
|
b04817b867
|
generate purescript stuff
|
2022-05-13 20:08:48 +08:00 |
|
fanghr
|
538e809d2c
|
add all agora types
|
2022-05-13 20:03:17 +08:00 |
|
fanghr
|
9a26439397
|
setup bridge target
|
2022-05-13 18:08:57 +08:00 |
|
fanghr
|
0a31f935b3
|
pin purescript-bridge so that it builds
|
2022-05-13 17:36:04 +08:00 |
|
Hongrui Fang
|
b8908dc6c9
|
add purescript-bridge
|
2022-05-13 16:42:55 +08:00 |
|
fanghr
|
f9acafa1c9
|
add missing phony
|
2022-05-13 13:57:54 +08:00 |
|
fanghr
|
bb45319fd6
|
merge master; use TermCont every where
fixes #73 partially
|
2022-05-12 21:21:48 +08:00 |
|
fanghr
|
107ee51ae9
|
doc negative test cases as a TODO
|
2022-05-12 20:30:52 +08:00 |
|
Emily
|
64ac81bc7d
|
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
|
0615f089ea
|
Merge branch 'master' into connor/governor
|
2022-05-12 20:07:28 +08:00 |
|
fanghr
|
9f116dd2cf
|
merge #74; add sample and spec of the governor
|
2022-05-12 20:01:32 +08:00 |
|
Emily Martins
|
1bd6030855
|
remove all instances of P.do in favour of TermCont.
|
2022-05-12 13:54:31 +02:00 |
|
方泓睿
|
2a0c6eb4a6
|
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
|
615f890745
|
add Spec.Utils to test utils in Agora.Utils
|
2022-05-12 19:28:19 +08:00 |
|
fanghr
|
283edd64b7
|
offload some stuff from agora-test to agora-sample and agora-testlib
|
2022-05-12 19:23:14 +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
|
7d5805016f
|
add missing phony
|
2022-05-11 16:17:41 +08:00 |
|
fanghr
|
28c47178d3
|
Revert "add subcommand lint_haskell to lint haskell code"
This reverts commit 0f8bc9e9f8.
|
2022-05-11 15:55:47 +08:00 |
|
fanghr
|
710aa14e9a
|
qualified imports
|
2022-05-10 22:13:31 +08:00 |
|
fanghr
|
057da75101
|
add someee comments; consistent naming
|
2022-05-10 19:55:41 +08:00 |
|
Emily
|
3d414b334a
|
Merge pull request #37 from Liqwid-Labs/jhodgdev/treasury-tests
jhodgdev/treasury tests
|
2022-05-10 11:07:17 +02: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
|
cddc6e8adf
|
Added echo message for Makefile lint
|
2022-05-06 11:22:40 +01:00 |
|
Jack Hodgkinson
|
8296834b99
|
added lint function to Makefile
|
2022-05-06 10:55:09 +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
|
e67dd21d06
|
use validatorHashToTokenName
|
2022-05-06 17:13:32 +08:00 |
|
fanghr
|
2a993ae777
|
run linter
|
2022-05-06 17:12:47 +08:00 |
|
fanghr
|
38e5611c3f
|
fix wired issue introduced by punsafeCoerce
|
2022-05-06 17:11:15 +08:00 |
|
Hongrui Fang
|
b653d85265
|
actually check GAT
|
2022-05-06 17:11:14 +08: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 |
|