summaryrefslogtreecommitdiff
path: root/language/l2_parse.ott
AgeCommit message (Expand)Author
2013-11-22Syntax changes per discussions on Thursday.Kathy Gray
2013-11-07Port L2 to new LemGabriel Kerneis
2013-11-01Moved metatheory grammars into l2_rules.ottKathy Gray
2013-10-11Supporting all expressions, although vector cacentation pattern matching can ...Kathy Gray
2013-09-26Adding undefinedKathy Gray
2013-08-30Small clean up of ott files, start of environments for formal representation ...Kathy Gray
2013-08-19language.ott: update syntax of index rangesGabriel Kerneis
2013-08-19language.ott: syntax for types in patternsGabriel Kerneis
2013-08-19Add loops and document optionnal else in conditionalGabriel Kerneis
2013-08-14More cases translating from parse_ast to ast. Plus parser changes to syntax t...Kathy Gray
2013-08-01Lex and discard commentsGabriel Kerneis
2013-07-26A parser without any conflicts.Kathy Gray
2013-07-26Remove white space/terminal trackingKathy Gray
2013-07-24Parser compiles and compiles some very small test programs.Kathy Gray
2013-07-24Missed files from previous commitKathy Gray
2013-07-23wibPeter Sewell
2013-07-18More parsingKathy Gray
2013-07-17Separated ott file for parsable AST and parser changesKathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 09:26:16 +0000