Commit graph

65 commits

Author SHA1 Message Date
Emily Martins
afff408348 use plutarch-script-export library 2022-06-30 16:52:23 +02:00
Emily Martins
bea444f7d6 create initial POC script generating API 2022-06-28 21:13:56 +02:00
Hongrui Fang
6fe5e2b78a bump liqwid-plutarch-extra 2022-06-28 22:41:05 +08:00
Seungheon Oh
69db63185e Hydra 2022-06-27 14:57:14 -05:00
Seungheon Oh
6fd20816a6 Hydra 2022-06-27 14:46:02 -05:00
Seungheon Oh
e037f3f5f0 Moved samples to PCB
* Cleaner imports
2022-06-17 12:35:33 -05:00
Hongrui Fang
f31305929e bump liqwid-plutarch-extra and plutarch-safe-money 2022-06-17 21:16:26 +08:00
Hongrui Fang
ae55ebba5e reference dependent repos without ssh in flake 2022-06-16 23:48:54 +08:00
Emily Martins
4a76447336 flake: use main/staging for various Liqwid libs after PR merges 2022-06-04 00:04:46 +02:00
Emily Martins
b05550a41d flake: simplify flake.nix 2022-06-03 23:52:41 +02:00
Emily Martins
2818c36e98 flake: allow building on M1 2022-06-03 23:38:29 +02:00
Emily Martins
5049441dfc flake: bump plutarch, fix resulting issues
Collection of things fixed:
- `agora-test`: Fix compile resulting from some changes to hackage.
- `agora-benchmark`: Switched to `plutarch`-style `evalScript`.
- CI: Ported over new flake changes.

This is quite a mess.
2022-06-03 23:23:00 +02:00
Seungheon Oh
632ac6dc47 Use native expected function 2022-06-01 12:28:21 -05:00
Seungheon Oh
339dad0165 Removed Apropos 2022-05-31 12:32:12 -05:00
Seungheon Oh
8c312a46bd Replaced Apropos Property testing with PQ and PCB for MultiSig 2022-05-31 12:09:19 -05:00
Seungheon Oh
738fa26c0f Made PQ and PCB available to Agora
* Added deploy key of PCB to Github workflow
* Added Nix inputs and made PQ and PCB to build.
2022-05-30 17:45:35 -05:00
Seungheon Oh
16b1f6ad4b CI using deploy keys of plutarch-*
Simplified workflow using `strategy.matrix`
2022-05-27 13:54:33 -05:00
Seungheon Oh
7a0f9e9a66 Use Liqwid-Labs/plutarch
- Removed `Utils.Value` -- not being used/better is provided with
  liqwid-plutarch-extra
- uses `Liqwid-Labs/plutarch`
- uses `Liqwid-Labs/plutarch-numeric`
- uses `Liqwid-Labs/plutarch-safemoney`
- uses `Liqwid-Labs/liqwid-plutarch-extra`
2022-05-27 13:43:55 -05:00
fanghr
96bf20c853 add checks.x86_64-linux.benchCheck 2022-05-27 04:46:41 +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
Emily Martins
83230e0948 flake: bump plutarch-extra fork 2022-04-27 12:53:53 +02:00
Emily Martins
265d8f25c7 add ProposalRedeemer, bump plutarch-safemoney PR revision 2022-04-27 12:51:01 +02:00
Seungheon Oh
9394b2f70b Now makeEffect boilerplate requires datum to implemt PTryFrom
It will free `makeEffect` from using `unsafeCoerce` and force each
effect datums to implement their own "parsers".
2022-04-22 23:34:33 -05:00
Emily Martins
a3274a0f91 publish haddock in CI
- set correct subdirectory for docs
- add elucidating comment about deployment target
2022-04-19 16:19:14 +02:00
Emily Martins
476bf48649 format agora.cabal, flake.nix 2022-04-15 13:41:07 +02:00
Emily Martins
623e45c6ba don't use plutarch.tools 2022-04-14 15:24:09 +02:00
Emily Martins
1610f95763 use 'formatCheck' in CI instead of the two manual format checks 2022-04-14 14:20:37 +02:00
Emily Martins
d064e14c8b Merge branch 'master' into emiflake/stake-locking 2022-04-01 13:08:01 +02:00
Jack Hodgkinson
9e94366b70 Fixed problems 2022-04-01 10:59:52 +01:00
Jack Hodgkinson
e1bc999674 Merge branch 'master' of github.com:Liqwid-Labs/agora into jhodgdev/fix-apropos-dep 2022-04-01 10:51:51 +01:00
Jack Hodgkinson
d97c6c299a updated deps 2022-04-01 10:50:10 +01:00
Emily Martins
8c9225c1f1 use plutarch-safemoney instead of local Agora.SafeMoney 2022-03-30 15:32:50 +02:00
Emily Martins
7a3e62a401 Merge branch 'master' into emiflake/stub-everything 2022-03-28 15:48:02 +02:00
Jack Hodgkinson
414d17f9db Added disclaimer wrt apropos branch 2022-03-28 14:37:04 +01:00
Jack Hodgkinson
868d72634b Bumped apropos 2022-03-28 14:20:34 +01:00
Emily Martins
9c1a4c20bd Merge branch 'master' into flake-update 2022-03-25 14:16:44 +01:00
Peter Dragos
0f602de040 update flake 2022-03-24 17:13:44 -04:00
Emily Martins
bb174a7145 flake: run tests in flake check, actually check fourmolu 2022-03-22 16:27:20 +01:00
Emily Martins
3d76511a50 add intentionally failing examples 2022-03-16 13:55:00 +01:00
Emily Martins
d8ae2f7b33 flake: fix hlint version to prevent parse errors 2022-03-15 12:12:32 +01:00
Emily Martins
b57d7bde6e bump plutarch to staging rev 2022-03-11 18:05:30 +01:00
Emily Martins
a2ea0a46f5 WIP simple sample test for Stake policy 2022-03-09 22:00:02 +01:00
Emily Martins
9aa5f5b1a3 apropos-tx setup 2022-03-09 19:32:13 +01:00
Emily Martins
7a56bfd3fb flake: add graphviz 2022-03-02 20:30:32 +01:00
Emily Martins
e4d1fdfbed make hlint happy 2022-02-25 14:43:28 +01:00
Emily Martins
6aa594f6ca Merge branch 'master' into emiflake/bench 2022-02-16 15:20:32 +01:00
Emily Martins
2479ece42c flake: add 'defaultPackage' back 2022-02-16 00:18:16 +01:00
Jack Hodgkinson
9846b45dd5 Couldn't resolve plutus extra or plutus ledger 2022-02-15 15:51:34 +00:00
Jack Hodgkinson
36216d7ac2 Works with GHC 9; need to re-add plutus-extra 2022-02-15 15:40:52 +00:00