summaryrefslogtreecommitdiff
path: root/src/parser.mly
AgeCommit message (Expand)Author
2015-01-12Add specialised support for numeric singleton types (i.e. what used to be ran...Kathy Gray
2014-11-22signed multiplication and quotKathy Gray
2014-11-21Support signed and unsigned arithmeticKathy Gray
2014-08-27Changes to get another (slightly larger) executable running;Kathy Gray
2014-07-29A file can now declare that a default order is either inc or dec, and this wi...Kathy Gray
2014-07-14Initial support for aliases and exit through the type system and the interpre...Kathy Gray
2014-07-04Force end-of-input when parsing expression listGabriel Kerneis
2014-07-03Parse list of expressions in Sail_libGabriel Kerneis
2014-07-03Introduce a Sail libraryGabriel Kerneis
2014-06-26Adding better support for unspecified values in indexed vectorsKathy Gray
2014-06-25Add support for memory barrierKathy Gray
2014-06-23Get indexed vectors, particularly with default values, workingKathy Gray
2014-06-04Fixup type coercions and overloadingKathy Gray
2014-05-19More parser comments (and remove one spurious atomic_)Gabriel Kerneis
2014-05-15Check name_sect during parsingGabriel Kerneis
2014-05-15Questions and comments about parserGabriel Kerneis
2014-05-15Missing cases in lexer and parserGabriel Kerneis
2014-05-12Avoid pattern-matching warnings in pretty-printerGabriel Kerneis
2014-04-15Put conditional path information into constraint gathering so that checking u...Kathy Gray
2014-04-08Reduce redundant information in ASTKathy Gray
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 14:58:12 +0000