summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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-09-02Fix enumerate syntax in l2.ottGabriel Kerneis
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-19language.ott: update syntax of index rangesGabriel Kerneis
2013-08-19language.ott: syntax for types in patternsGabriel Kerneis
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-31Add .gitignoreGabriel 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
2013-07-26Remove white space/terminal trackingKathy Gray
2013-07-25Clean trailing whitespaceGabriel Kerneis
2013-07-25Small changes to reduce conflicts or make notes regarding causes of conflictsKathy Gray
2013-07-24Parser compiles and compiles some very small test programs.Kathy Gray
2013-07-24Missed files from previous commitKathy Gray
2013-07-23Down to 7 shift/reduce conflicts (with 0 reduce/reduce). Possibly some syntax...Kathy Gray
2013-07-23wibPeter Sewell
2013-07-23Down to 21 odd shift/reduce and 41 :( odd reduce/reduce; and some ambiguities...Kathy Gray
2013-07-18More parsingKathy Gray
2013-07-17commit to merge with headKathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 11:16:37 +0000