| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2016-01-28 | Support exit and assert better in sequential interpreter and general ↵ | Kathy Gray | |
| interpreter interface | |||
| 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 ↵ | Kathy Gray | |
| (probably) at least for Power. | |||
| 2015-10-23 | More of sail correctly generating ocaml; including using polymorphic ↵ | Kathy Gray | |
| variants when there are more than 246 constructors | |||
| 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 | |
| more library | |||
| 2015-10-05 | More library functions | Kathy Gray | |
| Tweak to rewriter to actually rewrite function patterns | |||
| 2015-09-29 | Boiler plate to generate an ml file from a sail spec. Now debugging the ↵ | Kathy Gray | |
| output of such | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |