summaryrefslogtreecommitdiff
path: root/src/parser.mly
AgeCommit message (Expand)Author
2014-04-01Fix parsing of nexp constraintsGabriel Kerneis
2014-03-27Check simple constraints (i.e. ones using only constants).Kathy Gray
2014-03-26Steps towards solving constraintsKathy Gray
2014-03-20Type bit[n] means bit[0..n-1]Gabriel Kerneis
2014-03-18Add parser support for empty and one element vectorsKathy Gray
2014-03-18More library functions for PowerGabriel Kerneis
2014-03-07Treat registers as values when not being actively read or written to, so that...Kathy Gray
2014-03-04Various deinfix bugsGabriel Kerneis
2014-02-28Correct bug in parsing and handling a['a:'b] typesKathy Gray
2014-02-18Adding explicit order to for loopsKathy Gray
2014-02-05Replace symbolic link by actual fileGabriel Kerneis
2014-02-05Fix type id parsing error ans associated type checking bugs in scatteredsKathy Gray
2014-02-05Typechecking lets, concrete vectors, and function calls (minus effects)Kathy Gray
2014-02-05Deinfixable colonGabriel Kerneis
2014-01-07Lex bitzero and bitone literalsGabriel Kerneis
2013-12-17Remove spurious lexing tokensGabriel Kerneis
2013-12-13Fix effect annotation bug, take 2Kathy Gray
2013-12-13Fix effect annotation pretty-printingGabriel Kerneis
2013-12-03Syntax changes per discussion with Peter, as well as L2.ott document clean up.Kathy Gray
2013-11-29minor syntax fixupsKathy Gray
2013-11-28Updated syntax with working examplesKathy Gray
2013-11-27More front-end passes for type identifiersKathy Gray
2013-11-22Syntax changes per discussions on Thursday.Kathy Gray
2013-11-20Fixed the parsing of applicationKathy Gray
2013-11-01Moved metatheory grammars into l2_rules.ottKathy Gray
2013-10-09Memory reading (small change to signature for memory writes).Kathy Gray
2013-09-26Adding undefinedKathy Gray
2013-08-22Pretty printer for whole AST; due to parenthesis not always being placed wher...Kathy Gray
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-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-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-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
2013-07-17Separated ott file for parsable AST and parser changesKathy Gray
2013-07-12Parser in progress, and more src files for plumbing parsing, lexing and event...Kathy Gray
2013-07-11Commit to rebaseKathy Gray
2013-07-11More parsing and ott file tweaks for better AST outputKathy Gray
2013-07-10Fixes to grammar omissions (i.e. naming_scheme_opt and type_def vs tdef), mor...Kathy Gray
2013-07-05More token corrections and additions based on l2_design notes.Kathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 00:49:58 +0000