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
234 Commits 9 Branches 37 Tags 82 MiB
cf841094cc
Commit Graph

22 Commits

Author SHA1 Message Date
imaqtkatt
b617dc0dbd WIP generate scott adts 2023-11-10 14:49:38 -03:00
Nicolas Abril
f3dc189610 Enable link time optimizations 2023-10-17 11:35:13 +02:00
Nicolas Abril
12a1a0b0cd Small cleanups 2023-10-17 10:29:52 +02:00
Nicolas Abril
c10ea546a4 Implement If term, partial fix for op2, stabilize nums! 2023-10-10 21:29:26 +02:00
imaqtkatt
67616abf11 Fix wrong error outputs by using miette 2023-10-09 18:33:12 -03:00
Nicolas Abril
bc280b750f Update to latest hvm-core version, add numbers back, breaks readback 2023-10-09 20:07:48 +02:00
Nicolas Abril
0bfe5fa361 Complete type inference pass (not working) 2023-10-05 22:16:34 +02:00
Nicolas Abril
c320fad0eb Make runtime memory size configurable 2023-09-26 17:53:58 +02:00
Nicolas Abril
6904e81e67 Put numbers behind a disabled feature after hvm update 2023-09-25 17:33:55 +02:00
Nicolas Abril
292ad27593 Detach def names from the id sent to hvm-core 2023-09-22 19:56:04 +02:00
Victor Maia
bf45ac884a update hvm 2023-09-20 23:23:49 -03:00
Nicolas Abril
a7a856821d Add explicit cargo bin, make clap dep for cli only 2023-09-09 10:59:23 +02:00
Nicolas Abril
3faedc1057 Avoid copying definition names so much; Separate semantic checking into module 2023-09-09 10:49:49 +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
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
1a1d331c35 Implement a golden testing model for tests 2023-08-31 22:11:19 +02:00
Nicolas Abril
7731d2487c Finish initial version of hvm-lang to hvm-core compilation 2023-08-31 20:35:41 +02:00
Nicolas Abril
9f1ef68ea3 Add first part of hvm-lang to hvm-core compilation 2023-08-30 19:18:40 +02:00
Nicolas Abril
c2eaa8502d Initial commit of hvm-lang with basic parser 2023-08-29 22:43:01 +02:00