summaryrefslogtreecommitdiff
path: root/src/Makefile
AgeCommit message (Expand)Author
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-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
2017-08-29Make Lem export of CHERI(-256) typecheckThomas Bauereiss
2017-08-24Use relative path in MakefileThomas Bauereiss
2017-08-24Fix some bugs related to the CHERI specThomas Bauereiss
2017-07-21Everything moved to new typecheckerAlasdair Armstrong
2017-06-29Ocamlbuild targets should always be remadeBrian Campbell
2017-05-10Build Cheri_embed_types.thy together with Cheri_embed_sequential.thyThomas Bauereiss
2017-05-08add make rules to (attempt to) build arm and power ml.Robert Norton
2017-04-25Add support for uart terminal. Also add read_bit_reg function for faster and ...Robert Norton
2017-04-21it turns out zarith has a function for printing big_ints in hex. Remove the d...Robert Norton
2017-04-21add make variable for setting ocaml compilation options (e.g. set to -p to en...Robert Norton
2017-04-20remove unnecessary lemlib include in compile.Robert Norton
2017-04-20add support for cheri128 ocaml shallow embeddingRobert Norton
2017-04-20build a single run_embed.native with mips and cheri models linked and choose ...Robert Norton
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 18:24:13 +0000