| Age | Commit message (Expand) | Author |
|---|
| 2015-11-07 | fixes, no more uncessary variables, pp progress | Christopher Pulte |
| 2015-11-06 | fixes | 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-11-04 | Add a new module for writing queries/analyses that aren't type checking but c... | Kathy Gray |
| 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 | Switch name set to name map to include type and expression data | Kathy Gray |
| 2015-10-26 | Add variable set to rewriters | Kathy Gray |
| 2015-10-26 | Begin if variable introduction rewriting | Kathy Gray |
| 2015-10-20 | fix a-normalisation bug | Christopher Pulte |
| 2015-10-19 | progress on lem backend | Christopher Pulte |
| 2015-10-17 | clean up, more readability | Christopher Pulte |
| 2015-10-17 | a-normalisation for lem backend | Christopher Pulte |
| 2015-10-13 | some progress on sequentialise_effects | Christopher Pulte |
| 2015-10-12 | fixes | Christopher Pulte |
| 2015-10-12 | apply rewriter changes to master as well | Christopher Pulte |
| 2015-10-07 | adapted pretty_print and rewriter to new tannot type | Christopher Pulte |
| 2015-10-06 | added the preliminary lem output option that for now uses ocaml pp | Christopher Pulte |
| 2015-10-06 | Merge branch 'master' of https://bitbucket.org/Peter_Sewell/l2 | Christopher Pulte |
| 2015-10-06 | fixes | Christopher Pulte |
| 2015-10-06 | make let and case actually call pattern rewriter | Kathy Gray |
| 2015-10-05 | made vector_concat pass remove typ annotation expression inside vector_concat... | Christopher Pulte |
| 2015-10-05 | some fixes | Christopher Pulte |
| 2015-10-05 | Merge branch 'master' of https://bitbucket.org/Peter_Sewell/l2 | Christopher Pulte |
| 2015-10-05 | added pattern rewriting for DEF_val expressions | Christopher Pulte |
| 2015-10-05 | More library functions | Kathy Gray |
| 2015-10-05 | added funcl pattern rewriting to remove vector concat patterns | Christopher Pulte |
| 2015-10-04 | add find_updated_vars to support for-loops for lem or prover backend, add nor... | Christopher Pulte |
| 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 | added rewriter rewrite_defs_remove_vector_concat that should get rid of vecto... | Christopher Pulte |
| 2015-09-25 | added something for remove_vector_string_patterns that for a give pattern-mat... | Christopher Pulte |
| 2015-09-25 | added something for remove_vector_string_patterns that for a give pattern-mat... | Christopher Pulte |
| 2015-09-25 | building version of last change, removing stray ) | Kathy Gray |
| 2015-09-25 | Rewrite expressions for ocaml, lifting assignment introductions into a specia... | Kathy Gray |
| 2015-09-24 | Beginning of expression rewriter for ocaml | Kathy Gray |
| 2015-09-24 | basic pattern rewriter | Kathy Gray |
| 2015-09-24 | Parameterise the rewriter's for multiple different rewritings | Kathy Gray |
| 2015-09-24 | added 'remove_vector_string_patterns and .._expressions functions | Christopher Pulte |
| 2015-09-17 | Type checker checking on case splits properly, and dependency transformations... | Kathy Gray |
| 2015-09-06 | Improved type system, so that it catches int where there should be nat | Kathy Gray |
| 2015-06-30 | Change rewriter to better reset dec vectors to count from (length - 1) instea... | Kathy Gray |
| 2015-06-30 | Fix updating dec vector start bugs | 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-04 | reduce number of unknown identifiers and get one step closer to actually deco... | Kathy Gray |
| 2015-05-01 | Fix pattern match bug with enumerated values | Kathy Gray |
| 2015-05-01 | Change interpreter interface to support ppcmem2's view of vectors as always i... | Kathy Gray |
| 2015-03-26 | Add subtraction to nexp grammar (removing the need to do a + (-1 * b)) | Kathy Gray |
