Kasey White
|
09ae98065c
|
remaining buitlins for list and integer
Co-authored-by: rvcas <x@rvcas.dev>
|
2022-08-24 00:06:17 -04:00 |
|
Kasey White
|
3f6ad6be60
|
verify signature changed name and cost
|
2022-08-24 00:06:17 -04:00 |
|
Kasey White
|
c03d3e3604
|
fix budget restriction back to protocol params (#39)
|
2022-08-21 16:52:31 -04:00 |
|
rvcas
|
8ed87c5f17
|
chore: fix clippy issues
|
2022-08-17 22:40:32 -04: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 |
|
Kasey White
|
f3ace55355
|
Implement more builtins for bytestring and integer
Co-authored-by: rvcas <x@rvcas.dev>
|
2022-08-10 12:23:34 -04:00 |
|
Kasey White
|
11ee99c199
|
Add several builtins for strings and bytestring
Co-authored-by: rvcas <x@rvcas.dev>
|
2022-08-07 22:21:58 -04:00 |
|
Kasey White
|
d14920265e
|
flat encoding for list and pairs
Co-authored-by: rvcas <x@rvcas.dev>
|
2022-08-05 00:38:41 -04:00 |
|
rvcas
|
198dae7f5d
|
feat: impl display for Program and Term where T: Binder
|
2022-08-05 00:38:41 -04:00 |
|
Kasey White
|
a3a175d74b
|
switch to stack model for plutus eval
Co-authored-by: rvcas <x@rvcas.dev>
|
2022-07-28 02:48:08 -04:00 |
|
Kasey White
|
234ab7c7cb
|
Try out recursion for environment and frames
Co-authored-by: rvcas <x@rvcas.dev>
|
2022-07-27 11:27:27 -04:00 |
|
rvcas
|
9e62181caa
|
feat: new Error not a constant
|
2022-07-24 19:51:57 -04:00 |
|
rvcas
|
f332dfeb38
|
feat: 3 new error cases and more generic pretty printing
|
2022-07-24 19:51:57 -04:00 |
|
Kasey White
|
598c5364fe
|
implement force for builtins
Co-authored-by: rvcas <x@rvcas.dev>
|
2022-07-24 19:51:57 -04:00 |
|
rvcas
|
22f90bf07f
|
feat: impl ifThenElse kinda
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
|
2022-07-24 19:51:57 -04:00 |
|
rvcas
|
83b9294ac1
|
chore: print runtime
|
2022-07-24 19:51:57 -04:00 |
|
rvcas
|
b7e6f7b27f
|
feat: add default builtin costs
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
|
2022-07-24 19:51:57 -04:00 |
|
Kasey White
|
9f977f7e58
|
add costing capability for builtins
Co-authored-by: rvcas <x@rvcas.dev>
|
2022-07-24 19:51:57 -04:00 |
|
Kasey White
|
84df3be139
|
start filling in builtin cost model
Co-authored-by: rvcas <x@rvcas.dev>
|
2022-07-24 19:51:57 -04:00 |
|
rvcas
|
d55409d8c5
|
feat: basic builtin execution
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
|
2022-07-24 19:51:57 -04:00 |
|
Kasey White
|
9ea57aa461
|
Add some runtime types
|
2022-07-24 19:51:57 -04:00 |
|
Kasey White
|
045dc8fed8
|
add builtin cost model
Co-authored-by: rvcas <x@rvcas.dev>
|
2022-07-24 19:51:57 -04:00 |
|
Kasey White
|
0e2214a908
|
Implement apply evaluate
Co-authored-by: rvcas <x@rvcas.dev>
|
2022-07-24 19:51:57 -04:00 |
|
Kasey White
|
0bf93e59b5
|
add evaluation for terms
Co-authored-by: rvcas <x@rvcas.dev>
|
2022-07-24 19:51:57 -04:00 |
|
rvcas
|
795d9ee028
|
feat: clean up the machine a bit
|
2022-07-24 19:51:57 -04:00 |