summaryrefslogtreecommitdiff
path: root/src/Makefile
AgeCommit message (Expand)Author
2019-12-13move ott pp to different Makefile rulePeter Sewell
2019-12-13experiment in ott-generated ppPeter Sewell
2019-10-28Fix jib.ott and SMT regressionsAlasdair Armstrong
2019-10-28Some C backend refactoringAlasdair
2019-04-17Build libsail again (removed Bytcode and Share_directory)Shaked Flur
2019-04-16Temporarily remove Makefile part that is making Jenkins failAlasdair Armstrong
2019-03-14Merge branch 'sail2' into rmem_interpreterJon French
2019-03-13package and install Sail as an ocamlfind libraryJon French
2019-03-08C: Refactor C backendAlasdair Armstrong
2019-02-25Merge branch 'sail2' into rmem_interpreterJon French
2019-02-13Attempt to parse sail version from opam file for manifest.ml. Update version ...Robert Norton
2019-02-13Merge branch 'sail2' into rmem_interpreterJon French
2019-02-08Cleanup src MakefileAlasdair
2018-12-26Add makefile target for building with Bisect coverageAlasdair Armstrong
2018-12-20Make sure sail -v prints useful version infoAlasdair Armstrong
2018-10-24src/Makefile: add isail.byte target for debugging interpreterJon French
2018-06-08Correct dependencies of bytecode sailBrian Campbell
2018-04-26Add a new SHARE_DIR argument to use when doing opam build. For non-opam build...Robert Norton
2018-04-26Opam packaging: add install and uninstall targets and code to find various fi...Robert Norton
2018-04-26Remove obsolete mips/cheri rules from sail makefile. These are now built in t...Robert Norton
2018-04-18Fix build on linuxAlasdair Armstrong
2018-04-18Port to Mac: BSD sed != GNU sedAlastair Reid
2018-04-05Cleanup repository by removing old and generated filesAlasdair Armstrong
2018-03-08rename mips_new_tc to mipsRobert Norton
2018-03-02Use sail_lib.lem values in C backendAlasdair Armstrong
2018-02-22wipRobert Norton
2018-02-17Merge master branch into sail2 for OCaml 4.06 compatibilityThomas Bauereiss
2018-02-09Formalize C backend intermediate representation in OttAlasdair Armstrong
2018-02-08work in progress mips sail2 port.Robert Norton
2018-01-31minor renameShaked Flur
2018-01-26Missing -ocamlfindBrian Campbell
2018-01-25Fix building bytecode sailBrian Campbell
2018-01-23Started working on C backend for sailAlasdair Armstrong
2017-12-30use linksem as a packageShaked Flur
2017-12-28use ocamlfind to locate lem and zarithShaked Flur
2017-12-13Cleanup code by fixing compiler warnings, and fix ocaml compilationAlasdair Armstrong
2017-12-13Merge remote-tracking branch 'origin/master' into interactiveAlasdair Armstrong
2017-12-13Use big_nums from LemAlasdair Armstrong
2017-12-13find zarith using ocamlfind instead of using the one in ocaml-lib which is no...Shaked Flur
2017-12-11Prototype interactive mode for sail.Alasdair Armstrong
2017-12-05Update header files on masterAlasdair Armstrong
2017-12-05Update license headers for Sail sourceAlasdair Armstrong
2017-11-29Switched to bytecode compiler for executing interpreter to avoid stack overflowAlasdair Armstrong
2017-11-17Fix Makefile for interpreter and update instruction_extractorAlasdair Armstrong
2017-11-17Fix interpreter to work with new typecheckerAlasdair Armstrong
2017-10-25Point sail/src makefile at ott file in language/Alasdair Armstrong
2017-10-25Generate ast.ml from ott file and update makefile.Alasdair Armstrong
2017-09-29Add MIPS->Isabelle target to MakefileThomas Bauereiss
2017-09-14Fix a regression when writing to a register via a reference in a vector such ...Thomas Bauereiss
2017-09-02Add command line flags to toggle sequential monad and native machine wordsThomas Bauereiss
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:07:28 +0000