| Age | Commit message (Expand) | Author |
|---|
| 2016-11-27 | make outcome_s contain the instruction state pretty print rather than the ins... | Christopher Pulte |
| 2016-11-14 | add option -lem_sequential for producing shallow embedding that refers to sta... | Christopher Pulte |
| 2016-10-21 | shallow embedding progress | Christopher Pulte |
| 2016-10-19 | typeclass instances for converting between shallow and deep embedding | Christopher Pulte |
| 2016-10-18 | Expose type environment after checking, for use in analysis | Kathy Gray |
| 2016-10-11 | move armv8_extras and power_extras to idl/power and idlarm, fixes | Christopher Pulte |
| 2016-10-10 | changed the way registers/register fields work, fixes, nicer names for new le... | Christopher Pulte |
| 2016-10-06 | move type definitions that both interpreter and shallow embedding use to sail... | Christopher Pulte |
| 2016-09-07 | push some lem pp changes | Christopher Pulte |
| 2016-06-02 | improve constraint range checking | Kathy Gray |
| 2016-03-02 | Add new language feature to permit definitions of items of kind Nat, etc as w... | Kathy Gray |
| 2016-02-24 | Small mixups to get the initial check infrastructure working for full ast pro... | Kathy Gray |
| 2015-12-21 | fixes, pp progress | Christopher |
| 2015-12-09 | adapted for Kathy's lexp effect typing changes: register writes should be cor... | Christopher |
| 2015-10-28 | progress on lem backend: auto-generate read_register and write_register funct... | Christopher Pulte |
| 2015-10-26 | add preliminary Sail_values.lem, adapt lem pp to recent Ocaml pp changes | Christopher Pulte |
| 2015-10-20 | Fixing bugs in pretty printer to ocaml | Kathy Gray |
| 2015-10-06 | added the preliminary lem output option that for now uses ocaml pp | Christopher Pulte |
| 2015-10-06 | fix generated message to have correct file extension | Christopher Pulte |
| 2015-09-29 | Boiler plate to generate an ml file from a sail spec. Now debugging the outpu... | Kathy Gray |
| 2015-09-28 | basic untested ocaml boiler plate | Kathy Gray |
| 2015-06-24 | Support new memory write events in the sail front end and pretty printer | Kathy Gray |
| 2015-02-24 | Fix bug where type parameters weren't pushing down into the body of a functio... | Kathy Gray |
| 2015-02-13 | Actually use new dependency information in generation of lem/etc. | Kathy Gray |
| 2015-02-04 | collect and carry around more data for dependency tracking | Kathy Gray |
| 2014-12-11 | Add 2 ** n function; support providing type variables to other files when lexing | Kathy Gray |
| 2014-09-11 | Adding support for extracting the information Christopher needs about an inst... | Kathy Gray |
| 2014-09-10 | reduce lem macro overhead for sail _ very slightly _ | Kathy Gray |
| 2014-07-29 | A file can now declare that a default order is either inc or dec, and this wi... | Kathy Gray |
| 2014-07-14 | Initial support for aliases and exit through the type system and the interpre... | Kathy Gray |
| 2014-07-03 | Introduce a Sail library | Gabriel Kerneis |
| 2014-06-12 | Add uint* to default type names for lexer | Gabriel Kerneis |
| 2014-03-31 | Extend constraint checking, and add casts for base of a vector shifts (i.e. f... | Kathy Gray |
| 2014-03-26 | Steps towards solving constraints | Kathy Gray |
| 2014-02-21 | Add type annotations to lem grammar, including printing out the annotated ast... | Kathy Gray |
| 2014-02-03 | More type checking, including coercing 0 and 1 into bits when appropriate (in... | Kathy Gray |
| 2014-01-17 | Type check through type definitions and val specifications, building definiti... | Kathy Gray |
| 2013-11-28 | Updated syntax with working examples | Kathy Gray |
| 2013-11-27 | More front-end passes for type identifiers | Kathy Gray |
| 2013-11-07 | Port L2 to new Lem | Gabriel Kerneis |
| 2013-10-10 | Rename Ast to Interp_ast for the interpreter | Gabriel Kerneis |
| 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-08-20 | Set some initial kind environments; start pretty printing | Kathy Gray |
| 2013-08-08 | More forms converting from parse_ast to ast; also removed some annot aux homs... | Kathy Gray |
| 2013-08-07 | Starting checks and translation from parse_ast to ast, including an internal ... | Kathy Gray |
| 2013-08-01 | Lex and discard comments | Gabriel Kerneis |
| 2013-07-31 | Adding reporting basic from Lem development, also adding basic error messages... | Kathy Gray |
| 2013-07-26 | Remove white space/terminal tracking | Kathy Gray |
| 2013-07-25 | Clean trailing whitespace | Gabriel Kerneis |
