Commit Graph

  • 22014065f4
    Merge pull request #3 from LunaAmora/master Nicolas Abril 2023-09-26 17:57:32 +0200
  • 7dff2949d5 Make DefNames an actual type with functions for accessing names Nicolas Abril 2023-09-26 17:55:55 +0200
  • e46bb96966 Update to latest hvm-core version with Def type Nicolas Abril 2023-09-26 17:55:06 +0200
  • c320fad0eb Make runtime memory size configurable Nicolas Abril 2023-09-26 17:53:58 +0200
  • 52a2f02fdd Add detach combinators pass LunaAmora 2023-09-26 11:48:00 -0400
  • 6904e81e67 Put numbers behind a disabled feature after hvm update Nicolas Abril 2023-09-25 17:33:55 +0200
  • 8c196e1992 Rewrite affine pass, with support for let substitution Nicolas Abril 2023-09-23 16:06:53 +0200
  • 1679a9b5f3 Finish var sanitize pass (untested) Nicolas Abril 2023-09-22 23:30:52 +0200
  • ee4a1c551b Add let term type without being used anywhere Nicolas Abril 2023-09-22 21:31:13 +0200
  • 306e1526f0 Use hvm-core's operation type enum Nicolas Abril 2023-09-22 21:28:41 +0200
  • 2e6b62ed23 Add helper Name::from_str Nicolas Abril 2023-09-22 21:06:21 +0200
  • 527d3ce8ca Rename more types Nicolas Abril 2023-09-22 21:01:12 +0200
  • 5ca1d87115 Change Term enums to be 3 chars long Nicolas Abril 2023-09-22 20:50:35 +0200
  • f4a7bd3ec1 Add i32 numbers Nicolas Abril 2023-09-22 20:47:07 +0200
  • 292ad27593 Detach def names from the id sent to hvm-core Nicolas Abril 2023-09-22 19:56:04 +0200
  • 81dc55640b Add readback for NumOp Nicolas Abril 2023-09-22 16:42:25 +0200
  • f1d0898b48 Add support for integer addition following hvm update Nicolas Abril 2023-09-22 16:17:55 +0200
  • b024559d6b Update to latest HVM version Nicolas Abril 2023-09-21 22:36:33 +0200
  • bf45ac884a update hvm Victor Maia 2023-09-20 23:23:49 -0300
  • 9d195078df update to fixed hvm Victor Maia 2023-09-20 22:49:54 -0300
  • b2ed79b846 fix names Victor Maia 2023-09-20 21:25:26 -0300
  • 0d2e6e1cce Add parsing of patterns in rules Nicolas Abril 2023-09-20 20:20:04 +0200
  • 57c28a50bb Update to latest HVM version Nicolas Abril 2023-09-20 20:18:58 +0200
  • fedfeff1c1 Add two more items in the todo list Nicolas Abril 2023-09-20 20:17:12 +0200
  • a75932aeee Fix crash on affine pass when some variables are erased Nicolas Abril 2023-09-20 20:16:47 +0200
  • 34e28659bb Add initial TODO list Nicolas Abril 2023-09-20 19:27:35 +0200
  • eb05c8b6e2 Slightly improve readback code Nicolas Abril 2023-09-19 21:24:57 +0200
  • 735942144f Improve readback, warn on invalid readback. Add tests Nicolas Abril 2023-09-18 17:09:59 +0200
  • 2e616e1db2 Add 3 global lambda tests Nicolas Abril 2023-09-14 19:42:49 +0200
  • 4a092a3bce Fix ';' in let term, allow '.' in name Nicolas Abril 2023-09-14 19:42:23 +0200
  • af194db86c Go back to using 32bit nodes Nicolas Abril 2023-09-14 17:35:57 +0200
  • cc92de4b2c Add support for scopeless global lambdas Nicolas Abril 2023-09-13 21:38:46 +0200
  • ee462e726a Add support for erased lambdas, clean passes Nicolas Abril 2023-09-12 21:04:39 +0200
  • 3694dec0d4 Create valid var names on readback Nicolas Abril 2023-09-11 19:12:42 +0200
  • 65fc8c6a41 Don't require parenthesis for the first level of a Rule's body Nicolas Abril 2023-09-11 18:58:32 +0200
  • 34a2a11494 Make parser backwards compatible with old HVM Nicolas Abril 2023-09-11 17:48:19 +0200
  • 05e50a64b8
    Merge pull request #2 from eduhenke/patch-1 Nicolas Abril 2023-09-11 14:41:59 +0200
  • 546ddea5ea
    Make compat_net mod pub eduhenke 2023-09-11 09:41:03 -0300
  • a7a856821d Add explicit cargo bin, make clap dep for cli only Nicolas Abril 2023-09-09 10:59:23 +0200
  • 3faedc1057 Avoid copying definition names so much; Separate semantic checking into module Nicolas Abril 2023-09-09 10:45:51 +0200
  • e2633b4abf Add correct error displaying on test Nicolas Abril 2023-09-08 18:31:32 +0200
  • 0e35f20e65 Remove numops, update to new hvm repo Nicolas Abril 2023-09-08 16:10:28 +0200
  • 846b823270 Add readback of results from HVM; Refactor CLI mode Nicolas Abril 2023-09-07 21:26:20 +0200
  • 87bc5d3ab4 Implement display for lambda terms Nicolas Abril 2023-09-06 21:41:41 +0200
  • 90e74e877b Store numbers in the tag of the compat inet Nicolas Abril 2023-09-06 21:41:00 +0200
  • a8c9033cce Fix conversion of numbers Nicolas Abril 2023-09-06 20:43:30 +0200
  • 2820e9610f Add example code Nicolas Abril 2023-09-06 08:37:10 +0200
  • 493b518a52 Use hvm OP; Add test that runs in hvm Nicolas Abril 2023-09-05 20:23:23 +0200
  • 058b87cc0e Add function for running hvm-lang files in hvm2 Nicolas Abril 2023-09-04 18:53:50 +0200
  • 1005f4072e Use the hvm repo types and fns; Switch to u64 nodes Nicolas Abril 2023-09-04 18:39:22 +0200
  • 87b4c557a6 Add different modes of running the cli Nicolas Abril 2023-09-04 17:51:49 +0200
  • 3996edac56 Add dup inference Nicolas Abril 2023-09-04 17:51:26 +0200
  • c729828858 add cli nao e o savio 2023-09-04 12:18:56 -0300
  • 39cf2745a0 add cli nao e o savio 2023-09-04 12:02:17 -0300
  • 8162af4e34 Force def name character limit, allow new lines after let Nicolas Abril 2023-09-04 16:17:02 +0200
  • c201200e33 Have stable order for displaying defs Nicolas Abril 2023-09-01 17:57:44 +0200
  • fd981796d8 fix parser Nicolas Abril 2023-09-01 17:45:10 +0200
  • f5149ad9fc Add readme Nicolas Abril 2023-09-01 17:44:59 +0200
  • e7683143dd Fix parsing and conversion to hvm core. Tidy up Nicolas Abril 2023-09-01 16:52:58 +0200
  • 1a1d331c35 Implement a golden testing model for tests Nicolas Abril 2023-08-31 22:11:19 +0200
  • 7731d2487c Finish initial version of hvm-lang to hvm-core compilation Nicolas Abril 2023-08-31 20:35:41 +0200
  • 9f1ef68ea3 Add first part of hvm-lang to hvm-core compilation Nicolas Abril 2023-08-30 19:18:40 +0200
  • c2eaa8502d Initial commit of hvm-lang with basic parser Nicolas Abril 2023-08-29 22:43:01 +0200