| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-08-07 | Remove Makefile references to old directories | Brian Campbell | |
| 2020-06-03 | add docker makefile target | jp | |
| 2019-04-17 | Allow libsail to be installed without the other things (for rmem) | Shaked Flur | |
| 2019-03-13 | package and install Sail as an ocamlfind library | Jon French | |
| 2019-01-29 | Merge branch 'sail2' into asl_flow2 | Thomas Bauereiss | |
| 2019-01-22 | Build isabelle and hol files in lib from lem before opam install. | Robert Norton | |
| 2019-01-19 | wib | Shaked Flur | |
| 2019-01-14 | Merge remote-tracking branch 'origin/sail2' into asl_flow2 | Alasdair | |
| 2018-12-26 | Add makefile target for building with Bisect coverage | Alasdair Armstrong | |
| 2018-12-20 | RISVC model is now at https://github.com/rems-project/sail-riscv . Remove it ↵ | Robert Norton | |
| and tests. | |||
| 2018-07-10 | remove sim.dts when anonymising. | Robert Norton | |
| 2018-07-10 | further anonymisation work. | Robert Norton | |
| 2018-07-09 | Changes for anonymisation. Ensure headers are in correct format. Remove some ↵ | Robert Norton | |
| redundant files. | |||
| 2018-07-09 | Support building an anonymised version of manual. Fix sail example in ↵ | Robert Norton | |
| manual. Remove incomplete types chapter from manual per AA's recommendation. | |||
| 2018-05-18 | Avoid split_on_char function that was introduced in OCaml 4.04. Use Util ↵ | Robert Norton | |
| version instead and make sure to install util and copy it to ocaml build directory. | |||
| 2018-04-30 | Make make uninstall a bit safer... | Robert Norton | |
| 2018-04-26 | Add a new SHARE_DIR argument to use when doing opam build. For non-opam ↵ | Robert Norton | |
| builds this defaults to git root. | |||
| 2018-04-26 | Fix apply_header target with location of LICENSE file. | Robert Norton | |
| 2018-04-26 | Opam packaging: add install and uninstall targets and code to find various ↵ | Robert Norton | |
| files in installed location. | |||
| 2017-12-14 | Fix all compiler warning except in lem pretty printer and monomorphisation | Alasdair Armstrong | |
| 2017-12-11 | Allow stepping through code when evaluating | Alasdair Armstrong | |
| 2017-12-11 | Prototype interactive mode for sail. | Alasdair Armstrong | |
| Requires linenoise library (opam install linenoise) for readline support. Use 'make isail' to build sail with interactive support. Plain 'make sail' should work as before with no additional dependencies. Use 'sail -i <commands>' to run sail interactively, e.g. sail -new_parser -i test/ocaml/prelude.sail test/ocaml/trycatch/tc.sail then try some commands for typechecking and evaluation sail> :t main sail> main () Doesn't use the lem interpreter right now, instead has a small operational semantics in src/interpreter.ml, but this is not very complete and will be changed/removed. | |||
| 2017-08-01 | Modified the typechecker for ASL generation | Alasdair Armstrong | |
| 2017-07-26 | Interpreter doesn't build with new typechecker + changes from master | Alasdair Armstrong | |
| Makes it so that the jenkins buildserver will only try to build sail and not the interpreter for sail_new_tc | |||
| 2017-06-13 | Add Makefile and ROOT for Isabelle library | Thomas Bauereiss | |
| 2017-02-03 | fix headers | Peter Sewell | |
| 2017-02-03 | licensing | Peter Sewell | |
| 2017-01-24 | add "interpreter" to make all | Peter Sewell | |
| 2016-06-03 | added ARMv8 | Shaked Flur | |
| 2016-06-02 | Add rule in Makefile that uses headache to add copyright header to ↵ | Robert Norton | |
| mips/cheri model. | |||
| 2016-04-19 | force link to prevent make from failing | Shaked Flur | |
| 2016-02-25 | Update read me to the present day and cause the makefile from the top level ↵ | Kathy Gray | |
| directory to be a bit more sensible | |||
| 2014-10-07 | kathy,peter: making decode integration with ppcmem2 typecheck | Peter Sewell | |
| 2014-08-13 | Silence some lem warnings in compilation. | Kathy Gray | |
| 2014-08-05 | Add some reasonable targets for the top level make file, including make test ↵ | Kathy Gray | |
| and make power. | |||
| 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 |