summaryrefslogtreecommitdiff
path: root/src/Makefile
AgeCommit message (Expand)Author
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
2017-04-06add support for address translation and exit handling in mips ocaml shallow e...Robert Norton
2017-03-24Checkpoint work-in-progress mips sequential interpreter using ocaml shallow e...Robert Norton
2017-02-03replace bit vector return types in getCapX functions with equivalent integer ...Robert Norton
2017-02-03fix headersPeter Sewell
2017-01-25merge cheri 256 and 128 together factoring out differing parts into separate ...Robert Norton
2017-01-24first pass at cheri128 sail.Robert Norton
2016-12-12cheri sail export progressChristopher Pulte
2016-12-08add target for building cheri_notlb.lemRobert Norton
2016-11-28make sail produce prompt and state version of shallow embedding files at the ...Christopher Pulte
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 08:00:29 +0000