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

517 Commits

Author SHA1 Message Date
Niels Mündler
b6acdde552 Use to_i64 for clarity 2023-12-19 12:20:10 -05:00
Niels Mündler
d06f2f6008 Formatting 2023-12-19 12:20:10 -05:00
Niels Mündler
eefd26c6fa Add acceptance tests for this tricky case 2023-12-19 12:20:10 -05:00
Niels Mündler
fb56700bde Fix and re-enable pretty print test for bigint 2023-12-19 12:20:10 -05:00
Niels Mündler
89e518f878 Deduplicate code 2023-12-19 12:20:10 -05:00
Niels Mündler
ba76c1d2cf Adjust acceptance tests and fix IData and UData 2023-12-19 12:20:10 -05:00
Niels Mündler
022503e254 Fix to_pallas_bigint 2023-12-19 12:20:10 -05:00
Niels Mündler
1b1636ab0e Fix parsing of negative bigint 2023-12-19 12:20:10 -05:00
Niels Mündler
0cfcd78039 Use more clear functions 2023-12-15 21:59:57 -05:00
Niels Mündler
8c619954d3 Add conformance test for big ints 2023-12-15 21:59:57 -05:00
Niels Mündler
ceb6d63e95 Add parsing for big builtins 2023-12-15 21:59:57 -05:00
microproofs
6a10be3e82 chore: remove redundant clone 2023-12-15 21:58:02 -05:00
microproofs
a0ec92897b chore: clean up pr 2023-12-15 21:58:02 -05:00
microproofs
2cd1379aec for now comment out curry code so the rest of the changes 
can be merged to main
 2023-12-15 21:58:02 -05:00
microproofs
c0c9f2f432 commit latest changes 2023-12-15 21:58:02 -05:00
microproofs
058a190294 feat: implement curried tree pruning 2023-12-15 21:58:02 -05:00
microproofs
51079b8590 fix: builtin_force_reducer wasn't handling double forces correctly 2023-12-15 21:58:02 -05:00
microproofs
4015550f55 start testing the first stage of currying builtins 2023-12-15 21:58:02 -05:00
microproofs
249581e1bc chore: continuing progress on implementing currying optimization for builtins 
Introduced some new abstractions to make a different number of args easier to deal with
 2023-12-15 21:58:02 -05:00
microproofs
8fdedb754e chore: continue more on curry optimizations 2023-12-15 21:58:02 -05:00
microproofs
88e21449c5 chore: comment fixes 2023-12-15 21:58:02 -05:00
microproofs
5c688b1404 Feat: refactor optimizations to use tree traversal algorithm 
This makes each optimization a single function that acts on an existing tree traversal function
 2023-12-15 21:58:02 -05:00
Niels Mündler
b25e82ed36 Handle errors and format 2023-12-08 12:19:22 -05:00
Niels Mündler
772e73ae48 Fix parsing of hex encoded escaped bytes 2023-12-08 12:19:22 -05:00
Niels Mündler
3ac35f4e00 Make sure that new issue is covered by testcase 2023-12-08 12:19:22 -05:00
Niels Mündler
d0bc782f75 Fix pretty prenting of strings in complex data structures 2023-12-08 12:19:22 -05:00
rvcas
2647e4aae6 chore: Release 2023-12-04 22:14:03 -05:00
rvcas
0a1e0d7bee feat: remove flat-rs crate and use it through pallas_codec 2023-12-04 22:01:51 -05:00
rvcas
b17b7f287c chore: update to pallas v0.20.0 2023-12-04 21:44:19 -05:00
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
rvcas
0382e5ce12 chore: this comment doesn't make sense 2023-11-17 18:41:28 -05:00
rvcas
df992cba67 chore: remove check_type 2023-11-17 13:58:13 -05:00
rvcas
9ab458dcc6 feat: delay typemismatch errors in the machine runtime 
to pass 2 of the conformance tests, we need to make sure
that we aren't typechecking builtin arguments as arguments
are applied. This switches push to by removing the call to check_type
and then reworking all the associated unwrap methods on Value
so that they return the same errors that were being returned before.
 2023-11-17 13:58:13 -05:00
rvcas
ed909055b5 chore: temp remove conformance tests that are failing 2023-11-15 15:55:56 -05:00
rvcas
308fb47e40 fix: don't panic on invalid hex strings 2023-11-15 15:55:56 -05:00
rvcas
dfa0378404 chore: explain a todo in the machine 2023-11-15 15:55:56 -05:00
rvcas
3f8f624a7b fix(uplc): more whitespace characters 2023-11-15 15:55:56 -05:00
rvcas
58d98b3325 fix(uplc): parser should accept single quote in var name and comments 2023-11-15 15:55:56 -05:00
rvcas
b6f6064aaf test: add all plutus conformance tests 2023-11-15 15:55:56 -05:00
microproofs
8b89ba3b93 feat: implement bls primitives in code gen 2023-11-15 15:55:56 -05:00
microproofs
d51374aac1 feat: add conversion to data and from data for new primitive types 2023-11-15 15:55:56 -05:00
rvcas
90aea6476a feat: uplc g1 and g2 literal parsing 2023-11-15 15:55:56 -05:00
rvcas
6ce85e1662 fix: add keccak to TryFrom<u8> 2023-11-15 15:55:56 -05:00
rvcas
49ae8152f8 feat(bls): add new aiken level builtins 2023-11-15 15:55:56 -05:00
rvcas
cdcd8172e6 feat(bls): pretty print mlresult type 2023-11-15 15:55:56 -05:00
rvcas
318ae6aad4 feat(bls): finish cost model 2023-11-15 15:55:56 -05:00
rvcas
5243c36ed6 feat(bls): add default costs for the new functions 2023-11-15 15:55:56 -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
rvcas
f101581813 feat(bls): pretty printing for g1 and g1 element 
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
 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