115 Commits

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