Commit graph

  • 3bb4d752e5 add doc string for prop tests of utils fanghr 2022-05-16 23:11:13 +08:00
  • cd6b6a4acc add tests for 'pnubSort' and 'pisUniq' fanghr 2022-05-16 20:23:51 +08:00
  • f45b919d0e apply Emily's suggestions fanghr 2022-05-16 19:59:11 +08:00
  • d9a08a1a49 add safety pool draft document Emily Martins 2022-05-13 15:28:20 +02:00
  • 28afcf2f65 docs for utils; refactor tests; rewrite pnubSortBy fanghr 2022-05-16 18:11:14 +08:00
  • 67ff8f7f46 add tests for pmsort, pmerge and phalve fanghr 2022-05-14 19:21:33 +08:00
  • 4da276a920 test-deps already contains agora fanghr 2022-05-14 17:32:42 +08:00
  • ea4f3c1ce0 update purescript bridge fanghr 2022-05-14 01:04:16 +08:00
  • 88c54a74c5 Merge branch 'master' into connor/governor fanghr 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
  • a09448cd5a fix lint/tag; run linter fanghr 2022-05-13 20:30:11 +08:00
  • c4ee24461e add make ps_bridge subcommand fanghr 2022-05-13 20:13:18 +08:00
  • 8c5f10279e generate purescript stuff fanghr 2022-05-13 20:08:48 +08:00
  • 70367702fb add all agora types fanghr 2022-05-13 20:03:17 +08:00
  • 68f4bd5498 setup bridge target fanghr 2022-05-13 18:08:57 +08:00
  • f586af2f64 pin purescript-bridge so that it builds fanghr 2022-05-13 17:36:04 +08:00
  • f4844b7ff8 add purescript-bridge Hongrui Fang 2022-05-13 16:39:12 +08:00
  • 9d87206d5e add missing phony fanghr 2022-05-13 13:57:54 +08:00
  • 59fee6f75a merge master; use TermCont every where fanghr 2022-05-12 21:16:25 +08:00
  • 31d8b8bc43 doc negative test cases as a TODO fanghr 2022-05-12 20:23:13 +08:00
  • cdd3f07442 Merge pull request #75 from Liqwid-Labs/emiflake/drop-pdo Emily 2022-05-12 14:12:02 +02:00
  • 38a8d5311e Merge branch 'master' into connor/governor fanghr 2022-05-12 20:07:28 +08:00
  • 0f36d649c6 merge #74; add sample and spec of the governor fanghr 2022-05-12 18:55:39 +08:00
  • a404a81cad remove all instances of P.do in favour of TermCont. Emily Martins 2022-05-12 13:45:44 +02:00
  • 42a3db991a Merge pull request #74 from Liqwid-Labs/connor/target-separation 方泓睿 2022-05-12 19:48:48 +08:00
  • d43bf6cde4 add Spec.Utils to test utils in Agora.Utils fanghr 2022-05-12 19:02:10 +08:00
  • 25d011ed00 offload some stuff from agora-test to agora-sample and agora-testlib fanghr 2022-05-12 18:55:39 +08:00
  • 628894cc1c describe what sample contexts are "valid" for fanghr 2022-05-11 20:44:57 +08:00
  • 96a137ec3f add some description for the governor spec tests fanghr 2022-05-11 18:12:29 +08:00
  • 834eb892bf run formatter fanghr 2022-05-11 17:50:26 +08:00
  • cad04c6273 only one signer to execute the effect fanghr 2022-05-11 17:43:04 +08:00
  • f2d30250da Merge branch 'master' into connor/governor fanghr 2022-05-11 17:40:38 +08:00
  • 749d2ffc1a remove withMinAda fanghr 2022-05-11 17:31:17 +08:00
  • 48b1d658e9 add missing phony fanghr 2022-05-11 16:17:41 +08:00
  • a95f7a2a4f Revert "add subcommand lint_haskell to lint haskell code" fanghr 2022-05-11 15:55:47 +08:00
  • a6e78a51fb qualified imports fanghr 2022-05-10 22:13:31 +08:00
  • a4ba8501a2 add someee comments; consistent naming fanghr 2022-05-10 19:55:41 +08:00
  • caaa407ac7 Merge pull request #37 from Liqwid-Labs/jhodgdev/treasury-tests Emily 2022-05-10 11:07:17 +02:00
  • 94013be605 replaced use of withMinAda Jack Hodgkinson 2022-05-09 13:54:20 +01:00
  • a8bb884eab Applied Emily's suggestions Jack Hodgkinson 2022-05-09 12:17:49 +01:00
  • a59ffb221d Added echo message for Makefile lint Jack Hodgkinson 2022-05-06 11:22:40 +01:00
  • b870b3c545 added lint function to Makefile Jack Hodgkinson 2022-05-06 10:55:09 +01:00
  • 975077953b removed outdated reference Jack Hodgkinson 2022-05-06 10:54:03 +01:00
  • 7572bb4da2 Added review changes Jack Hodgkinson 2022-05-06 10:36:21 +01:00
  • 25ef9ba926 use validatorHashToTokenName fanghr 2022-05-06 17:07:10 +08:00
  • 4bf6a4f921 run linter fanghr 2022-05-06 14:06:27 +08:00
  • a46a166a03 fix wired issue introduced by punsafeCoerce fanghr 2022-05-05 20:38:10 +08:00
  • 6a887e4cbd actually check GAT Hongrui Fang 2022-05-05 20:20:55 +08:00
  • e6516e21e3 fix seralization issues fanghr 2022-05-05 20:15:37 +08:00
  • e15e0bbe84 add the rest of the tests fanghr 2022-05-05 19:39:12 +08:00
  • 07ff2168b8 run formatter and linter fanghr 2022-05-04 22:15:30 +08:00
  • 0baf79924f add proposal creation test fanghr 2022-05-04 22:07:46 +08:00
  • 3e612135df remove incorrect votes check fanghr 2022-05-04 22:06:42 +08:00
  • 0ab1a0a440 implement merge sort to imporve perf of some utils fanghr 2022-05-04 20:08:42 +08:00
  • 0651c19ca6 add a sample for GST minting policy fanghr 2022-05-04 12:57:25 +08:00
  • 27e3033b3b add subcommand lint_haskell to lint haskell code fanghr 2022-05-03 19:45:49 +08:00
  • b361ad7aa7 check if the UTXO carries a valid datum while minting GST fanghr 2022-05-03 19:44:46 +08:00
  • 6a96d68e01 run formatter and linter fanghr 2022-05-03 18:51:30 +08:00
  • c404cef850 add samples: proposalCreation, mutateState and mintGAT fanghr 2022-05-03 18:38:06 +08:00
  • 63c87667c3 add templates for samples and tests of governor fanghr 2022-05-02 19:06:16 +08:00
  • e5ab13d874 ensure GTs are in the stake being checked fanghr 2022-05-02 18:52:41 +08:00
  • dd2bc5c0d6 add descriptions for available make subcommands fanghr 2022-04-30 19:35:46 +08:00
  • 89dd30b1d8 fix broken tests fanghr 2022-04-30 19:24:01 +08:00
  • 1387cd19df add stakeSTAssetClassFromGovernor fanghr 2022-04-30 19:15:41 +08:00
  • f62189c38d refactor Spec.Sample.Shared with bridges fanghr 2022-04-30 18:13:11 +08:00
  • 62bd2dee28 parameterize PST policy only with assetclass of GST fanghr 2022-04-30 18:06:12 +08:00
  • afa8c7c542 fix a typo fanghr 2022-04-29 23:11:13 +08:00
  • 86877236de fix compilation errors :) fanghr 2022-04-29 22:00:19 +08:00
  • b44a007e72 use new utils to construct record fanghr 2022-04-29 21:50:45 +08:00
  • 8ef9506cd6 apply hlint suggestions fanghr 2022-04-29 21:37:12 +08:00
  • 926b1f3727 fix compilation errors introduced by new util functions fanghr 2022-04-29 21:27:31 +08:00
  • 07a498641c move governor scripts from Agora.Governor to Agora.Governor.Scripts fanghr 2022-04-29 17:52:44 +08:00
  • 65a8e9f92c remove hasOnlyOneTokenOfAssetClass' fanghr 2022-04-29 17:25:17 +08:00
  • 750761ed0d reimplement mustFindDatum' with PTryFrom fanghr 2022-04-29 17:22:44 +08:00
  • 3da721b876 add PTryFrom instances for PGovernorDatum and PGovernorDatum fanghr 2022-04-29 17:03:59 +08:00
  • c47d0ca857 get rid of pownCurrencySymbol fanghr 2022-04-28 17:44:18 +08:00
  • 8630b7190d move pgetNextProposalId from Proposal module to Governor module fanghr 2022-04-28 17:31:34 +08:00
  • 62c359aac3 fix typos/grammar/docstrings, suggested by @jhodgdev fanghr 2022-04-28 17:20:21 +08:00
  • 836ec5e9cf remove executable state of the proposal fanghr 2022-04-27 16:23:35 +08:00
  • 31716e573c remove redundant checks in hasOnlyOneTokenOfAssetClass' Emily Martins 2022-04-26 22:41:08 +08:00
  • 70d79e8971 apply hlint suggestions; format fanghr 2022-04-26 20:00:29 +08:00
  • c67a4ea81b check stake upon the creation of a proposal fanghr 2022-04-26 19:41:04 +08:00
  • ec0c53db99 allow multiple outputs to the proposal validator fanghr 2022-04-26 17:22:10 +08:00
  • 14b8d30d57 naming fanghr 2022-04-26 14:41:27 +08:00
  • 13c72a6180 ensure that the token name of GST is empty fanghr 2022-04-26 14:33:33 +08:00
  • 7294c01ebb simplify code fanghr 2022-04-25 19:46:40 +08:00
  • 4dc311d370 apply naming suggestions by @emiflake fanghr 2022-04-25 19:37:42 +08:00
  • 0874571d89 fix some typos :) fanghr 2022-04-25 19:35:14 +08:00
  • 01d3be029d clean up; apply hlint suggestions; format fanghr 2022-04-23 18:46:38 +08:00
  • 15414aeda4 properly check state datum when creat a proposal fanghr 2022-04-23 18:40:24 +08:00
  • a4d55f221a support more than two effect groups/vote outcomes fanghr 2022-04-23 18:16:02 +08:00
  • 1cd5a8eb3c doc string for util functions fanghr 2022-04-23 16:21:23 +08:00
  • 9e85a7a004 rewrite the doc for governor components fanghr 2022-04-23 00:04:35 +08:00
  • c6cdb3ac31 expose util function gatSymbol fanghr 2022-04-22 18:44:42 +08:00
  • 54b58ad937 fix compilation erros; format && lint fanghr 2022-04-22 14:42:00 +08:00
  • a5c461700e consistent naming fanghr 2022-04-22 13:54:03 +08:00
  • b84ed61356 fix missing documentation for governorValidator fanghr 2022-04-21 23:34:04 +08:00
  • 4a645af531 yeet containsSingleCurrencySymbol; clean things up fanghr 2022-04-21 23:15:16 +08:00
  • 1b8d322cf4 update doc string for the 'governorValidator' fanghr 2022-04-21 23:11:38 +08:00
  • d3c05c1dc2 check proposal state is draft while creating a proposal fanghr 2022-04-21 22:33:27 +08:00