summaryrefslogtreecommitdiff
path: root/src/parser.mly
AgeCommit message (Expand)Author
2016-04-25Make interpreter able to read registers during translate address and decode.Kathy Gray
2016-03-16more small fixesKathy Gray
2016-03-02Add new language feature to permit definitions of items of kind Nat, etc as w...Kathy Gray
2016-02-23Several fixesKathy Gray
2016-02-04add mod_s to lexer and parserKathy Gray
2016-01-06Add new assert expression to SailKathy Gray
2015-06-24Support new memory write events in the sail front end and pretty printerKathy Gray
2015-05-13Add dynamic footprint dependency check event/outcomeKathy Gray
2015-04-08Fixes for power compilation reworkingKathy Gray
2015-03-26Add subtraction to nexp grammar (removing the need to do a + (-1 * b))Kathy Gray
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 14:48:39 +0000