Emily Martins
7597db8f65
bump liqwid-nix to 2.7.2
2023-03-22 17:51:04 +00:00
Seungheon Oh
9cdb046977
Unpin liqwid-libs revision
2023-03-14 15:01:29 -05:00
Seungheon Oh
fab7462f20
Update liqwid-libs
2023-03-14 14:56:19 -05:00
Seungheon Oh
fab16355e5
Nix to export
2023-03-10 14:51:42 -06:00
Seungheon Oh
13151bb6fb
Update types so that ply envlope can be used in Purescript
2023-03-04 00:52:10 -06:00
Emily Martins
15af7afde5
bump liqwid-nix and liqwid-libs
2023-01-27 16:00:22 +01:00
Emily Martins
d3a8638e29
use liqwid-libs repo instead of LSE
2023-01-10 19:15:11 +01:00
Emily Martins
0cb45dbd76
bump liqwid-nix to 2.2.0
2023-01-06 17:18:58 +01:00
Emily Martins
e5036cf89d
bump liqwid-nix to 2.1.1
2023-01-02 21:39:11 +01:00
Emily Martins
390d4714ac
bump liqwid-nix
2022-12-16 15:23:24 +01:00
Emily Martins
0ab401204a
reduce inputs by reusing them from dep
2022-12-09 17:29:49 +01:00
emiflake
00c10198e8
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
ef86f8a917
Use latest LPE
2022-12-08 17:41:00 +01:00
Emily Martins
a0c7055716
bump liqwid-nix
2022-12-08 17:28:57 +01:00
Emily Martins
4d3a57403b
bump liqwid-nix
2022-12-08 17:28:37 +01:00
Emily Martins
2843e1dd63
use liqwid-nix 2.0
2022-12-08 17:28:26 +01:00
Hongrui Fang
d921927a2f
bump lpe
2022-11-11 23:34:16 +08:00
Emily Martins
e9adfc6386
bump liqwid-nix to 1.1
2022-10-31 13:42:47 +01:00
t4ccer
b81c9d3037
Align dependencies
2022-10-26 13:09:16 -06:00
t4ccer
e8888da223
Reduce nix inputs
2022-10-26 10:09:57 -06:00
Hongrui Fang
25c6d9a1ae
get rid of plutarch-safe-money; bump lpe
2022-10-25 18:46:35 +08:00
Seungheon Oh
d2018afd4d
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 1821dd6
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 363bd83
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
66a09435e0
Target p script export main branch back.
2022-09-26 21:33:36 +02:00
adamczykm
5ebdc04498
Bump LPE and update use sites.
2022-09-26 13:18:59 +02:00
Hongrui Fang
02dd95aceb
bump plutarch/LPE/PCB; point plutarch to master branch
2022-09-13 20:24:20 +08:00
Hongrui Fang
bd4eab6563
bump PCB
2022-08-17 12:26:46 +08:00
Hongrui Fang
70e88a18be
bump LPE/PCB
2022-08-15 21:35:40 +08:00
Hongrui Fang
ed98172d04
use liqwid-nix; enable checks for CI
...
add extra command line tool `hasktags`
2022-08-12 04:56:14 +08:00
SeungheonOh
309c8775ed
use utilities from LPE
2022-08-03 23:46:15 +08:00
Seungheon Oh
3af4a7438a
remove Agora.MultiSig
2022-08-03 23:42:21 +08:00
Hongrui Fang
a19bbce198
bump liqwid-plutarch-extra
2022-07-19 22:48:02 +08:00
Emily Martins
835e04e049
use plutarch-script-export library
2022-06-30 16:52:23 +02:00
Emily Martins
e862de7e59
create initial POC script generating API
2022-06-28 21:13:56 +02:00
Hongrui Fang
e86ae1246a
bump liqwid-plutarch-extra
2022-06-28 22:41:05 +08:00
Seungheon Oh
01e4222026
Hydra
2022-06-27 14:57:14 -05:00
Seungheon Oh
c1e0e01d6c
Hydra
2022-06-27 14:46:02 -05:00
Seungheon Oh
50b89107ed
Moved samples to PCB
...
* Cleaner imports
2022-06-17 12:35:33 -05:00
Hongrui Fang
72ecaae5fc
bump liqwid-plutarch-extra and plutarch-safe-money
2022-06-17 21:16:26 +08:00
Hongrui Fang
6545bbeee5
reference dependent repos without ssh in flake
2022-06-16 23:48:54 +08:00
Emily Martins
c201196762
flake: use main/staging for various Liqwid libs after PR merges
2022-06-04 00:04:46 +02:00
Emily Martins
0dcddabe39
flake: simplify flake.nix
2022-06-03 23:52:41 +02:00
Emily Martins
78ea0c64de
flake: allow building on M1
2022-06-03 23:38:29 +02:00
Emily Martins
ad9da8e6b3
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
3ad50b218b
Use native expected function
2022-06-01 12:28:21 -05:00
Seungheon Oh
c260254cae
Removed Apropos
2022-05-31 12:32:12 -05:00
Seungheon Oh
fa5bb7eec2
Replaced Apropos Property testing with PQ and PCB for MultiSig
2022-05-31 12:09:19 -05:00
Seungheon Oh
5d32184245
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
d7a235f010
CI using deploy keys of plutarch-*
...
Simplified workflow using `strategy.matrix`
2022-05-27 13:54:33 -05:00
Seungheon Oh
55defea912
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
ab60e7701d
add checks.x86_64-linux.benchCheck
2022-05-27 04:46:41 +08:00