| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-09-12 | Docs: Mention "opam pin" and reword a detail | Columbus240 | |
| opam pin is useful in the development workflow. About the rewording: The tests of Sail check the behavior of Sail and not whether it is installed correctly, because the instructions above that paragraph don’t install Sail, they just build it. These circumstances weren’t represented appropriately by the text. | |||
| 2020-09-12 | Note in docs that some tests require cvc4 | Columbus240 | |
| 2020-01-28 | Use external PPrint | Thomas Bauereiss | |
| 2019-12-04 | Minor doc fixes. | Robert Norton | |
| 2019-12-04 | Move building from source instructions from wiki into repo and update links. ↵ | Robert Norton | |
| Other minor tweaks. | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |
path: root/BUILDING.md