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
0382e5ce12
chore: this comment doesn't make sense
2023-11-17 18:41:28 -05:00
df992cba67
chore: remove check_type
2023-11-17 13:58:13 -05:00
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
ed909055b5
chore: temp remove conformance tests that are failing
2023-11-15 15:55:56 -05:00
308fb47e40
fix: don't panic on invalid hex strings
2023-11-15 15:55:56 -05:00
dfa0378404
chore: explain a todo in the machine
2023-11-15 15:55:56 -05:00
3f8f624a7b
fix(uplc): more whitespace characters
2023-11-15 15:55:56 -05:00
58d98b3325
fix(uplc): parser should accept single quote in var name and comments
2023-11-15 15:55:56 -05:00
b6f6064aaf
test: add all plutus conformance tests
2023-11-15 15:55:56 -05:00
8b89ba3b93
feat: implement bls primitives in code gen
2023-11-15 15:55:56 -05:00
d51374aac1
feat: add conversion to data and from data for new primitive types
2023-11-15 15:55:56 -05:00
90aea6476a
feat: uplc g1 and g2 literal parsing
2023-11-15 15:55:56 -05:00
6ce85e1662
fix: add keccak to TryFrom<u8>
2023-11-15 15:55:56 -05:00
49ae8152f8
feat(bls): add new aiken level builtins
2023-11-15 15:55:56 -05:00
cdcd8172e6
feat(bls): pretty print mlresult type
2023-11-15 15:55:56 -05:00
318ae6aad4
feat(bls): finish cost model
2023-11-15 15:55:56 -05:00
5243c36ed6
feat(bls): add default costs for the new functions
2023-11-15 15:55:56 -05:00
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
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
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
7427bac4a0
chore: remove unused code
2023-11-06 15:37:04 -05:00
598ec5eaef
Use a better algorithm for inlining single occurrences
2023-11-06 15:37:04 -05:00
49bd4ba33d
chore: Release
2023-10-25 19:00:03 -04:00
4dd17dacf3
chore: rename uplc builder builtins
2023-10-22 17:08:48 -04:00
3e283a59ec
Split off builtin function builders
...
- sort alphabetically
- add some of the missing builtins used for ints
- comment on what is "correct" for future additions
- comment on the current remaining missing builtins
- comment on the current incoherent method names
2023-10-22 17:08:48 -04:00
17832fc5af
Fix clippy warnings: remove redundant closures & guards.
2023-10-21 21:27:31 +02:00
596ce49327
fix: mixed up operators for ConstAboveDiagonal and ConstBelowDiagonal
...
Closes #618
2023-10-13 11:40:07 -04:00
8964675670
feat: Add tracing for common multivalidator issues
2023-10-07 19:42:24 -04:00
9335522df4
Make change @ktorz suggested
2023-10-07 19:42:24 -04:00
98cb01413b
chore: prevent strings from being inlined and replicated
2023-10-07 19:42:24 -04:00
fb6cbbec8b
chore: Release
2023-09-29 22:08:09 -04:00
82ceb5b696
chore: Release
2023-09-29 19:39:28 -04:00
fb2ca0e3e0
inline is actually cheaper in a lot of cases
2023-09-29 17:47:39 -04:00
a2068ff062
fix: optmizer should never inline recursive functions
...
chore: some renames
2023-09-29 17:47:39 -04:00
335560b81f
Add placeholders for new terms in optimize
...
Update tests to check optimization is applied properly
2023-09-29 17:47:39 -04:00
5e2a78173b
optimization: increase the cases that inline_basic_reduce can handle
2023-09-29 17:47:39 -04:00
47596f0324
feat: Remove tuple_index and record_access in favor of faster more direct functions for
...
accessing an item in a tuple or a field in a record
2023-09-28 01:05:05 -04:00
ee4001d2c8
chore: Release
2023-09-20 18:03:46 +02:00
9782c094b7
Fix clippy suggestions.
2023-09-08 16:21:07 +02:00
819a0a20e6
add tests for case and constr
...
Fix a minor issue with decoding order
2023-09-03 11:52:49 -04:00
c9b01ab365
chore: fill in cost model
...
test: Add case and constr eval tests
2023-09-03 11:52:49 -04:00
85901dc141
chore: update cost model with placeholders for new terms to pass tests
2023-09-03 11:52:49 -04:00
40e1d39f8b
Add placeholders for cost model
2023-09-03 11:52:49 -04:00
33d6d3049e
add compute for the new terms constr and case
2023-09-03 11:52:49 -04:00
e566c4e1de
feat(uplc): add Case and Const terms
...
- parsering
- interning
- flat encoding and decoding
- pretty printing
- debruijn conversion
Co-authored-by: Lucas Rosa <x@rvcas.dev>
2023-09-03 11:52:49 -04:00
fb967d4c7b
fix: uplc formatter of Data closes #716
2023-08-31 17:20:48 -04:00
cd3a02416f
chore: rm unused pub function
2023-08-29 22:30:06 -04:00
756e16c14b
fix: rename assert to expect
2023-08-29 22:30:06 -04:00
b075d85b40
chore: Release
2023-08-24 15:05:12 -06:00
microproofs