Emily Martins
1ada528d82
bump liqwid-nix and liqwid-libs
2023-01-27 16:00:22 +01:00
Emily Martins
3864137e53
use liqwid-libs repo instead of LSE
2023-01-10 19:15:11 +01:00
Emily Martins
f5117d194b
bump liqwid-nix to 2.2.0
2023-01-06 17:18:58 +01:00
Emily Martins
6d516e8076
bump liqwid-nix to 2.1.1
2023-01-02 21:39:11 +01:00
Emily Martins
831473fa30
bump liqwid-nix
2022-12-16 15:23:24 +01:00
Emily Martins
85cf2464a8
reduce inputs by reusing them from dep
2022-12-09 17:29:49 +01:00
emiflake
d0b22a5d41
Merge pull request #213 from Liqwid-Labs/emiflake/liqwid-nix-2.0
...
use liqwid-nix 2.0
2022-12-08 18:01:03 +01:00
Seungheon Oh
6ffde4ca3c
Use latest LPE
2022-12-08 17:41:00 +01:00
Emily Martins
0da42a6120
bump liqwid-nix
2022-12-08 17:28:57 +01:00
Emily Martins
e6c53d0ddc
bump liqwid-nix
2022-12-08 17:28:37 +01:00
Emily Martins
7e628328da
use liqwid-nix 2.0
2022-12-08 17:28:26 +01:00
Hongrui Fang
80cc790bff
bump lpe
2022-11-11 23:34:16 +08:00
Emily Martins
bf8290be46
bump liqwid-nix to 1.1
2022-10-31 13:42:47 +01:00
t4ccer
fbb27a18c7
Align dependencies
2022-10-26 13:09:16 -06:00
t4ccer
211d810541
Reduce nix inputs
2022-10-26 10:09:57 -06:00
Hongrui Fang
6ae1dcdb40
get rid of plutarch-safe-money; bump lpe
2022-10-25 18:46:35 +08:00
Seungheon Oh
275d3a5b69
Use liqwid-script-export
...
commit ec70bfd539fe2e27fd48f5f76395400287ac72d7
Author: Seungheon Oh <seungheon.ooh@gmail.com>
Date: Tue Oct 18 18:58:59 2022 -0500
use LSE
commit 25fff9b3ad1f2dde4cd7cf36977530b06a87d23c
Merge: 01cd3aa a5567ea
Author: Seungheon Oh <seungheon.ooh@gmail.com>
Date: Tue Oct 18 18:17:45 2022 -0500
Merge branch 'staging' into seungheonoh/ply
commit 01cd3aa7a235e6fe6658246ca1026fa26dc71a83
Author: Hongrui Fang <chfanghr@gmail.com>
Date: Tue Oct 11 12:02:03 2022 +0800
update benchmark
commit a8513244892ce33cfdc9edf8cd501c4985ae8008
Author: Hongrui Fang <chfanghr@gmail.com>
Date: Tue Oct 11 11:59:22 2022 +0800
fix tests
commit 20ca40823485c2e2f78253643cf4453ac7b7ddd5
Author: Hongrui Fang <chfanghr@gmail.com>
Date: Tue Oct 11 11:57:37 2022 +0800
better import
commit a19fe49424210891bd03db71e4083fc1e0edfd98
Author: Hongrui Fang <chfanghr@gmail.com>
Date: Tue Oct 11 11:08:20 2022 +0800
update flake inputs
commit c93b21f1f9441e5c6f54525bf7c6a54757ec36cc
Author: Seungheon Oh <seungheon.ooh@gmail.com>
Date: Mon Oct 10 12:54:12 2022 -0500
tried to make tests pass
commit 1046ae1237299a33c58b48661bdb6d325a22147e
Merge: 2bf4e36 e2bd48b
Author: Seungheon Oh <seungheon.ooh@gmail.com>
Date: Mon Oct 10 12:18:48 2022 -0500
Merge branch 'staging' into seungheonoh/ply
commit 2bf4e3627c1b229f58078695082da85c80efd560
Author: Seungheon Oh <seungheon.ooh@gmail.com>
Date: Mon Oct 10 10:48:36 2022 -0500
remove junkpile
commit a1dbc9ad9e531fe0d0a0480c4aef9cf9ffa90f1d
Author: Seungheon Oh <seungheon.ooh@gmail.com>
Date: Mon Oct 10 10:47:25 2022 -0500
versions
commit 4542a06ac733858297d3a48c53368fad19dedc43
Author: Seungheon Oh <seungheon.ooh@gmail.com>
Date: Thu Oct 6 22:57:48 2022 -0500
script exporting interface
commit 6bd8c1a1d57e4bf9dc25c3068a9c8eae6bf6a19d
Author: Seungheon Oh <seungheon.ooh@gmail.com>
Date: Thu Oct 6 22:58:41 2022 -0500
fixed tests
commit d3ce2cf95633d336f3e621833677bd5bf10ee2c8
Author: Seungheon Oh <seungheon.ooh@gmail.com>
Date: Sun Oct 2 00:55:18 2022 -0500
fixed tests
commit 1ae64c9f692652b77b0506013853b2ba44267c65
Author: Seungheon Oh <seungheon.ooh@gmail.com>
Date: Sat Oct 1 13:28:20 2022 -0500
linker
commit db88cb75c7b74843141ad8ab4e6522b66d0dcfbc
Author: Seungheon Oh <seungheon.ooh@gmail.com>
Date: Sat Oct 1 01:03:50 2022 -0500
exporting scripts
commit 6389fce28e885a8a7f8669629c266f59c0edb51f
Author: Seungheon Oh <seungheon.ooh@gmail.com>
Date: Sat Oct 1 00:51:49 2022 -0500
made scripts parameterized on the script level
commit aea1e518a8890550bdebd0e5251da11d915c53a9
Author: Seungheon Oh <seungheon.ooh@gmail.com>
Date: Wed Sep 28 19:53:29 2022 -0500
Use `TypedScriptEnvelope` for `Agora.Bootstrap`
2022-10-18 19:02:10 -05:00
adamczykm
5c71e32ef2
Target p script export main branch back.
2022-09-26 21:33:36 +02:00
adamczykm
3142ace0ff
Bump LPE and update use sites.
2022-09-26 13:18:59 +02:00
Hongrui Fang
ce787fe19c
bump plutarch/LPE/PCB; point plutarch to master branch
2022-09-13 20:24:20 +08:00
Hongrui Fang
67517bc81f
bump PCB
2022-08-17 12:26:46 +08:00
Hongrui Fang
b453f2b216
bump LPE/PCB
2022-08-15 21:35:40 +08:00
Hongrui Fang
ad34562432
use liqwid-nix; enable checks for CI
...
add extra command line tool `hasktags`
2022-08-12 04:56:14 +08:00
SeungheonOh
e2d873f1c5
use utilities from LPE
2022-08-03 23:46:15 +08:00
Seungheon Oh
662540e619
remove Agora.MultiSig
2022-08-03 23:42:21 +08:00
Hongrui Fang
5540f2d843
bump liqwid-plutarch-extra
2022-07-19 22:48:02 +08:00
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