| Age | Commit message (Expand) | Author |
|---|
| 2017-07-21 | Merge branch 'sail_new_tc' of https://bitbucket.org/Peter_Sewell/sail into sa... | Alasdair Armstrong |
| 2017-07-21 | Improvements to sail n_constraints | Alasdair Armstrong |
| 2017-07-21 | Switch to new typechecker (almost) | Thomas Bauereiss |
| 2017-07-13 | Make new-tc monomorphisation actually work | Brian Campbell |
| 2017-07-12 | Merge branch 'sail_new_tc' of https://bitbucket.org/Peter_Sewell/sail into sa... | Alasdair Armstrong |
| 2017-07-12 | Removed inital_check_full_ast | Alasdair Armstrong |
| 2017-07-12 | Add checks for variable identifiers in pattern subsumption | Thomas Bauereiss |
| 2017-07-10 | Bugfixes and testing new checker on the MIPS spec | Alasdair Armstrong |
| 2017-06-29 | Various improvements to typechecker | Alasdair Armstrong |
| 2017-06-22 | Can now typecheck register declarations and assignments | Alasdair Armstrong |
| 2017-06-15 | Prototype Bi-directional type checking algorithm for sail | Alasdair Armstrong |
| 2017-02-03 | fix headers | Peter Sewell |
| 2016-12-12 | cheri sail export progress | Christopher Pulte |
| 2016-12-01 | move interpreter-specific types from Sail_impl_base to Interp_interface | Christopher Pulte |
| 2016-11-28 | make sail produce prompt and state version of shallow embedding files at the ... | Christopher Pulte |
| 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 |
