| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-03-06 | Add option to slice out printing and tracing functions when generating C | Alasdair Armstrong | |
| Make instruction dependency graph use graph.ml Expose incremental graph building functions for performance in graph.mli | |||
| 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 | |
| Removes the need for the node type to have a valid Hash function | |||
| 2018-08-13 | Add graph library graph.ml, and use to correctly sort type definitions | Alasdair | |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |