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