rvcas
5f8b252783
fix: adjust comment formatting in pipelines closes #985
2024-12-30 22:33:13 -05:00
rvcas
c1871768f8
feat: remove plutus v1,v2 from aiken.toml closes #1032
2024-12-25 22:52:08 -05:00
KtorZ
22172069f8
chore: Release
2024-12-13 16:44:12 +01:00
KtorZ
da1c478b2f
chore: Release
2024-12-13 15:22:10 +01:00
KtorZ
67bf64967b
rename 'constr_{fields,index}' to 'unconstr_{field,index}'
...
Better match the conventions so far used across the existing builtins.
2024-12-13 15:18:20 +01:00
microproofs
f0fc7b4d5f
Clippy fix
2024-12-13 14:18:18 +07:00
microproofs
463b88413e
feat: new builtins constr_index and constr_fields for alternative fast ways to take apart Data
2024-12-13 14:15:19 +07:00
microproofs
ebc7d89d5d
Comment out ExpModInteger since it's not live on testnets yet
2024-12-08 14:29:58 +07:00
KtorZ
1105dbf3c6
enable new builtins (*with gotcha)
...
We still need to adjust the writeBits one to work around its list<int> argument.
2024-12-07 15:43:38 +01:00
KtorZ
d3344528b3
add type signatures for new builtins.
2024-12-07 15:43:38 +01:00
KtorZ
1f1e68712c
add type signatures for new builtins.
2024-12-07 14:25:12 +01:00
microproofs
5cf3275793
Detect difference in cost model length to maintain compatability with mainnet and testnet
2024-12-05 11:03:41 +07:00
microproofs
befbb6ec18
Start adding implementation for new builtins
2024-12-05 11:03:41 +07:00
Kasey
86ec3b2924
Fix: issue crash in code gen with incorrect column length in decision trees ( #1069 )
...
* Fix: Deeply nested assignments would offset the new columns count calculation. Now we track relevant columns and their path to ensure each row has wildcards if they don't contain the relevant column
* Add test plus clippy fix
* Clippy fix
* New version clippy fix
2024-12-05 11:02:19 +07:00
KtorZ
e2fb28b4ce
chore: Release
2024-11-19 15:55:23 +01:00
KtorZ
b5047d623a
Update to pallas=0.31.0
2024-11-19 14:53:36 +01:00
microproofs
eec08fcbd9
Fix scoped path for list with tail cases only plus wild card fallback
2024-11-18 12:22:08 -05:00
microproofs
18054eed1a
chore: Release
2024-11-13 15:17:53 -05:00
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
KtorZ
10c1b46bf7
Bump minimum rust version everywhere to 1.70.0
2024-11-13 19:38:57 +01:00
KtorZ
fafb89d838
Prevent ANSI colors & styles to appear in JSON output.
2024-11-13 12:52:12 +01:00
microproofs
e87d7a1101
Fixing unit tests
2024-11-01 19:34:57 -04:00
microproofs
d39d70a5d8
More clippy fix
2024-11-01 19:34:56 -04:00
microproofs
1227a8a7db
Clippy fix
2024-11-01 19:34:55 -04:00
microproofs
6b04a78e78
Removing unneeded Air terms and reduce by about 800 lines
2024-11-01 19:34:54 -04:00
microproofs
1bc15f78ea
Finished up remaining touches to the implementation. Now I need to finish unit tests and add a few more
2024-11-01 19:34:54 -04:00
microproofs
a4aaf4d2d7
Last issue from acceptance tests
2024-11-01 19:34:53 -04:00
microproofs
27bf40260e
Fix pairs not being unwrapped when wrapped as fields
2024-11-01 19:34:53 -04:00
microproofs
25e4b42cd0
Fix more tests and issues
2024-11-01 19:34:53 -04:00
microproofs
6e94d502a7
Fix more tests and issues
2024-11-01 19:34:53 -04:00
microproofs
7655a6ecbe
Fix test issues
2024-11-01 19:34:52 -04:00
microproofs
b4d142ca9d
Fix assigns sometimes having free uniques
2024-11-01 19:34:52 -04:00
microproofs
fa203ba9a2
Done with list pattern translation. Now to fix up tests
2024-11-01 19:34:52 -04:00
microproofs
8591bedc1e
Finish up list pattern translation to air
2024-11-01 19:34:52 -04:00
microproofs
1a15440d24
Checkpoint for today
2024-11-01 19:34:52 -04:00
microproofs
9dbe66bc0c
Producing uplc now. Just need to finish ListSwitch
2024-11-01 19:34:51 -04:00
microproofs
342676f530
Continue work on integrating the decision tree into code gen
2024-11-01 19:34:51 -04:00
microproofs
61184fbb86
Use Stick breaking set to track previously encountered values for each DecisionTree switch case
2024-11-01 19:34:51 -04:00
microproofs
5eac774443
Commit latest changes so far
2024-11-01 19:34:50 -04:00
microproofs
753b41dc99
Done with hoisting. Now to use it in gen_uplc. I hate RcDoc btw :'/
2024-11-01 19:34:50 -04:00
microproofs
9601c1034b
Leave todo message for tomorrow
2024-11-01 19:34:49 -04:00
microproofs
7966cc0165
Finish up decision tree and rework it a bit to closely follow how the paper handles wild card patterns
2024-11-01 19:34:48 -04:00
microproofs
3b3fcb666f
Finish with adding constrs
2024-11-01 19:34:48 -04:00
microproofs
ecf4592be1
Pass in interner and data types map into decision tree builder
2024-11-01 19:34:47 -04:00
microproofs
64f7886b23
Finished up creating the decision tree for lists. Only constr left.
2024-11-01 19:34:47 -04:00
microproofs
b340de2cfd
Incremental commit for dealing with list tails
2024-11-01 19:34:47 -04:00
microproofs
ca161d8a68
Continue work on handling lists with tails pattern matching
2024-11-01 19:34:46 -04:00
microproofs
def268d966
Now working for all kinds of patterns except for constr
2024-11-01 19:34:46 -04:00
microproofs
9369cbc1a3
Remove some warnings
2024-11-01 19:34:46 -04:00
microproofs
43e859f1ba
Rework Decision Trees to use path to find the subject to test
2024-11-01 19:34:46 -04:00
