| Age | Commit message (Expand) | Author |
|---|
| 2016-09-30 | fixes, update isntruction_analysis for NIAs and DIA | Christopher Pulte |
| 2016-09-26 | minor changes | Christopher Pulte |
| 2016-09-26 | nicer lem output: fewer unnecessary letbinds, monad binds and returns | Christopher Pulte |
| 2016-09-25 | nicer lem output: no more unecessary 'unit' returns if if-expressions, for-lo... | Christopher Pulte |
| 2016-09-23 | sail-to-lem progress | Christopher Pulte |
| 2016-09-21 | fixes | Christopher Pulte |
| 2016-09-19 | sail-to-lem progress | Christopher Pulte |
| 2016-09-07 | push some lem pp changes | Christopher Pulte |
| 2016-07-12 | sail-to-lem and lem library fixes | Christopher |
| 2016-01-28 | Support exit and assert better in sequential interpreter and general interpre... | Kathy Gray |
| 2015-12-21 | fixes, pp progress | Christopher |
| 2015-12-16 | rewriter and pp changes for generating ARM output | Christopher |
| 2015-12-15 | better location information | Christopher |
| 2015-12-09 | adapted for Kathy's lexp effect typing changes: register writes should be cor... | Christopher |
| 2015-12-07 | adapted pp for Kathy's effect type changes | Christopher |
| 2015-12-03 | added prompt.lem for connecting to concurrency model and {power,armv8}_extras... | Christopher Pulte |
| 2015-11-25 | fixes, pp | Christopher Pulte |
| 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-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-11-03 | Support int and bigint library functions | 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 | 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 | Fixing bugs in pretty printer to ocaml | Kathy Gray |
| 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 | More library functions | Kathy Gray |
| 2015-09-29 | Boiler plate to generate an ml file from a sail spec. Now debugging the outpu... | Kathy Gray |
