waalge
/
aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
3,135 Commits 8 Branches 0 Tags 14 MiB
Commit Graph

3135 Commits

Author SHA1 Message Date
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
microproofs 20385a7ecd
Handle tuples and pairs properly now 2024-11-01 19:34:45 -04:00
microproofs 97ee1a8ba6
Start working on using a decision tree for when expr. Also fmt fix. Other Stuff 2024-11-01 19:34:45 -04:00
KtorZ 2489e0fdd0
Fix aiken docs constant generation 
Fixes #1048.
 2024-10-29 14:15:31 +01:00
KtorZ 2b7ca0e4a1
Avoid unsafe unwrap of line_numbers, gracefully handle non-existing matches 
Fixes #1044.
 2024-10-25 11:37:50 +02:00
KtorZ 93d0191489
Fix latest clippy warnings. 2024-10-25 11:27:28 +02:00
KtorZ e97fe332b1
Rename --filter_traces to --trace_filter 
It has somehow always annoyed me that we have --trace_level (with 'trace' first) and --filter_traces (with traces, plural and last). Given that these two options are almost always used together, the inconsistency is frustrating.
 2024-10-25 11:08:05 +02:00
KtorZ 8e90a933c6
Add better METAVAR info to some command-line flags. 2024-10-25 11:04:46 +02:00
KtorZ 7c4e044423
Rename --blueprint-input to --in 
The context is indeed sufficient as pointed by @nemo83; no need to make the cli needlessly verbose.
 2024-10-25 11:04:46 +02:00
Matthias Benkort f42cd83f10
Merge pull request #1047 from aiken-lang/riley/update-changelog 
Updated Changelog
 2024-10-25 10:42:53 +02:00
Riley-Kilgore ab39eb82ce Updated changelog again, forgot to put my name 2024-10-24 14:31:48 -07:00
Riley-Kilgore 413932d86b Updated Changelog 2024-10-24 11:47:34 -07:00
Riley-Kilgore 8d8f91b76e Add blueprint file input as option for blueprint apply 2024-10-24 14:01:48 -04:00
microproofs a7741ec286
chore: Release 2024-10-19 13:45:54 -04:00
microproofs 3e076dd895
Update changelog for 1.1.5 2024-10-19 13:44:22 -04:00
KtorZ b3e6c3ab6b
Fill-in CHANGELOG. 2024-10-19 11:04:18 +02:00
KtorZ b04bb40532
Merge branch 'integer-to-bytearray-cost-fix' 2024-10-19 11:03:37 +02:00
KtorZ 365b3bf5bf
Remove dead-code and clarify note. 2024-10-19 11:00:46 +02:00
KtorZ 7f13fca1a4
Revert "Add acceptance tests #114" 
This reverts commit a18af83786. The test
case has proven to be an ill-formed scenario with a genuine infinite
recursion.
 2024-10-19 10:52:37 +02:00
KtorZ 4b95db4f88
Fix data-type reification from Void 2024-10-19 10:50:44 +02:00
KtorZ 523b270a8f
Adjust telemetry output log. 2024-10-19 10:40:30 +02:00
microproofs 53685dd1d5
Update cost model to properly calculate integer_to_bytearray 
Also fix conformance tests to match plutus
 2024-10-18 13:07:51 -04:00
microproofs 9dd3ead3df
IntegerToByteString takes in the second param itself 2024-10-17 20:01:01 -04:00