microproofs
|
4e0aaf970f
|
update tests and fix final unique issues
|
2024-03-04 10:52:56 -05:00 |
|
rvcas
|
90aea6476a
|
feat: uplc g1 and g2 literal parsing
|
2023-11-15 15:55:56 -05:00 |
|
microproofs
|
e566c4e1de
|
feat(uplc): add Case and Const terms
- parsering
- interning
- flat encoding and decoding
- pretty printing
- debruijn conversion
Co-authored-by: Lucas Rosa <x@rvcas.dev>
|
2023-09-03 11:52:49 -04:00 |
|
rvcas
|
c8efe60843
|
feat: use Rc for more things, fib_iter runs almost 3 seconds faster now
|
2023-02-01 18:53:11 -05:00 |
|
rvcas
|
d8f3ada13e
|
chore: add default for Interner
|
2022-11-08 22:21:07 -05:00 |
|
Kasey White
|
2bb482d9ec
|
Using rc we now get code that runs much faster and
can run jpg contract with no inputs
|
2022-08-17 22:40:32 -04:00 |
|
rvcas
|
984c253f31
|
feat: rename to aiken and add e2e tests for uplc
|
2022-06-11 23:22:24 -04:00 |