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 |
|