Nicolas Abril
|
3694dec0d4
|
Create valid var names on readback
|
2023-09-11 19:12:42 +02:00 |
|
Nicolas Abril
|
65fc8c6a41
|
Don't require parenthesis for the first level of a Rule's body
|
2023-09-11 18:58:32 +02:00 |
|
Nicolas Abril
|
34a2a11494
|
Make parser backwards compatible with old HVM
|
2023-09-11 17:56:56 +02:00 |
|
Nicolas Abril
|
05e50a64b8
|
Merge pull request #2 from eduhenke/patch-1
Make compat_net mod pub
|
2023-09-11 14:41:59 +02:00 |
|
eduhenke
|
546ddea5ea
|
Make compat_net mod pub
|
2023-09-11 09:41:03 -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
|
846b823270
|
Add readback of results from HVM; Refactor CLI mode
|
2023-09-07 21:26:20 +02:00 |
|
Nicolas Abril
|
87bc5d3ab4
|
Implement display for lambda terms
|
2023-09-06 21:41:41 +02:00 |
|
Nicolas Abril
|
90e74e877b
|
Store numbers in the tag of the compat inet
|
2023-09-06 21:41:00 +02:00 |
|
Nicolas Abril
|
a8c9033cce
|
Fix conversion of numbers
|
2023-09-06 20:43:30 +02:00 |
|
Nicolas Abril
|
2820e9610f
|
Add example code
|
2023-09-06 08:37:10 +02:00 |
|
Nicolas Abril
|
493b518a52
|
Use hvm OP; Add test that runs in hvm
|
2023-09-05 20:23:23 +02:00 |
|
Nicolas Abril
|
058b87cc0e
|
Add function for running hvm-lang files in hvm2
|
2023-09-04 18:53:50 +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
|
87b4c557a6
|
Add different modes of running the cli
|
2023-09-04 17:51:49 +02:00 |
|
Nicolas Abril
|
3996edac56
|
Add dup inference
|
2023-09-04 17:51:26 +02:00 |
|
Nicolas Abril
|
8162af4e34
|
Force def name character limit, allow new lines after let
|
2023-09-04 16:17:02 +02:00 |
|
Nicolas Abril
|
c201200e33
|
Have stable order for displaying defs
|
2023-09-01 17:57:44 +02:00 |
|
Nicolas Abril
|
fd981796d8
|
fix parser
|
2023-09-01 17:45:10 +02:00 |
|
Nicolas Abril
|
f5149ad9fc
|
Add readme
|
2023-09-01 17:44:59 +02:00 |
|
Nicolas Abril
|
e7683143dd
|
Fix parsing and conversion to hvm core. Tidy up
|
2023-09-01 16:52:58 +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 |
|