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
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
