waalge/aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
3,239 Commits 8 Branches 0 Tags
05264bc423e1e25e6016e4e77aa4585cd0892145
Commit Graph

3239 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
microproofs
634b2e0f79 Next test 2024-11-02 17:16:03 -04:00
microproofs
d350bc1935 Change another test 2024-11-02 14:45:58 -04:00
microproofs
362eb75329 Continue updating tests 2024-11-01 19:34:58 -04: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
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