| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |