Nicolas Abril ce4f6c7067 Rename hvm bin option to hvm-bin, add env var with same name		2024-06-03 17:26:39 +02:00
..
fun	Add unbound refs check	2024-05-31 18:52:22 +02:00
hvm	Switch to rust stable	2024-05-26 12:27:36 +02:00
imp	Implement in-place mapper	2024-05-29 16:51:38 -03:00
net	Switch to rust stable	2024-05-26 12:27:36 +02:00
diagnostics.rs	Switch to rust stable	2024-05-26 12:27:36 +02:00
lib.rs	Merge pull request #535 from HigherOrderCO/hvm-path-option	2024-05-31 19:19:03 +00:00
main.rs	Rename hvm bin option to hvm-bin, add env var with same name	2024-06-03 17:26:39 +02:00
utils.rs	Use the HVM AST instead of an internal one	2024-05-25 19:03:13 +02:00