Commit graph

  • bb174a7145 flake: run tests in flake check, actually check fourmolu Emily Martins 2022-03-22 16:27:20 +01:00
  • d8aa028814 hacky fix for stake policy using filtered <= Emily Martins 2022-03-21 18:11:38 +01:00
  • 3f642daaf1 remove Int apropos-tx example, move Model.* to Spec.Model.* Emily Martins 2022-03-21 15:39:38 +01:00
  • 745e576d33 Added some annotations to work on multisig apropos testing Jack Hodgkinson 2022-03-18 14:46:47 +00:00
  • 93acd81e79 add HasParameterisedGenerator and wire tests up Emily Martins 2022-03-18 15:23:07 +01:00
  • 060e46814a paired programming work Jack Hodgkinson 2022-03-18 12:19:45 +00:00
  • 131806f9a7 inited tr tests Jack Hodgkinson 2022-03-18 10:59:46 +00:00
  • 97812d3761 Merge pull request #34 from Liqwid-Labs/emiflake/sample-tests Emily 2022-03-17 17:22:22 +01:00
  • b135d8f0b2 formatting fix Jack Hodgkinson 2022-03-17 10:45:01 +00:00
  • 08c963678d inited branch Jack Hodgkinson 2022-03-17 10:06:14 +00:00
  • 3d76511a50 add intentionally failing examples Emily Martins 2022-03-16 13:55:00 +01:00
  • b58ccfd785 move scriptTest to Util module Emily Martins 2022-03-15 17:25:44 +01:00
  • 9dc89bcf55 add comments to Multisig module Emily Martins 2022-03-15 12:12:52 +01:00
  • d8ae2f7b33 flake: fix hlint version to prevent parse errors Emily Martins 2022-03-15 12:12:32 +01:00
  • b57d7bde6e bump plutarch to staging rev Emily Martins 2022-03-11 18:05:30 +01:00
  • 6e736eea40 Merge branch 'master' into emiflake/sample-tests Emily Martins 2022-03-11 13:34:29 +01:00
  • dc86024a92 Merge pull request #33 from Liqwid-Labs/rkilgore/multisig Emily 2022-03-10 16:36:09 +01:00
  • 1b3d0c2ea8 Trying to make hlint happy Riley Kilgore 2022-03-10 06:24:13 -08:00
  • d0595f4869 Modified formatting, hopefully passes CI Riley Kilgore 2022-03-10 06:16:33 -08:00
  • 9d1952e981 Automated MultiSig -> PMultiSig Riley Kilgore 2022-03-09 14:34:27 -08:00
  • a2ea0a46f5 WIP simple sample test for Stake policy Emily Martins 2022-03-09 22:00:02 +01:00
  • c98b3b9c89 Addressed PR comments. Riley Kilgore 2022-03-09 12:52:32 -08:00
  • 9aa5f5b1a3 apropos-tx setup Emily Martins 2022-03-09 19:32:13 +01:00
  • 1755ec0a19 Merge pull request #31 from Liqwid-Labs/jhodgdev/treasury Emily 2022-03-09 14:56:27 +01:00
  • 81927ad9ff make hlint happy Emily Martins 2022-03-08 13:22:37 +01:00
  • aa6626c913 Added changes to address comments Riley Kilgore 2022-03-08 06:15:20 -08:00
  • 92b3375f5e check that all GATs burned in treasury validator are valid Emily Martins 2022-03-08 13:17:29 +01:00
  • de6e186ec1 hlint happiness prevents building.. Riley Kilgore 2022-03-05 05:57:27 -08:00
  • 7b327911d2 Made a small change requested by hlint Riley Kilgore 2022-03-05 05:51:31 -08:00
  • 5482a5c4ca Added a multi-sig validator at Agora.MultiSig Riley Kilgore 2022-03-05 05:31:11 -08:00
  • 909416df5a add authorityTokensValidIn function Emily Martins 2022-03-04 22:04:59 +01:00
  • 1714a8fe0b rename AlterTrParams to AlterTreasuryParams Emily Martins 2022-03-04 17:16:16 +01:00
  • 551819cd14 Merge pull request #32 from Liqwid-Labs/emiflake/update-docs Emily 2022-03-04 14:24:38 +01:00
  • 20ae854bde reword destroying staking pool section with Jack's suggestion Emily Martins 2022-03-04 14:11:46 +01:00
  • 20651235f8 Applied linting suggestions Jack Hodgkinson 2022-03-04 13:09:05 +00:00
  • 3626f4295a Updated treasury docs to reflect current implementation Jack Hodgkinson 2022-03-04 13:04:16 +00:00
  • 46344b8bd9 Added linting suggestions Jack Hodgkinson 2022-03-04 09:30:53 +00:00
  • 08b8dd1c46 Added These data types Jack Hodgkinson 2022-03-04 09:27:41 +00:00
  • 037f8729b4 Removed redundant Plutarch Extra files Jack Hodgkinson 2022-03-04 06:26:53 +00:00
  • 3bc3620334 Added Utils.Value Jack Hodgkinson 2022-03-03 17:00:14 +00:00
  • af06b8fb51 fix hlint Emily Martins 2022-03-03 16:11:25 +01:00
  • 0e045d6f10 elaborate Stake destruction Emily Martins 2022-03-03 14:03:33 +01:00
  • ade66fdbd0 began reworking treasury Jack Hodgkinson 2022-03-03 11:59:23 +00:00
  • 93c3f700b8 add signer assertion to Stake validator Emily Martins 2022-03-02 21:23:40 +01:00
  • 51cdba2ddf add section on destroying Stake in tech-design Emily Martins 2022-03-02 21:23:24 +01:00
  • 13d7089021 update overview diagram Emily Martins 2022-03-02 20:46:22 +01:00
  • 7a56bfd3fb flake: add graphviz Emily Martins 2022-03-02 20:30:32 +01:00
  • fbf87a9165 Began applying Emily's suggestions Jack Hodgkinson 2022-03-02 16:46:09 +00:00
  • 3fc7a39902 Merge branch 'master' of github.com:Liqwid-Labs/agora into jhodgdev/treasury Jack Hodgkinson 2022-03-02 14:28:05 +00:00
  • 3034cfc957 Documented solution for treasury witnessing Jack Hodgkinson 2022-03-02 13:01:45 +00:00
  • 5cf5e5fdd3 expanded treasury Jack Hodgkinson 2022-03-02 12:50:00 +00:00
  • a895a60c8a Merge pull request #30 from Liqwid-Labs/emiflake/stake Emily 2022-03-02 13:37:26 +01:00
  • 67335813cf added helper functions to treasury Jack Hodgkinson 2022-03-02 11:57:34 +00:00
  • b03674c58c hlint fix Jack Hodgkinson 2022-03-01 14:13:47 +00:00
  • 85ff7a55a6 Initialised skeleton for treasury Jack Hodgkinson 2022-03-01 12:53:39 +00:00
  • 4141873cce apply remaining suggestions Emily Martins 2022-03-01 13:14:51 +01:00
  • 646f4900ff apply suggestions Emily Martins 2022-02-28 18:26:32 +01:00
  • 406ff4d085 Minorly updated docs Jack Hodgkinson 2022-02-28 14:25:20 +00:00
  • e4d1fdfbed make hlint happy Emily Martins 2022-02-25 14:43:28 +01:00
  • 3a1fba39b9 stake validator basics Emily Martins 2022-02-24 00:20:57 +01:00
  • b48d797747 tag TokenName with ValidatorHash of script ST is sent to Emily Martins 2022-02-22 22:26:26 +01:00
  • b5ea62ca4d stub of stake validator Emily Martins 2022-02-22 16:05:37 +01:00
  • df349b8f35 check that ST is sent to script Emily Martins 2022-02-21 21:55:11 +01:00
  • 87af9ffcb9 add burning support to stake policy Emily Martins 2022-02-21 19:03:05 +01:00
  • 552c6c8a00 add missing asserts to Stake policy Emily Martins 2022-02-18 23:05:55 +01:00
  • c6e7d15652 Merge branch 'master' into emiflake/stake Emily Martins 2022-02-18 21:26:51 +01:00
  • 59c864df44 bump plutarch Emily Martins 2022-02-18 20:52:06 +01:00
  • aa81d438cd add Utils module, fix stake policy missing ST Emily Martins 2022-02-18 17:21:05 +01:00
  • fc4afb4aca correctly check output datum and value Emily Martins 2022-02-17 20:52:35 +01:00
  • 39e5eac2a1 use Plutarch.Monadic in Stake Emily Martins 2022-02-16 21:12:32 +01:00
  • d892e6de88 Merge pull request #23 from Liqwid-Labs/emiflake/bench Jack Hodgkinson 2022-02-16 16:10:43 +00:00
  • e1fe9c6514 restored bench.csv Jack Hodgkinson 2022-02-16 16:10:28 +00:00
  • 412a59d4f3 remove bench.csv, add to .gitignore Emily Martins 2022-02-16 16:49:44 +01:00
  • 5ec12e6ae9 Merge branch 'master' into emiflake/stake Emily Martins 2022-02-16 16:41:33 +01:00
  • 6aa594f6ca Merge branch 'master' into emiflake/bench Emily Martins 2022-02-16 15:20:32 +01:00
  • 879bfc6f6c Merge pull request #26 from Liqwid-Labs/jhodgdev/ghc9 Emily 2022-02-16 00:43:52 +01:00
  • 0330209f10 use GHC 9.2.1 fourmolu package in format.sh Emily Martins 2022-02-16 00:33:14 +01:00
  • 2479ece42c flake: add 'defaultPackage' back Emily Martins 2022-02-16 00:18:16 +01:00
  • 537fe50a71 set -XOverloadedRecordDot flag instead of using RecordDotProcessor Emily Martins 2022-02-16 00:17:55 +01:00
  • 1fcb62d7a8 WIP Stake policy Emily Martins 2022-02-15 23:08:10 +01:00
  • 9846b45dd5 Couldn't resolve plutus extra or plutus ledger Jack Hodgkinson 2022-02-15 15:51:34 +00:00
  • 36216d7ac2 Works with GHC 9; need to re-add plutus-extra Jack Hodgkinson 2022-02-15 15:40:52 +00:00
  • 01ee791f77 Merge branch 'master' into emiflake/safe-money Emily Martins 2022-02-14 23:28:20 +01:00
  • 1a57560a97 Merge branch 'master' into emiflake/bench Emily Martins 2022-02-14 21:47:50 +01:00
  • e80ebb630b Merge pull request #19 from Liqwid-Labs/jhodgdev/github-actions Jack Hodgkinson 2022-02-14 16:25:45 +00:00
  • 12aff6bc9f Given up on trying to find efficiencies Jack Hodgkinson 2022-02-14 16:20:55 +00:00
  • 6a7336ce41 fix syntax error Jack Hodgkinson 2022-02-14 16:15:02 +00:00
  • a8f156df9c restructured workflows Jack Hodgkinson 2022-02-14 16:14:24 +00:00
  • feac03aea8 attempting fix Jack Hodgkinson 2022-02-14 16:11:03 +00:00
  • bcc5033ce2 Separated nix logic Jack Hodgkinson 2022-02-14 16:03:57 +00:00
  • 954600b9ae Fixed workflow by adding nix install commands Jack Hodgkinson 2022-02-14 14:21:11 +00:00
  • 8f2fe88f5f Implement nix run Jack Hodgkinson 2022-02-14 14:18:49 +00:00
  • 4446802670 removed flake check Jack Hodgkinson 2022-02-14 13:55:09 +00:00
  • 19249b70c0 fix yaml syntax error Jack Hodgkinson 2022-02-14 13:45:01 +00:00
  • 4ab1fb0376 Examine behaviour of hlint and fourmolu without Stack Jack Hodgkinson 2022-02-14 13:43:35 +00:00
  • 1b55c3ea00 Removed full stops for consistency Jack Hodgkinson 2022-02-14 12:12:46 +00:00
  • d90d57045f Added failing test Jack Hodgkinson 2022-02-14 12:11:34 +00:00
  • 9a0d55b326 gave steps more descriptive names Jack Hodgkinson 2022-02-14 11:47:24 +00:00
  • c2d73b65b3 Updated fourmolu script Jack Hodgkinson 2022-02-14 11:06:42 +00:00
  • 04217f3d67 Integrate lint and format Jack Hodgkinson 2022-02-14 10:49:22 +00:00