waalge/aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
2,234 Commits 8 Branches 0 Tags
bf96c3afd268c0fad8654755d3a1bb5d889e97d8
Commit Graph

64 Commits

Author SHA1 Message Date
KtorZ
e67d5863a1 Introduce 'compact' trace level verbosity 
For now, it only shows the span start. We'll change that in the next commit to show a line number and a column.
 2024-01-19 14:30:15 +01:00
KtorZ
d27ea98a8f Rework tracing arguments to --keep-traces & --trace-level 
This allows for a more fine-grained control over how the traces are showed. Now users can instrument the compiler to preserve only their user-defined traces, or the only the compiler, or all, or none. We also want to add another trace level on top of that: 'compact' to only show line numbers; which will work for both user-defined and/or compiler-generated traces.
 2024-01-19 14:30:15 +01:00
microproofs
06672fce05 add new test 2024-01-13 19:29:34 -05:00
microproofs
394cac86b8 feat: expect on a type now can take in a msg when in trace mode 2024-01-04 16:03:51 -05:00
microproofs
4fc65cc600 feat: change expect from data on constrs to take in a message term 2024-01-04 16:03:51 -05:00
microproofs
43e84d7af7 fixing gen_uplc tets 2024-01-04 16:03:51 -05:00
microproofs
412945af3a update aiken code gen test 2024-01-04 16:03:51 -05:00
microproofs
71cfb6f6af feat: Add specific messages for using expect with booleans 
TODO: fill out the rest of the expects with messages
 2024-01-04 16:03:51 -05:00
microproofs
446ef11606 chore: finishing acceptance test 29 
and updating acceptance test lock files
 2023-11-08 14:31:44 -05:00
microproofs
d50fb99b75 feat: add acceptance tests 28-30 2023-11-08 14:31:44 -05:00
microproofs
4dd17dacf3 chore: rename uplc builder builtins 2023-10-22 17:08:48 -04:00
microproofs
a86f08c6d1 update tests for new trace reduction 2023-10-07 19:42:24 -04:00
microproofs
44021cde19 Detect when fields_expose is unnecessary in clause_pattern 2023-10-07 19:42:24 -04:00
microproofs
8a1c824dd7 chore: add specific error for when the validator returns false 2023-10-04 11:08:22 -04:00
microproofs
335560b81f Add placeholders for new terms in optimize 
Update tests to check optimization is applied properly
 2023-09-29 17:47:39 -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
5b018b7c07 test: add a test around a tuple of constructors when with many conditions 2023-09-20 16:20:42 -04:00
rvcas
d808197507 chore: clippy fix 2023-09-13 18:17:59 -04:00
microproofs
baa6917af5 Fix: Change type map length assert to check for greater than equals instead of equals to argument length 2023-08-29 21:59:15 -04:00
microproofs
084b900b2a change: traverse_with_tree now has a boolean to determine when with is called 
fix: Opaque types are now properly handled in code gen (i.e. code gen functions, in datums/redeemers, in from data casts)
chore: add specific nested opaque type tests to code gen
 2023-08-19 20:07:37 -04:00
microproofs
c95f43ae07 add one more test 2023-08-16 21:59:25 -04:00
microproofs
20aa54b5ca fix: last test fixed 2023-08-16 21:59:25 -04:00
microproofs
2456801b17 fix list clauses with guards and add more tests 2023-08-16 21:59:25 -04:00
microproofs
eda388fb29 test(aiken-lang): add a new test for list edge case in when clause patterns 2023-08-08 20:47:35 -04:00
microproofs
367dabafb5 fix: update last 2 tests for new recursion optimization 2023-08-07 19:06:00 -04:00
Pi Lanningham
f464eb3702 Cargo fmt + clippy, with latest rust 2023-08-07 19:00:39 -04:00
microproofs
90c7753201 update tests for new recursion optmization 2023-08-07 19:00:39 -04:00
microproofs
1d9878c5ee fix: code gen tests now up to date using trace 
fix: Formatter should take ErrorTerm and return "fail"
fix: fail with no reason should just return ErrorTerm
 2023-08-07 12:02:44 -04:00
microproofs
624fdee9ea keep traces in tests 2023-08-07 12:02:44 -04:00
microproofs
49a0a91103 fix tests again 2023-08-07 12:02:44 -04:00
microproofs
5aecb96668 constants are back. I had broke them when switching how data casting works 2023-08-07 12:02:44 -04:00
microproofs
4e3ced5b75 fix and clean up tests and handle 
one edge case on rearrange clauses
 2023-08-07 12:02:44 -04:00
microproofs
018453f6b1 fix expect on tuple type using the wrong internal type 2023-08-07 12:02:44 -04:00
microproofs
f03ed41e03 fix some unnecessary lambdas in assign 2023-08-07 12:02:44 -04:00
microproofs
03dd13dc7d fixing list condition edge cases and clean up rearrange list clauses 2023-08-07 12:02:44 -04:00
microproofs
58b327e5b3 fixing bugs and edge cases 2023-08-07 12:02:44 -04:00
microproofs
5bcc425f0f feat: changed air expressions clause guard 
and list clause guard to air statements
 2023-08-07 12:02:44 -04:00
rvcas
1ab1ff9a1f feat: rename error to fail 2023-07-12 09:16:37 -04:00
microproofs
db369da96e feat: Make traces produced by expect dependent on 
the value of the tracing flag.
 2023-06-23 14:03:23 -04:00
microproofs
e1f788b628 chore: commit tests first 2023-06-19 21:43:38 -04:00
microproofs
e72a9f8e0b chore: rearrange code gen test order 2023-06-14 13:12:49 -04:00
microproofs
1e0f7ea0ab fix: foldl test 2023-06-13 12:03:38 -04:00
microproofs
af36b5ac77 fixes: 
fix: Issue where using var pattern in a when was passing the constr index instead of the constr
fix: Issue where expecting on a list had unexpected behaviors based on list length
 2023-06-13 12:03:38 -04:00
microproofs
6609ab335c chore: add another test for field destructuring in a list 2023-06-02 13:00:09 -04:00
microproofs
6955f79035 chore: update changelog 
fix: Minor improvement to record update to use empty list instead of the null list from a record fields list.
 2023-06-01 12:22:42 -04:00
microproofs
52a51acc69 fix: fix record update so it actually works 
Created multiple tests of varying record updates
 2023-05-30 20:23:12 -04:00
microproofs
e1e65d7695 typo 2023-05-30 17:28:52 -04:00
microproofs
a65821d5ab fix: constrs that contain fields now work when passed as an arg to a function. 
Convert acceptance test 22

Create test for passing constr as a function
 2023-05-30 17:28:52 -04:00
microproofs
28a9152f09 add acceptance tests to 20 2023-05-25 22:54:53 -04:00
microproofs
f571665538 add test 18 2023-05-25 22:54:53 -04:00