microproofs
5d56d41a68
chore: update lock files for acceptance tests
2023-11-06 15:37:04 -05:00
microproofs
598ec5eaef
Use a better algorithm for inlining single occurrences
2023-11-06 15:37:04 -05:00
microproofs
68d9a21c6a
commit current lock files
2023-10-07 19:42:24 -04:00
microproofs
47596f0324
feat: Remove tuple_index and record_access in favor of faster more direct functions for
...
accessing an item in a tuple or a field in a record
2023-09-28 01:05:05 -04:00
microproofs
eb0b4dd6d8
update lock files
2023-09-25 21:16:19 -04:00
microproofs
b8737a1021
add one more test for unbound generics
2023-09-25 21:16:19 -04:00
rvcas
bc0824f4eb
chore: new aiken.lock files for examples
2023-09-13 18:17:40 -04:00
rvcas
f4d0f231d7
test: fix acceptance tests
2023-08-16 14:52:06 -04:00
microproofs
bfa4cc2efc
fix: some function dependency tree path was not being updated in order
...
fix: revert to old implicit way of casting to data for now
2023-08-07 12:02:44 -04:00
KtorZ
20f5baffa7
Enforce newline after assignment / clause.
...
This leads to more consistent formatting across entire Aiken programs.
Before that commit, only long expressions would be formatted on a
newline, causing non-consistent formatting and additional reading
barrier when looking at source code.
Programs also now take more vertical space, which is better for more
friendly diffing in version control systems (especially git).
2023-03-16 19:46:46 +01:00
Kasey White
5779b77ccc
fix: Had to also check for generic type in return of a function.
...
add check to prevent stack overflow error
Add panic to prevent any other occurrences of stack overflow
2023-03-02 21:49:20 -05:00
KtorZ
451d9d8493
Add new acceptance test scenario: 068
...
Stack overflow happening during code generation.
2023-03-02 21:49:20 -05:00