Nicolas Abril
|
2e616e1db2
|
Add 3 global lambda tests
|
2023-09-14 19:42:49 +02:00 |
|
Nicolas Abril
|
af194db86c
|
Go back to using 32bit nodes
|
2023-09-14 17:35:57 +02:00 |
|
Nicolas Abril
|
3694dec0d4
|
Create valid var names on readback
|
2023-09-11 19:12:42 +02:00 |
|
Nicolas Abril
|
65fc8c6a41
|
Don't require parenthesis for the first level of a Rule's body
|
2023-09-11 18:58:32 +02:00 |
|
Nicolas Abril
|
34a2a11494
|
Make parser backwards compatible with old HVM
|
2023-09-11 17:56:56 +02:00 |
|
Nicolas Abril
|
e2633b4abf
|
Add correct error displaying on test
|
2023-09-08 18:40:40 +02:00 |
|
Nicolas Abril
|
0e35f20e65
|
Remove numops, update to new hvm repo
|
2023-09-08 16:10:28 +02:00 |
|
Nicolas Abril
|
846b823270
|
Add readback of results from HVM; Refactor CLI mode
|
2023-09-07 21:26:20 +02:00 |
|
Nicolas Abril
|
493b518a52
|
Use hvm OP; Add test that runs in hvm
|
2023-09-05 20:23:23 +02:00 |
|
Nicolas Abril
|
1005f4072e
|
Use the hvm repo types and fns; Switch to u64 nodes
|
2023-09-04 18:39:22 +02:00 |
|
Nicolas Abril
|
3996edac56
|
Add dup inference
|
2023-09-04 17:51:26 +02:00 |
|
Nicolas Abril
|
8162af4e34
|
Force def name character limit, allow new lines after let
|
2023-09-04 16:17:02 +02:00 |
|
Nicolas Abril
|
c201200e33
|
Have stable order for displaying defs
|
2023-09-01 17:57:44 +02:00 |
|
Nicolas Abril
|
e7683143dd
|
Fix parsing and conversion to hvm core. Tidy up
|
2023-09-01 16:52:58 +02:00 |
|
Nicolas Abril
|
1a1d331c35
|
Implement a golden testing model for tests
|
2023-08-31 22:11:19 +02:00 |
|