summaryrefslogtreecommitdiff
path: root/language/l2_parse.ott
AgeCommit message (Expand)Author
2014-07-25Start of setting a default order for literal vectors and for vector shorthand...Kathy Gray
2014-07-08Extend language to support register aliases and to support interrupts, traps ...Kathy Gray
2014-06-26Adding better support for unspecified values in indexed vectorsKathy Gray
2014-06-25Add support for memory barrierKathy Gray
2014-06-25Add support for actions that read just a slice or single bit of a registerKathy Gray
2014-06-23Get indexed vectors, particularly with default values, workingKathy Gray
2014-06-04Fixup type coercions and overloadingKathy Gray
2014-05-14More interface update for connecting externally (interp_interface provides fu...Kathy Gray
2014-04-08Reduce redundant information in ASTKathy Gray
2014-04-02Solve more constraints; fix up test suite bugs uncovered by solving more cons...Kathy Gray
2014-04-01Allow negative "nat" internallyGabriel Kerneis
2014-03-27Check simple constraints (i.e. ones using only constants).Kathy Gray
2014-02-28Correct bug in parsing and handling a['a:'b] typesKathy Gray
2014-02-18Adding explicit order to for loopsKathy Gray
2014-02-14update syntax of vector slicing.Kathy Gray
2014-02-12Change nat to natural in ottKathy Gray
2013-12-03Syntax changes per discussion with Peter, as well as L2.ott document clean up.Kathy Gray
2013-11-28Updated syntax with working examplesKathy Gray
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-01 17:01:12 +0000