summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2013-10-10Fix fundecl and block Lem pretty-printingGabriel Kerneis
2013-10-10Interpreting all expressions except field assignment; pattern matching all ex...Kathy Gray
2013-10-10make test targetGabriel Kerneis
2013-10-10Stub test suiteGabriel Kerneis
2013-10-10Use ocamlbuild, no findlib requiredGabriel Kerneis
2013-10-10Rename Ast to Interp_ast for the interpreterGabriel Kerneis
2013-10-09Memory reading (small change to signature for memory writes).Kathy Gray
2013-10-09add lem->ml in MakefileGabriel Kerneis
2013-10-09Adding memory writes. Cleaning up the let in the ott file to reflect what act...Kathy Gray
2013-10-08More makefile infrastructureGabriel Kerneis
2013-10-04Missing case in pattern-matchingGabriel Kerneis
2013-10-04Merlin boilerplateGabriel Kerneis
2013-10-04Clean up build systemGabriel Kerneis
2013-10-04More support for expression forms including let and vector slicing. And writi...Kathy Gray
2013-10-02Clean up and fixup vector writesKathy Gray
2013-10-02Writing to vectorsKathy Gray
2013-09-26Adding undefinedKathy Gray
2013-09-25Interpreter support for reading from registers and local memory, support for ...Kathy Gray
2013-09-22Interpreter with function calls, pattern matching, and reading local boxesKathy Gray
2013-09-17Compiling interpreter that accepts function calls, vectors, but no memory acc...Kathy Gray
2013-09-13Committing/pushing progress on interp (adding pattern matching and moving clo...Kathy Gray
2013-09-10Adding in-progress lem interpreterKathy Gray
2013-09-09Fixes bugs in pretty printer to generate legal lem syntax; split ott grammar ...Kathy Gray
2013-09-09Pretty printer to Lem ast added; accessed by -lem_ast on the command lineKathy Gray
2013-09-05workaround likely aux rule bugPeter Sewell
2013-09-05More type checking, and trying to generate Lem from the ottKathy Gray
2013-09-04Kind checking and part of type checking getting startedKathy Gray
2013-08-30Small clean up of ott files, start of environments for formal representation ...Kathy Gray
2013-08-28Fix bug in pattern pretty printingKathy Gray
2013-08-23Add built-in type bitKathy Gray
2013-08-22Pretty printer for whole AST; due to parenthesis not always being placed wher...Kathy Gray
2013-08-20more support for pretty printingKathy Gray
2013-08-20Set some initial kind environments; start pretty printingKathy Gray
2013-08-19Translate foreach from Parse_ast to AstGabriel Kerneis
2013-08-19Add loops and document optionnal else in conditionalGabriel Kerneis
2013-08-16Full translation from parse_ast to ast; which includes kind checking and pull...Kathy Gray
2013-08-15Checks up to scattered defsKathy Gray
2013-08-14More cases translating from parse_ast to ast. Plus parser changes to syntax t...Kathy Gray
2013-08-13more translation from parse_ast to astKathy Gray
2013-08-08More forms converting from parse_ast to ast; also removed some annot aux homs...Kathy Gray
2013-08-07Starting checks and translation from parse_ast to ast, including an internal ...Kathy Gray
2013-08-01More removal of ws from l2.ott, correction to parser, and adding finite-map a...Kathy Gray
2013-08-01Parse <_u, implicit else, and fix whitespacesGabriel Kerneis
2013-08-01Lex and discard commentsGabriel Kerneis
2013-07-31Revert "Remove the wrong reporting basic"Gabriel Kerneis
2013-07-31Remove the wrong reporting basicKathy Gray
2013-07-31Adding the real reporting basicKathy Gray
2013-07-31Adding reporting basic from Lem development, also adding basic error messages...Kathy Gray
2013-07-30More infix supportedKathy Gray
2013-07-26A parser without any conflicts.Kathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 18:20:52 +0000