| Age | Commit message (Expand) | Author |
|---|
| 2015-10-07 | start changing representation of registers for ocaml | Kathy Gray |
| 2015-10-06 | better printing for register writing, whole register (maybe not "right" yet) | Kathy Gray |
| 2015-10-05 | made vector_concat pass remove typ annotation expression inside vector_concat... | Christopher Pulte |
| 2015-10-04 | add find_updated_vars to support for-loops for lem or prover backend, add nor... | Christopher Pulte |
| 2015-09-30 | Alias support for ocaml mode | Kathy Gray |
| 2015-09-29 | capitalise and uncapitalise according to ocaml requirements | Kathy Gray |
| 2015-09-29 | ml output passing simple test suite, except for register aliases | Kathy Gray |
| 2015-09-29 | Boiler plate to generate an ml file from a sail spec. Now debugging the outpu... | Kathy Gray |
| 2015-09-28 | for loop variant without closure required | Kathy Gray |
| 2015-09-28 | basic untested ocaml boiler plate | Kathy Gray |
| 2015-09-28 | Merge branch 'master' of https://bitbucket.org/Peter_Sewell/l2 | Christopher Pulte |
| 2015-09-28 | completed pp for E_for expressions, necessary OCaml foreach_inc and foreach_d... | Christopher Pulte |
| 2015-09-28 | Add initial support for register fields | Kathy Gray |
| 2015-09-28 | tweak what the output expects | Kathy Gray |
| 2015-09-25 | Potentially working ocaml mode, minus registers with fields, awaiting pattern... | Kathy Gray |
| 2015-09-25 | building version of last change, removing stray ) | Kathy Gray |
| 2015-09-24 | Parameterise the rewriter's for multiple different rewritings | Kathy Gray |
| 2015-09-23 | More pretty printing | Kathy Gray |
| 2015-09-22 | Start pretty printing ocaml for sequential | Kathy Gray |
| 2015-08-14 | Steps towards making constraint solver smarter | Kathy Gray |
| 2015-08-06 | Update analysis to merge states and values after branches taken due to unknow... | Kathy Gray |
| 2015-06-24 | Support new memory write events in the sail front end and pretty printer | Kathy Gray |
| 2015-06-10 | Put missing cases into nexp_eq_check | Kathy Gray |
| 2015-06-02 | Fix errors around ARM not being able to decode due to instruction_extractor b... | Kathy Gray |
| 2015-05-28 | fix pattern matching bug on concatenated vectors | Kathy Gray |
| 2015-05-13 | Add dynamic footprint dependency check event/outcome | Kathy Gray |
| 2015-03-26 | Add subtraction to nexp grammar (removing the need to do a + (-1 * b)) | Kathy Gray |
| 2015-02-24 | Fix lem printing | Kathy Gray |
| 2015-02-13 | Actually use new dependency information in generation of lem/etc. | Kathy Gray |
| 2015-02-03 | Correct bug in typedef NAME = register bits .... for Dec not present in Inc | Kathy Gray |
| 2015-01-22 | Actually remove minus on negative numbers from Lem output | Kathy Gray |
| 2015-01-21 | turn negative numbers into 0-n in Lem ast backend | Kathy Gray |
| 2015-01-12 | Add specialised support for numeric singleton types (i.e. what used to be ran... | Kathy Gray |
| 2014-12-11 | Many fixes, primarily dealing with undefined | Kathy Gray |
| 2014-11-22 | signed multiplication and quot | Kathy Gray |
| 2014-11-21 | Fix up printing, try to make .lem files smaller (at least a tiny bit) | Kathy Gray |
| 2014-11-21 | Print out default values for underspecified vectors instead of leaving them a... | Kathy Gray |
| 2014-11-16 | Add overflow checking arithmetic operations. Fix various bugs that this exposed | Kathy Gray |
| 2014-11-06 | Refactor printing to display the contents the [_] and to better format bit ve... | Kathy Gray |
| 2014-11-04 | Read parts of a register, not always just the whole thing | Kathy Gray |
| 2014-09-30 | Add type annotations to funcls to track effects and constraints from one func... | 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-09-09 | Small fix to printing | Kathy Gray |
| 2014-09-09 | Full power.sail now type checking and generating Lem. | Kathy Gray |
| 2014-09-09 | Get more constraints resolving in power.sail | Kathy Gray |
| 2014-08-05 | Support extracting length information into more functions | Kathy Gray |
| 2014-08-01 | Support separated memory read/write functions. | Kathy Gray |
| 2014-07-30 | working dec vectors | Kathy Gray |
| 2014-07-18 | Writing to concatenated aliases | Kathy Gray |
