Commit graph

  • 9e8424b458 implement logic to advance proposals fanghr 2022-05-26 22:29:25 +08:00
  • cf5b6ebc5b add pwinner to find the winning outcome fanghr 2022-05-26 22:28:53 +08:00
  • d03a3a5c00 Merge pull request #107 from Liqwid-Labs/seungheonoh/recordToExtra Emily 2022-05-30 16:16:29 +02:00
  • 312976a4ca Moved Agora.Record to Plutarch.Extra.Record Seungheon Oh 2022-05-30 09:02:07 -05:00
  • 340946495c Merge pull request #106 from Liqwid-Labs/connor/run-tests 方泓睿 2022-05-30 16:16:13 +08:00
  • 2853eb3a00 run tests in CI fanghr 2022-05-28 23:48:13 +08:00
  • 6e15c69604 Merge pull request #105 from Liqwid-Labs/emiflake/git-policy-link Emily 2022-05-27 21:24:44 +02:00
  • f1a57ba8af add links to git policy in README and CONTRIBUTING Emily Martins 2022-05-27 19:49:55 +02:00
  • 703fd895d3 update dead link to old ./docs directory Emily Martins 2022-05-27 19:48:17 +02:00
  • b57fb5cb3d Merge pull request #104 from Liqwid-Labs/seungheonoh/newPlutarchCleanTree Emily 2022-05-27 21:03:03 +02:00
  • 16b1f6ad4b CI using deploy keys of plutarch-* Seungheon Oh 2022-05-27 13:48:53 -05:00
  • 7a0f9e9a66 Use Liqwid-Labs/plutarch Seungheon Oh 2022-05-25 23:31:02 -05:00
  • b28bf9f59e Merge pull request #102 from Liqwid-Labs/connor/bench-check Emily 2022-05-27 11:28:43 +02:00
  • 404d5acad1 add check-bench workflow fanghr 2022-05-27 03:48:48 +08:00
  • 96bf20c853 add checks.x86_64-linux.benchCheck fanghr 2022-05-27 03:45:04 +08:00
  • 6ca172c4c1 add make subcommands to run and check bench fanghr 2022-05-27 01:32:12 +08:00
  • d192379d3c allow saving the bench report to an arbitrary location fanghr 2022-05-27 01:01:30 +08:00
  • 4a3882d90f Merge pull request #94 from Liqwid-Labs/seungheonoh/genericSpecInterface SeungheonOh 2022-05-26 10:25:02 -05:00
  • cd9325a688 bench update Seungheon Oh 2022-05-26 09:53:41 -05:00
  • bf4098fd30 pretty printer Seungheon Oh 2022-05-26 09:37:41 -05:00
  • 12cec802a0 pretty print Seungheon Oh 2022-05-25 14:52:33 -05:00
  • 34caeab332 better queries Seungheon Oh 2022-05-25 14:35:57 -05:00
  • 6068ecded5 removed redundant codes Seungheon Oh 2022-05-25 11:57:11 -05:00
  • 005356b759 rename/temp print Seungheon Oh 2022-05-25 11:49:43 -05:00
  • 7a599ffa35 rename/docstrings Seungheon Oh 2022-05-25 11:45:03 -05:00
  • 7ee7d661ef format Seungheon Oh 2022-05-24 17:05:10 -05:00
  • 29dc10bf36 CSV would be better than JSON Seungheon Oh 2022-05-24 16:55:48 -05:00
  • 35ba59c5d6 export benchmark to json Seungheon Oh 2022-05-24 16:10:12 -05:00
  • 5eebba1355 benchmarking Seungheon Oh 2022-05-24 15:20:09 -05:00
  • 7195b1730f emacs backups are sneaking into commits Seungheon Oh 2022-05-24 14:48:03 -05:00
  • f880699809 agora-spec made independent from agora-test Seungheon Oh 2022-05-24 13:52:42 -05:00
  • c84a7559ac forgot one file Seungheon Oh 2022-05-24 13:11:55 -05:00
  • 4b56edb25c Specs use generalized format so that it can be used for benchmarking Seungheon Oh 2022-05-24 13:09:58 -05:00
  • efca275f29 Merge pull request #98 from Liqwid-Labs/emiflake/relink-docs-to-notion Emily 2022-05-26 11:57:32 +02:00
  • bc382eab43 relink all tech-design docs to Notion Emily Martins 2022-05-25 20:05:41 +02:00
  • 4c3f48bae0 Merge pull request #97 from Liqwid-Labs/connor/bridge-update 方泓睿 2022-05-26 16:02:23 +08:00
  • 5d6d207e76 Merge branch 'main' into connor/bridge-update 方泓睿 2022-05-26 15:58:40 +08:00
  • dbfff95bfa Merge pull request #93 from Liqwid-Labs/connor/proposal-timing-conf Emily 2022-05-26 09:48:19 +02:00
  • 7b3fd9b076 update purescript bridge fanghr 2022-05-25 17:57:25 +08:00
  • abe1d950bf make 'PProposalTime' scott-encoded fanghr 2022-05-25 21:36:56 +08:00
  • 6f9de51541 apply Emily's suggestions fanghr 2022-05-25 21:07:09 +08:00
  • c6c93f587a fix broken tests/samples fanghr 2022-05-25 17:52:05 +08:00
  • 9bc2acb9ca calculate the starting time of a proposal upon creation fanghr 2022-05-24 23:31:26 +08:00
  • 2820831dad add createProposalStartingTime to compute the starting time of proposals fanghr 2022-05-24 22:10:19 +08:00
  • 1a2693aa98 store proposal timing conf in the governor datum fanghr 2022-05-20 19:58:29 +08:00
  • f2f355b47c Merge pull request #92 from Liqwid-Labs/connor/#87 方泓睿 2022-05-25 18:45:22 +08:00
  • 455dcaf928 Merge branch 'main' into connor/#87 方泓睿 2022-05-25 18:42:50 +08:00
  • cafe91f7a1 use nested pmatches instead of laziness fanghr 2022-05-24 21:48:32 +08:00
  • 8576784f51 Merge pull request #62 from Liqwid-Labs/connor/mutate-governor 方泓睿 2022-05-24 12:41:25 +08:00
  • 6ad986c7a9 Merge branch 'main' into connor/mutate-governor 方泓睿 2022-05-24 12:38:46 +08:00
  • f4f4ed0b21 fix a typo fanghr 2022-05-24 01:27:04 +08:00
  • 6145d9ef68 remove anyOutput fanghr 2022-05-23 23:18:18 +08:00
  • 0f3ef7d6e1 Merge pull request #91 from Liqwid-Labs/emiflake/script-export Emily 2022-05-23 15:25:33 +02:00
  • e89b245b20 remove allOutputs fanghr 2022-05-23 18:20:49 +08:00
  • f18b0992e7 remove anyInput fanghr 2022-05-23 18:11:32 +08:00
  • bc59671025 add remaining scripts, export to json file, fix compile Emily Martins 2022-05-20 18:08:31 +02:00
  • 56090bc5cc init agora-scripts for generating ScriptInfo for CTL Emily Martins 2022-05-20 17:03:41 +02:00
  • 03c514c88e Merge pull request #84 from Liqwid-Labs/connor/proposal-voting Emily 2022-05-20 15:58:11 +02:00
  • 13225cb447 add min ada to both stake input and output fanghr 2022-05-20 17:09:22 +08:00
  • 14a8b9eece pull own output filtering out of the pmatch block fanghr 2022-05-20 16:34:03 +08:00
  • ee6ae128de fix misleading assert messages && add some comments fanghr 2022-05-20 16:02:06 +08:00
  • 8a408f3ab0 add a property test for pupdate and updateMap fanghr 2022-05-20 03:15:21 +08:00
  • 65dc55f37f better naming fanghr 2022-05-20 19:10:34 +08:00
  • 1b9aaf111d add isPubKey && utilize it in the TreasuryWithdrawal effect fanghr 2022-05-20 18:22:33 +08:00
  • 67a5f3a54d add missing doc strings fanghr 2022-05-20 01:10:24 +08:00
  • ec48f4de95 some doc for the proposal voting sample fanghr 2022-05-19 17:10:33 +08:00
  • 97b3d6f023 ensure the new proposal lock is placed on the stake fanghr 2022-05-19 13:58:12 +08:00
  • ce09d05dff add sample test && fix broken tests fanghr 2022-05-18 21:33:42 +08:00
  • 3741759717 ensure that the voting op is within a valid period fanghr 2022-05-18 21:11:55 +08:00
  • fc48709c07 store starting time of the proposal in its datum fanghr 2022-05-18 21:01:14 +08:00
  • d44fe083da store timing config in the proposal datum fanghr 2022-05-18 20:34:56 +08:00
  • 7da72e9398 validation logic for voting fanghr 2022-05-18 17:14:04 +08:00
  • a9b347e14d PEq instances for a bunch of on-chain structures fanghr 2022-05-18 16:49:55 +08:00
  • 438f472c44 add uitls to update a PMap on-chain fanghr 2022-05-18 00:17:58 +08:00
  • 1ba11bc23a add missing docs && consistent naming fanghr 2022-05-19 21:03:42 +08:00
  • ad33b0cbbc refactor tests of the effect fanghr 2022-05-19 20:12:24 +08:00
  • 574031f290 Merge pull request #86 from Liqwid-Labs/emiflake/simple-bench Emily 2022-05-19 13:56:29 +02:00
  • bc3c99711f add size benchmarking for scripts to agora-bench Emily Martins 2022-05-18 16:28:26 +02:00
  • d61595e2f9 Merge pull request #79 from Liqwid-Labs/emiflake/safety-pool-doc Emily 2022-05-17 15:47:41 +02:00
  • 5de5e56b4c apply suggestions Emily Martins 2022-05-17 15:15:57 +02:00
  • fc050527a1 switch to TermCont; fix a bunch of compilation errors; format fanghr 2022-05-16 21:24:43 +08:00
  • 7f6e363c89 only allow script inputs from the effect and governor fanghr 2022-05-10 17:22:15 +08:00
  • a65465b494 only allow desired inputs/outputs in an effect tx fanghr 2022-05-09 20:33:21 +08:00
  • c556b3eda5 fix the broken test fanghr 2022-05-07 18:53:17 +08:00
  • 8c9a69dfec add a simple test fanghr 2022-05-07 18:49:37 +08:00
  • bac4eaa74e add a valid sample for the mutate governor effect fanghr 2022-05-07 18:25:53 +08:00
  • 526ca67747 add templates of tests and samples fanghr 2022-05-07 17:36:33 +08:00
  • 12f9a5bf1d improve the docstring fanghr 2022-05-07 17:26:49 +08:00
  • 40d5cf5f74 safely check input/output governor datum fanghr 2022-05-07 17:03:47 +08:00
  • 6ab6afbdb7 small doc fix to pisJust fanghr 2022-05-07 17:00:59 +08:00
  • 50deac1175 require PtryFrom PData (PAsData datum) in makeEffect fanghr 2022-05-07 14:13:33 +08:00
  • 0440e00410 fix compilation errors fanghr 2022-05-07 14:08:11 +08:00
  • dd79a7b73a mlabs email fanghr 2022-05-07 13:34:09 +08:00
  • 015ee0b9de move GovernorMutation effect to Effect fanghr 2022-05-07 13:29:36 +08:00
  • 33365e0a31 add document for everything in GovernorMutation.hs fanghr 2022-04-25 17:29:25 +08:00
  • f63e20907e utilize gatSymbol; clean up imports fanghr 2022-04-22 18:49:43 +08:00
  • b8cd27fc2a fix compilation errors fanghr 2022-04-22 18:19:01 +08:00
  • 2c93a7cb1c add an effect that mutates the governor settings fanghr 2022-04-12 18:09:48 +08:00
  • f908dfe8b9 Merge pull request #61 from Liqwid-Labs/connor/governor 方泓睿 2022-05-17 20:52:58 +08:00
  • 937b69a50c rename some props, as @jhodgdev suggested fanghr 2022-05-17 18:17:58 +08:00