rvcas
|
d4251206e7
|
feat: fake named debruijn
|
2022-06-05 22:47:04 -04:00 |
|
rvcas
|
349364d867
|
chore: builtins implement Copy
|
2022-06-04 14:06:46 -04:00 |
|
rvcas
|
1ecd47a361
|
feat: clean up errors
|
2022-06-04 14:01:45 -04:00 |
|
rvcas
|
377c5c206c
|
feat: better errors for debruijn converter
|
2022-06-04 12:16:56 -04:00 |
|
rvcas
|
2f51b23e7e
|
feat: debruijn conversions and binder
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
|
2022-06-04 11:15:34 -04:00 |
|
rvcas
|
2ad630de90
|
feat: use a stack for scope
|
2022-06-04 00:29:30 -04:00 |
|
rvcas
|
946937f945
|
feat: more debruijn stuff
|
2022-06-03 22:00:16 -04:00 |
|
rvcas
|
f8edb5d519
|
feat: start debruijn conversion
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
|
2022-06-03 00:36:39 -04:00 |
|
rvcas
|
83d6b5243e
|
feat: get program ready for debruijn
|
2022-06-02 21:39:09 -04:00 |
|
rvcas
|
c7037ff8d9
|
feat: get string interning working
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
|
2022-06-01 01:11:30 -04:00 |
|
Kasey White
|
581b8fc85d
|
feat: flat tweaks and string interning
Co-authored-by: rvcas <x@rvcas.dev>
|
2022-05-31 22:57:55 -04:00 |
|
rvcas
|
31e7d63d9a
|
chore: use ref to get slice
|
2022-05-30 18:26:49 -04:00 |
|
rvcas
|
3f1ddef635
|
chore: slight clean up
|
2022-05-30 18:05:50 -04:00 |
|
Kasey White
|
83a784c745
|
add simple test for decoding
|
2022-05-30 17:12:32 -04:00 |
|
Kasey White
|
d4b659c04e
|
feat: finish up most of decoding (integer, decodeListWith, Term, Program, Version, Constant, Builtin)
|
2022-05-30 16:49:43 -04:00 |
|
Kasey White
|
4fb508e3b2
|
Add decoding for bytestring, string, char, bool, and filler
|
2022-05-30 02:32:39 -04:00 |
|
rvcas
|
0a476d0592
|
feat: prepare decoding traits and make new Flat trait
|
2022-05-28 20:12:03 -04:00 |
|
Kasey White
|
41487733f7
|
feat: builtin encoding
Co-authored-by: rvcas <x@rvcas.dev>
|
2022-05-28 00:23:34 -04:00 |
|
Kasey White
|
c01469ea51
|
feat: spec complaint program encoding
Co-authored-by: rvcas <x@rvcas.dev>
|
2022-05-27 22:37:08 -04:00 |
|
Kasey White
|
2e130ac5f0
|
add integer based on plutus core manual information
|
2022-05-24 04:55:10 -04:00 |
|
rvcas
|
b345afd12f
|
feat: we're flat encoding plutus core
|
2022-05-23 12:45:13 -04:00 |
|
Kasey White
|
344620136f
|
use encode_list_with with safe_encode_bits func
|
2022-05-23 12:20:04 -04:00 |
|
Kasey White
|
c38da6426f
|
implement encode_constant and add term tags for encoding
|
2022-05-23 02:22:37 -04:00 |
|
Kasey White
|
52f9f5ab41
|
feat: start on encoding constants with Flat Encoder
|
2022-05-22 20:29:59 -04:00 |
|
rvcas
|
33fee5b3e0
|
chore: switch to a mono repo
|
2022-05-22 12:40:52 -04:00 |