| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2014-07-25 | Update make file to make clean from top level directory, and to not build ↵ | Kathy Gray | |
| all tests on all. Instead there is a make full command to make all the tests as well as everything. | |||
| 2013-11-11 | Remove lem-lib hack | Gabriel Kerneis | |
| Lem has now switched to the new library by default (remember to "make ocaml-libs" in Lem to build it). | |||
| 2013-11-07 | Port L2 to new Lem | Gabriel Kerneis | |
| Tests compile and run properly. There is a lot of hackery going on to workaround the rough edges of new Lem. Use at your own risk (you need the "library-format" branch of lem). | |||
| 2013-10-04 | Clean up build system | Gabriel Kerneis | |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |