HigherOrderCO/Bend
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Bend.git synced 2024-09-11 11:56:54 +03:00
Code Issues Packages Projects Releases Wiki Activity
2,114 Commits 9 Branches 37 Tags 82 MiB
main
Commit Graph

465 Commits

Author SHA1 Message Date
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