microproofs
|
72059eacee
|
Fix: Recursion issue where the static param optimization on recursive functions that were passed as arguments to other functions
|
2024-08-08 19:36:16 -04:00 |
|
microproofs
|
0a1992acd2
|
Run acceptance tests
|
2024-08-08 00:39:44 -04:00 |
|
KtorZ
|
bf5a406ffb
|
Remove clause guards.
Closes #886.
|
2024-08-02 00:16:27 -04:00 |
|
microproofs
|
a5a0734629
|
fix: casting a field type to Data with expect and traces on was assuming the raw Data was of type constr
|
2024-03-27 15:52:23 -04:00 |
|
microproofs
|
c7dcb2c256
|
Add tests for zero arg cyclic functions and renamed function aliases
|
2024-03-09 13:23:27 -05:00 |