8a461d5bd5
Few minor changes, clippy fixes, and test fixes
2024-08-08 00:39:44 -04:00
d7e9fef4d3
Create new helper functions to take care of force and delaying branch terms
2024-08-08 00:39:44 -04:00
23a3134642
Rework choose_data_xxx API to include force/delay inside functions.
2024-08-08 00:39:44 -04:00
021679b8ac
Force unwrap_xxx_or inside function body
...
Otherwise, it becomes the responsibility of the caller to force the result; which may be easily forgotten.
2024-08-08 00:39:44 -04:00
a132a2e486
Fix unwrap issues
2024-08-08 00:39:44 -04:00
93a141bfa4
Test and fix 'unwrap_void_or'
2024-08-08 00:39:44 -04:00
49ddcccd12
Revert checking for negative constr on bool
...
It is impossible to serialize/deserialize a Data with a negative
constructor. So the only way this can happen is by programmatically
construct a value using builtin constr_data.
While possible, it is entirely at the responsibility of the
programmer, but not malleable from an attacker who can only provide
values as 'Data' (and thus, must be decoded like others).
2024-08-08 00:39:44 -04:00
aefbc6e1b9
Define a safer API for unwrap_xxx_or and choose_data_xxx
...
Cloning a 'Term' is potentially dangerous, so we don't want this to
happen by mistake. So instead, we pass in var names and turn them into
terms when necessary.
2024-08-08 00:39:44 -04:00
846c16087e
Test (and fix) unwrap_or helpers.
2024-08-08 00:39:44 -04:00
ea8003af8f
Fix bool soft-casting.
...
While the ledger doesn't allow deserializing negative constr value,
they are still possible at the machine level. So, we better make sure
that we don't make assumptions regarding this.
2024-08-08 00:39:44 -04:00
9610237616
Refactor unknown_data_to_type, break down into smaller functions.
2024-08-08 00:39:44 -04:00
c3a61706b5
Factor out common UPLC logic for converting Data to Bool.
2024-08-08 00:39:44 -04:00
0be5229f1c
Only 2 errors and todos left to finish
2024-08-08 00:39:44 -04:00
4645257e62
Prune pallas dependencies.
...
Using 'pallas' as a dependency brings utxo-rpc other annoying dependencies such as _tokyo_. This not only makes the overall build longer, but it also prevents it to even work when targetting wasm.
2024-08-03 14:14:49 +02:00
643e43f8aa
Fix zero-arg builtins invokations.
...
There are currently two zero-arg builtins:
- mkNilData
- mkNilPairData
And while they have strictly speaking no arguments, the VM still
requires that they are called with an extra unit argument applied.
2024-08-02 00:17:16 -04:00
b28d4a6e9f
Add input reference to ReferenceInputNotFound error.
...
Fixes #974 .
2024-08-01 15:29:39 +02:00
4645fd3e28
chore: Release
2024-07-25 08:28:15 -04:00
49190b485a
chore: Release
2024-07-25 09:58:06 +02:00
c286ada08d
clippy fix
2024-07-24 11:29:55 -04:00
dfce9c1d96
feat: Add multivalidator as an AIR tree opcode.
...
feat: Add uplc eval optimization
2024-07-24 10:00:08 -04:00
4bd9125b86
Fix delay of arguments to be exactly the same as codegen tests
2024-06-25 18:50:00 -04:00
216dab99d4
chore: Release
2024-06-06 11:19:34 +02:00
28515e70ec
Merge pull request #950 from hadelive/k256-error
...
Fix k256 error does not implement clone
2024-05-30 13:42:57 +02:00
740e140c89
fix: custom k256 error
2024-05-30 16:13:51 +07:00
b367ec2113
fix: fmt check
2024-05-30 16:09:32 +07:00
ad3c9f24b7
chore: minimal pallas dependencies
2024-05-30 15:09:05 +07:00
338fc0eba6
chore: Release
2024-05-23 16:45:10 -04:00
ff50d4d2cf
chore: Release
2024-05-23 16:23:59 -04:00
8e0f32a577
Fix negative evaluation costs
...
Whoopsie.
2024-05-23 11:21:47 +02:00
3d06129d9b
add test for curry optimization that is a reduced case of #945
2024-05-22 15:46:32 -04:00
d6cc450ce4
The actual issue with #945 is that the curry builtin reducer could sometimes place fully applied builtins that could evaluate and fail above where they were actually used. This happened with builtins that were called with the same constants enough times for the curry builtin to try hoist to a higher scope. This is now fixed by detecting which builtins are safe to evaluate in advance before we hoist fully applied builtins
2024-05-22 15:22:31 -04:00
c16bd06e97
make sure traverse_uplc_with_helper is always passing the arg to lambda before running the with function.
...
Breaks #945 again
2024-05-22 11:58:05 -04:00
489eff7f5b
Closes #945
...
Switch to depth first optimization passes instead of breadth first for inlining. Need to think more on how to do breadth first optimization passes
2024-05-21 17:12:57 -04:00
e28b0df840
fix: add v3 mapping for builtin semantics relates to #907
2024-05-21 17:06:18 -04:00
f306f1715a
feat: use plutus version in address command
...
relates to #907
2024-05-21 17:04:25 -04:00
3bc3792aa3
feat: add plutus version to aiken.toml
...
relates to #907
2024-05-21 17:02:20 -04:00
f8ce46d0f4
chore(ci): run cargo dist init
2024-05-08 11:05:30 -04:00
945a3f743b
feat: builtin wrapper reduction optimization
2024-04-26 19:24:04 +02:00
9d49be46b8
chore: add some docs to the uplc crate
2024-04-08 14:30:07 -04:00
21b1e29f09
chore: clippy fix
2024-03-27 16:39:52 -04:00
075668b52e
chore: Release
2024-03-25 22:09:37 -04:00
4e8042fd06
chore: Release
2024-03-22 16:10:17 +01:00
fe6710935d
feat: impl serde on errythang
2024-03-08 19:19:07 -05:00
94f383762c
step up the optimizations a bit more by inlining a small function
2024-03-08 00:12:44 -05:00
1edd1a1fa3
change currying to happen with 3 or more occurrences
2024-03-08 00:12:44 -05:00
e9122de061
more identity reduce testing
2024-03-08 00:12:44 -05:00
dabaae8ca6
more identity and inline tests
2024-03-08 00:12:44 -05:00
97b0cf6813
reorganize shrinker tests
2024-03-08 00:12:44 -05:00
eb709d6fc3
reorder tests to match order of functions
2024-03-08 00:12:44 -05:00
bff822ea7f
Rework unit test report to leverage new reification
...
And also provide slightly better errors when traces, or trace-if-false operators are present.
2024-03-07 01:20:40 +01:00
microproofs