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
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
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
312976a4ca
Moved Agora.Record to Plutarch.Extra.Record
...
Since `Agora.Record` provides a general utility for easy construction
of Plutarch record types, they can be moved to `liqwid-plutarch-extra`
to be used abroad.
2022-05-30 09:02:07 -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
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
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
868d72634b
Bumped apropos
2022-03-28 14:20:34 +01:00
Peter Dragos
d28ee8c928
upstream Agora extras
2022-03-24 19:15:10 -04:00
Peter Dragos
0f602de040
update flake
2022-03-24 17:13:44 -04: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
1714a8fe0b
rename AlterTrParams to AlterTreasuryParams
2022-03-04 17:16:16 +01:00
Emily Martins
59c864df44
bump plutarch
2022-02-18 20:52:06 +01:00
Emily Martins
5ec12e6ae9
Merge branch 'master' into emiflake/stake
2022-02-16 16:41:33 +01:00
Emily Martins
1fcb62d7a8
WIP Stake policy
2022-02-15 23:08:10 +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
Jack Hodgkinson
12c3dea5d7
tweaked CI workaround
2022-02-14 08:20:31 +00:00
Jack Hodgkinson
63d58ade25
testing workaround
2022-02-11 08:23:29 +00:00
Jack Hodgkinson
71983f273d
updated flake files
2022-02-10 09:07:07 +00:00
Jack Hodgkinson
c3e58ce1b1
reset flake .nix
2022-02-10 09:04:27 +00:00
Jack Hodgkinson
16345d37e0
updated nixpkgs reference
2022-02-10 08:55:50 +00:00
Jack Hodgkinson
d79b70575f
updated flake.lock
2022-02-10 08:41:11 +00:00
Emily Martins
fcf5fc3d07
simply add haskell-language-server to tools
2022-02-09 12:49:22 +01:00
Emily Martins
f7729bf006
add plutus-extra dependency
2022-02-07 15:34:45 +01:00
Jack Hodgkinson
53ca5437d9
Updated ref to plutarch
2022-01-28 12:12:41 +00:00
Emily Martins
501a414bc0
bump plutarch
2022-01-22 20:24:00 +01:00
Emily Martins
c40e6e9f36
impl working version of AuthorityToken policy with plutarch
2022-01-14 10:06:01 +01:00
Emily Martins
ea96690e6a
initial commit
2022-01-13 00:06:37 +01:00
