summaryrefslogtreecommitdiff
path: root/Makefile
AgeCommit message (Expand)Author
2019-01-29Merge branch 'sail2' into asl_flow2Thomas Bauereiss
2019-01-22Build isabelle and hol files in lib from lem before opam install.Robert Norton
2019-01-19wibShaked Flur
2019-01-14Merge remote-tracking branch 'origin/sail2' into asl_flow2Alasdair
2018-12-26Add makefile target for building with Bisect coverageAlasdair Armstrong
2018-12-20RISVC model is now at https://github.com/rems-project/sail-riscv . Remove it ...Robert Norton
2018-07-10remove sim.dts when anonymising.Robert Norton
2018-07-10further anonymisation work.Robert Norton
2018-07-09Changes for anonymisation. Ensure headers are in correct format. Remove some ...Robert Norton
2018-07-09Support building an anonymised version of manual. Fix sail example in manual....Robert Norton
2018-05-18Avoid split_on_char function that was introduced in OCaml 4.04. Use Util vers...Robert Norton
2018-04-30Make make uninstall a bit safer...Robert Norton
2018-04-26Add a new SHARE_DIR argument to use when doing opam build. For non-opam build...Robert Norton
2018-04-26Fix apply_header target with location of LICENSE file.Robert Norton
2018-04-26Opam packaging: add install and uninstall targets and code to find various fi...Robert Norton
2017-12-14Fix all compiler warning except in lem pretty printer and monomorphisationAlasdair Armstrong
2017-12-11Allow stepping through code when evaluatingAlasdair Armstrong
2017-12-11Prototype interactive mode for sail.Alasdair Armstrong
2017-08-01Modified the typechecker for ASL generationAlasdair Armstrong
2017-07-26Interpreter doesn't build with new typechecker + changes from masterAlasdair Armstrong
2017-06-13Add Makefile and ROOT for Isabelle libraryThomas Bauereiss
2017-02-03fix headersPeter Sewell
2017-02-03licensingPeter Sewell
2017-01-24add "interpreter" to make allPeter Sewell
2016-06-03added ARMv8Shaked Flur
2016-06-02Add rule in Makefile that uses headache to add copyright header to mips/cheri...Robert Norton
2016-04-19force link to prevent make from failingShaked Flur
2016-02-25Update read me to the present day and cause the makefile from the top level d...Kathy Gray
2014-10-07kathy,peter: making decode integration with ppcmem2 typecheckPeter Sewell
2014-08-13Silence some lem warnings in compilation.Kathy Gray
2014-08-05Add some reasonable targets for the top level make file, including make test ...Kathy Gray
2014-07-25Update make file to make clean from top level directory, and to not build all...Kathy Gray
2013-11-11Remove lem-lib hackGabriel Kerneis
2013-11-07Port L2 to new LemGabriel Kerneis
2013-10-04Clean up build systemGabriel Kerneis
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 15:30:10 +0000