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
|
1001e83374
|
Updated acceptance test runs
|
2024-07-24 10:34:29 -04:00 |
|
microproofs
|
f1cfc84e67
|
Fix tree traversal node selection for a few of the enum variants
|
2024-06-25 18:50:00 -04:00 |
|
microproofs
|
3d06129d9b
|
add test for curry optimization that is a reduced case of #945
|
2024-05-22 15:46:32 -04:00 |
|
microproofs
|
c1c2cd97b7
|
New test 103 and clippy fixes
|
2024-05-21 11:56:12 -04:00 |
|
KtorZ
|
6d7b851c70
|
Fix 077 after yet-another-breaking-change in stdlib.
|
2024-05-10 19:05:00 +02:00 |
|
microproofs
|
893e9c9855
|
activate test 75
|
2024-05-06 15:17:01 -04:00 |
|
KtorZ
|
967f4348ed
|
Add new acceptance test 101 capturing type mismatch at runtime.
|
2024-05-06 15:17:01 -04:00 |