microproofs
|
33d6d3049e
|
add compute for the new terms constr and case
|
2023-09-03 11:52:49 -04:00 |
|
Pi Lanningham
|
f464eb3702
|
Cargo fmt + clippy, with latest rust
|
2023-08-07 19:00:39 -04:00 |
|
KtorZ
|
2a747305f7
|
Fixes evaluation of large positive bigint in the UPLC machine
Fixes #511.
|
2023-07-05 18:52:14 +02:00 |
|
microproofs
|
09a6ea51d6
|
feat(machine): reduce term allocations
* remove term from VBuiltin
* and also means we don't need the useless wrapping
Co-authored-by: Lucas Rosa <x@rvcas.dev>
|
2023-04-13 01:28:27 -04:00 |
|
rvcas
|
70f12d3fc5
|
chore: new branch with some things from the bumpalo branch
|
2023-04-13 01:28:27 -04:00 |