waalge/aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
2,177 Commits 8 Branches 0 Tags
89e518f8784c932fa11fd800b1901ca683ca0364
Commit Graph

28 Commits

Author SHA1 Message Date
microproofs
1567e42875 chore: fill in machine todos and cost model for case and constr 
This allows for several more tests to pass
**Had to remove case-7 since it was incorrectly passing before**
 2023-11-17 19:52:03 -05:00
microproofs
18db1c394a feat: Implemented builtin semantic versioning 
feat: impl flat serialization and deserialization for bls constants
feat: started on cost models for the new builtins

Co-authored-by: rvcas <x@rvcas.dev>
 2023-11-15 15:55:56 -05:00
microproofs
0d2ac952d0 feat: implemented the Bls381-12 builtins and types 
also implemented Keccak256 and Blake2b_224

TODO: cost model, flat serialization, pretty

Co-authored-by: rvcas <x@rvcas.dev>
 2023-11-15 15:55:56 -05:00
rvcas
1fb31e246c fix: better conditional comp for wasm 2023-05-11 16:59:54 -04:00
rvcas
4f1d14f2a0 feat: introduce miette into uplc 2023-03-08 10:19:35 +01:00
rvcas
c1d67e95e1 feat: fix errors and add tests for BigInt changes 2023-02-09 15:01:30 -05:00
rvcas
08e8347317 chore: rename feature flag to native-secp256k1 2023-02-07 00:25:22 -05:00
rvcas
67a2674d27 feat: allow verify functions to build for wasm 2023-02-07 00:25:22 -05:00
rvcas
09d8d683b6 fix: switch to error from secp256k1 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
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
alessandrokonrad
0856f6ccf2 added checked operators to some DefaultFunction 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
9e280f9cb5 feat: rename transaction eval and add error enum 2022-09-18 15:35:10 -04:00
Kasey White
c88e5df8b1 finish up builtin implementations for Vasil 2022-08-30 18:15:50 -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
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
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
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