waalge/aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1,028 Commits 8 Branches 0 Tags
09d8d683b6016f88b195e914c2829d950118950d
Commit Graph

59 Commits

Author SHA1 Message Date
rvcas
09d8d683b6 fix: switch to error from secp256k1 2023-02-04 22:07:56 -05:00
rvcas
c2ff9389c5 feat(runtime): implement verifyEcdsaSecp256k1Signature 2023-02-04 22:07:56 -05:00
rvcas
d224fe5356 feat(runtime): set force count and arg typechecking for the elliptic curve builtins 2023-02-04 22:07:56 -05:00
rvcas
fb37521857 feat: make a transparent machine error for signature::Error 2023-02-04 22:07:56 -05:00
Kasey White
3123ad9079 change eval_builtin_app to return Rc so that ifthenelse and chooselist are faster 2023-02-01 18:53:11 -05:00
Kasey White
456b08a205 minor performance improvements 
Changed a couple cases where the inner Rc object was cloned to use the Rc object instead
 2023-02-01 18:53:11 -05:00
rvcas
a365649360 chore: clippy autofix 2023-02-01 18:53:11 -05:00
rvcas
9c4e921e79 feat: more Rc in machine 2023-02-01 18:53:11 -05: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
Kasey White
afd040fda5 feat: Finish up assert feature 
Better error reporing on NonFunctionalApplication Error
Refactor redundant code
Add handling of whens with one clause.
 2023-01-29 05:21:55 -05:00
Kasey White
b0ea187151 better data deserialization errors and test hint 
now runs even being in a sequence
 2022-12-30 14:01:11 -05:00
rvcas
141a9aef30 feat: impl Sub for ExBudget 2022-12-08 19:24:20 -05:00
Kasey White
2f7131e9b8 feat: add tuples and streamline conversion of types to and from data 2022-12-07 08:40:23 -05:00
alessandrokonrad
ad542a68e8 removed unnecessary return statement 2022-10-17 08:35:45 -04:00
alessandrokonrad
0856f6ccf2 added checked operators to some DefaultFunction 2022-10-17 08:35:45 -04:00
alessandrokonrad
cfc1f92646 leave as i128 2022-10-17 08:35:45 -04:00
alessandrokonrad
28b9fed8e5 added i128 integer support 2022-10-17 08:35:45 -04:00
alessandrokonrad
f3b9d33f32 added deserialisation error to machine 2022-09-27 09:13:00 -04:00
rvcas
4166e27fd7 chore: v1 comments 2022-09-24 19:52:40 -04:00
rvcas
9e280f9cb5 feat: rename transaction eval and add error enum 2022-09-18 15:35:10 -04:00
rvcas
68fc0f643e feat: add some v1 methods so that cost_mdls can be optional 2022-09-18 15:16:41 -04:00
Kasey White
dac25b6f41 fix cpu mem mix up on steps 2022-09-18 04:15:30 -04:00
Kasey White
472cea6c41 parameratize cost model 2022-09-17 21:12:48 -04:00
rvcas
348ed3b719 fix: changes from pallas bump 
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
 2022-09-14 22:00:52 -04:00
rvcas
336af376e1 chore: bump pallas version 2022-09-14 18:52:42 -04:00
Kasey White
c88e5df8b1 finish up builtin implementations for Vasil 2022-08-30 18:15:50 -04:00
Kasey White
65b133251a change pretty vars and handle larger range of cbor tags 2022-08-29 14:07:13 -04:00
Kasey White
833914c80c done with data builtins 2022-08-29 14:07:13 -04:00
Kasey White
368cd4ad55 one more data builtin to go 2022-08-29 14:07:13 -04:00
Kasey White
00cc9f93d5 start making data with builtins 2022-08-29 14:07:13 -04:00
Kasey White
1a09a34873 mknil builtins 2022-08-29 14:07:13 -04:00
Kasey White
c34344ce21 add a few additional data builtins 2022-08-29 14:07:13 -04:00
Kasey White
c9c8e6e554 add unmap and other builtins to deconstruct data 2022-08-29 14:07:13 -04:00
Kasey White
73e367ad53 add a data builtin and do ex_mem for pairs, list, data 2022-08-29 14:07:13 -04:00
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