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

3371 Commits

Author SHA1 Message Date
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
KtorZ a18af83786
Add acceptance tests #114 
Demonstrate what seems to be the creation of an infinite recursion in the produced UPLC.
 2024-10-13 13:40:25 +02:00
microproofs 5fd349f571
Remove an unused opcode 2024-10-08 20:32:56 -04:00
microproofs 5d4b3e69b9
Revert "Start working on using a decision tree for when expr. Also fmt fix" 
This reverts commit e8f74985d5.
 2024-10-08 13:33:05 -04:00
microproofs e8f74985d5
Start working on using a decision tree for when expr. Also fmt fix 2024-10-08 13:30:29 -04:00
KtorZ c7ae161a39
Mention quirks about gnu/musl linux artifact in the release guidelines. 2024-10-02 12:08:01 +02:00
KtorZ 79d0e45099
Don't mark openssl dependencies as optional on musl. 2024-10-02 11:32:17 +02:00
KtorZ f4dbe1624a
Use target_os = linux instead. 2024-10-02 10:59:50 +02:00
KtorZ 19fe1d37e7
Make bundling of ssl conditionned by target environment instead of feature flag. 2024-10-02 10:51:21 +02:00
KtorZ b0cad2bf1d
Update cargo-dist to v0.22.1 
Necessary to make use of the custom github build steps.
 2024-10-02 10:27:00 +02:00
KtorZ 5204831bac
Fix superfluous toml key in Cargo.toml. 2024-10-02 10:14:27 +02:00
KtorZ 538181f145
Move custom musl build instructions under generic cargo-dist configs. 2024-10-02 10:12:18 +02:00
KtorZ 31819fe197
Define custom build setup for musl target. 2024-10-02 10:05:39 +02:00
microproofs 356d845a9a
chore: Release 2024-10-01 16:14:25 -04:00
microproofs e4e8ca8a6d
Update changelog 2024-10-01 16:13:33 -04:00