| Age | Commit message (Expand) | Author |
|---|
| 2017-05-24 | Merge branch 'master' of bitbucket.org:Peter_Sewell/sail | Shaked Flur |
| 2017-05-24 | added the exmem effect for AArch64 store-exclusive | Shaked Flur |
| 2017-05-24 | Change types of MEMr_tag, MEMval_tag and co. so that tag is separate from dat... | Robert Norton |
| 2017-02-03 | fix headers | Peter Sewell |
| 2013-10-04 | Clean up build system | Gabriel Kerneis |
| 2013-09-26 | Adding undefined | Kathy Gray |
| 2013-09-09 | Fixes bugs in pretty printer to generate legal lem syntax; split ott grammar ... | Kathy Gray |
| 2013-09-09 | Pretty printer to Lem ast added; accessed by -lem_ast on the command line | Kathy Gray |
| 2013-09-05 | workaround likely aux rule bug | Peter Sewell |
| 2013-09-05 | More type checking, and trying to generate Lem from the ott | Kathy Gray |
| 2013-09-04 | Kind checking and part of type checking getting started | Kathy Gray |
| 2013-08-30 | Small clean up of ott files, start of environments for formal representation ... | Kathy Gray |
| 2013-08-19 | Add loops and document optionnal else in conditional | Gabriel Kerneis |
| 2013-08-08 | More forms converting from parse_ast to ast; also removed some annot aux homs... | Kathy Gray |
| 2013-08-01 | More removal of ws from l2.ott, correction to parser, and adding finite-map a... | Kathy Gray |
| 2013-07-31 | Adding reporting basic from Lem development, also adding basic error messages... | Kathy Gray |
| 2013-07-26 | A parser without any conflicts. | Kathy Gray |
| 2013-07-26 | Remove white space/terminal tracking | Kathy Gray |
| 2013-07-24 | Parser compiles and compiles some very small test programs. | Kathy Gray |
| 2013-07-23 | Down to 7 shift/reduce conflicts (with 0 reduce/reduce). Possibly some syntax... | Kathy Gray |
| 2013-07-23 | wib | Peter Sewell |
| 2013-07-18 | More parsing | Kathy Gray |
| 2013-07-17 | wib | Peter Sewell |
| 2013-07-12 | Parser in progress, and more src files for plumbing parsing, lexing and event... | Kathy Gray |
| 2013-07-11 | More parsing and ott file tweaks for better AST output | Kathy Gray |
| 2013-07-11 | and matching .ott | Peter Sewell |
| 2013-07-11 | K,P wib | Peter Sewell |
| 2013-07-10 | Fixes to grammar omissions (i.e. naming_scheme_opt and type_def vs tdef), mor... | Kathy Gray |
| 2013-07-10 | wib | Peter Sewell |
| 2013-07-09 | wib | Peter Sewell |
| 2013-07-09 | many fixups to grammar and doc | Peter Sewell |
| 2013-07-04 | gkp | Peter Sewell |
| 2013-07-03 | Clean up some missed _ s in ott file; move the generated ml file to be ast in... | Kathy Gray |
