| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-02-21 | Move topological sorting code to graph.ml | Thomas Bauereiss |
| 2019-05-20 | Speed up graph construction by always keeping graph in normalized form | Brian Campbell |
| 2019-03-13 | C: Improve Jib IR, add SSA representation | Alasdair Armstrong |
| 2019-03-06 | Add option to slice out printing and tracing functions when generating C | Alasdair Armstrong |
| 2019-03-01 | WIP: Start working on being able to slice single instructions out of specs | Alasdair Armstrong |
| 2018-08-16 | Use Set rather than Hashtbl in graph.ml | Alasdair Armstrong |
| 2018-08-13 | Add graph library graph.ml, and use to correctly sort type definitions | Alasdair |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |