| Age | Commit message (Expand) | Author |
|---|
| 2015-11-24 | Add BE_escape effect when an E_exit is seen | Kathy Gray |
| 2015-11-20 | no more unecessary variables from removing vector-concatenation pattern match... | Christopher Pulte |
| 2015-11-19 | fixes for cumulative effect anotations | Christopher Pulte |
| 2015-11-13 | fixes, more pp | Christopher Pulte |
| 2015-11-10 | rewriting fixes, syntactically correct lem syntax, number type errors remaining | Christopher Pulte |
| 2015-11-07 | fixes, no more uncessary variables, pp progress | Christopher Pulte |
| 2015-11-06 | progress on generating function for read/writing register fields | Christopher Pulte |
| 2015-11-06 | fixes | Christopher Pulte |
| 2015-11-05 | some progress on lem backend: rewrite away mutable variable assignments, rewr... | Christopher Pulte |
| 2015-10-29 | Ocaml generation now just needing big int/little int issues resolved (probabl... | Kathy Gray |
| 2015-10-28 | progress on lem backend: auto-generate read_register and write_register funct... | Christopher Pulte |
| 2015-10-26 | fix | Christopher Pulte |
| 2015-10-26 | Merge branch 'master' of https://bitbucket.org/Peter_Sewell/l2 | Christopher Pulte |
| 2015-10-26 | add preliminary Sail_values.lem, adapt lem pp to recent Ocaml pp changes | Christopher Pulte |
| 2015-10-23 | More of sail correctly generating ocaml; including using polymorphic variants... | Kathy Gray |
| 2015-10-20 | add copies of ocaml-pp functions for lem-pp | Christopher Pulte |
| 2015-10-20 | ocaml output now produces parsing power.sail | Kathy Gray |
| 2015-10-20 | more fixes | Kathy Gray |
| 2015-10-20 | Merge branch 'master' of https://bitbucket.org/Peter_Sewell/l2 | Christopher Pulte |
| 2015-10-20 | compiling prettyprinter | Kathy Gray |
| 2015-10-20 | Merge branch 'master' of https://bitbucket.org/Peter_Sewell/l2 | Christopher Pulte |
| 2015-10-20 | fix a-normalisation bug | Christopher Pulte |
| 2015-10-20 | Fixing bugs in pretty printer to ocaml | Kathy Gray |
| 2015-10-19 | progress on lem backend | Christopher Pulte |
| 2015-10-13 | Merge branch 'master' of https://bitbucket.org/Peter_Sewell/l2 | Christopher Pulte |
| 2015-10-13 | some progress on sequentialise_effects | Christopher Pulte |
| 2015-10-13 | Refine local vs cumulative effects for lexp | Kathy Gray |
| 2015-10-07 | Compiling again after refactoring. Haven't pushed to interpreter and lem yet | Kathy Gray |
| 2015-10-07 | adapted pretty_print and rewriter to new tannot type | Christopher Pulte |
| 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 |
