aiken/crates/uplc/src
Kasey 4ea6fdffe8
Aiken UPLC Optimization overhaul (#1052)
* Refactor and structuring optimizations to be less computationally heavy

* Forgot to commit the new file containing the optimization do over

* Point to correct functions in shrinker2

* Split out inline_constr_ops since it adds in builtins that can then be swept up by the builtin force reduction

* Fix: issue where identity reducer was always returning true

* Forward inlining on lambdas produces better results. This is due to a forward pass being able to apply an argument that may have no_inline at the top where as vice-versa would reduce the arg first.

* Clippy and test fixes

* Clear no_inlines when inlining a function

* Convert shrinker2 to replace shrinker and update tests
2024-11-13 15:08:36 -05:00
..
debruijn fix issue with same names causing 0 index debruijn for var 2022-06-26 21:38:27 -04:00
machine Remove dead-code and clarify note. 2024-10-19 11:00:46 +02:00
optimize Aiken UPLC Optimization overhaul (#1052) 2024-11-13 15:08:36 -05:00
parser update tests and fix final unique issues 2024-03-04 10:52:56 -05:00
tx Fix latest clippy warnings. 2024-10-25 11:27:28 +02:00
ast.rs Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
builder.rs Ensure uniqueness of intermediate variables in expect_type_assign 2024-09-01 18:10:15 +02:00
builtins.rs Rename mk_nil_data, mk_pair_data & mk_nil_pair_data builtins. 2024-08-23 10:39:37 +02:00
debruijn.rs feat(uplc): add Case and Const terms 2023-09-03 11:52:49 -04:00
flat.rs Format fix 2024-09-20 13:52:09 -04:00
lib.rs Fix script context translations for withdrawals and validity intervals. 2024-08-13 23:43:47 +02:00
machine.rs IntegerToByteString takes in the second param itself 2024-10-17 20:01:01 -04:00
optimize.rs Aiken UPLC Optimization overhaul (#1052) 2024-11-13 15:08:36 -05:00
parser.rs Implement new costing function for {divide,quotient,mod,remainder}_integer 2024-08-14 02:50:05 +02:00
pretty.rs Upgrade pallas to v0.0.29, and start support for simulating transactions carrying Plutus v3 scripts. 2024-08-13 10:55:22 +02:00
tx.rs Provide default annotation to validators (incl. fallback) 2024-08-25 17:12:11 +02:00