Commit graph

34 commits

Author SHA1 Message Date
Seungheon Oh
f0917565a2 Update types so that ply envlope can be used in Purescript 2023-03-04 00:52:10 -06:00
Emily Martins
a4cdb719dc use DoTracing to reduce size 2023-02-28 20:31:37 +01:00
Hongrui Fang
c547494c93 export alwaysSucceedsPolicy as a standalone builder 2023-01-23 20:18:22 +08:00
Hongrui Fang
3409bb0bdc export scripts with trace messages 2023-01-19 00:03:32 +08:00
Hongrui Fang
83cfbc9adb update sampleGov.json 2022-12-13 18:48:12 +08:00
Hongrui Fang
3c10617244 remove redundant imports 2022-11-16 12:36:30 +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
Emily Martins
9e3521dcb4 add NoFieldSelectors flag globally 2022-09-17 15:18:01 +02:00
Ben Cross
177fef8a25 Add the effect validator to the API 2022-09-02 15:58:58 +02:00
Emily Martins
bf67d74258 allow disabling tracing in script export 2022-08-30 19:09:46 +02:00
Emily Martins
2f1e04b4f7 explicit imports for core agora modules 2022-08-18 16:52:53 +02:00
Hongrui Fang
3d9c447783 parameterize scripts over AgoraScripts 2022-08-12 05:01:34 +08:00
Hongrui Fang
33e4ed037e fix compilation errors 2022-08-12 04:56:19 +08:00
Emily Martins
541ade0653 add unreleased section to CHANGELOG.md 2022-07-13 17:56:16 +02:00
Emily Martins
477be7c444 add trivial scripts to export 2022-07-13 17:56:16 +02:00
Emily Martins
afff408348 use plutarch-script-export library 2022-06-30 16:52:23 +02:00
Emily Martins
519eed07b6 update command line options 2022-06-29 10:44:33 +02:00
Emily Martins
bc501f291c use Capture to make API more neat, update bench 2022-06-28 21:17:44 +02:00
Emily Martins
910416f4ab add better server error messages, cbor vs raw hex 2022-06-28 21:13:56 +02:00
Emily Martins
a7ed7989f1 restructure agora-scripts modules
In order to allow reusing this code in the future, I've made it so that
Agora-specific code all lives in `Main`, and everything else lives in
`ScriptExport` or other non-Agora modules.
2022-06-28 21:13:56 +02:00
Emily Martins
c7869fe701 format and fix Werror compile error 2022-06-28 21:13:56 +02:00
Emily Martins
6a4b945375 add granular script querying support 2022-06-28 21:13:56 +02:00
Emily Martins
bea444f7d6 create initial POC script generating API 2022-06-28 21:13:56 +02:00
Emily Martins
33cb76079f init servant-based API for script exporting 2022-06-28 21:13:56 +02:00
Emily Martins
f048f9f5c0 remove agora-scripts.json file 2022-06-22 21:57:26 +02:00
Hongrui Fang
ca9ce08fa1 update scripts 2022-06-16 20:50:24 +08:00
Hongrui Fang
980e17a53d export commit hash/branch along side with scripts 2022-06-16 20:50:18 +08:00
nini-faroux
8392659288 Add new scripts 2022-06-15 11:03:29 +00:00
nini-faroux
d597aee8b2 Add new UTXO parameter 2022-06-15 11:03:04 +00: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
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
Emily Martins
bc59671025 add remaining scripts, export to json file, fix compile 2022-05-20 18:24:53 +02:00
Emily Martins
56090bc5cc init agora-scripts for generating ScriptInfo for CTL 2022-05-20 18:24:53 +02:00