summaryrefslogtreecommitdiff
path: root/src/Makefile
AgeCommit message (Expand)Author
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
2016-11-23Make type checker not run to fix point on resolving case-split type variables...Kathy Gray
2016-11-22fix mips MakefileChristopher Pulte
2016-11-14add option -lem_sequential for producing shallow embedding that refers to sta...Christopher Pulte
2016-11-08fixesChristopher Pulte
2016-11-07factor out regfp analysis types into etc/regfp.sailChristopher Pulte
2016-11-03split out RI node so that ppcmem model does not implement reserved instructio...Robert Norton
2016-10-20changes to support get_model for ppcmem.Robert Norton
2016-09-23Add register footprint function needed by ppcmem (mips only for now)Robert Norton
2016-06-03Change path inside sail Makefile to look for sail directory instead of l2Kathy Gray
2016-05-26add makery for mips/cheir LOC count.Robert Norton
2016-04-21Introduce wrapper function around MEMw* so that we can clear tags on non-capa...Robert Norton
2016-04-14add cheri make target analagous to mipsRobert Norton
2016-04-13Copy run_with_elf to make run_with_elf_cheri and revert run_with_elf to mips ...Robert Norton
2016-03-08add beginnings of cheri sail for kathy to do some debugging.Robert Norton
2016-03-07Split mips.sail into three file and make use of the new -o option in preparat...Robert Norton
2016-02-11point to lem and linksem embedded versions of libraries instead of relying on...Robert Norton
2016-02-11use paths relative to current makefile for lem and linksem.Robert Norton
2016-01-26tweak to dependencies to hopefully reduce need to rebuild mips.sail.Robert Norton
2016-01-21build mips interpreter with -gRobert Norton
2016-01-20trim some obsolete/bitrotted make stuff.Robert Norton
2016-01-20build all mips stuff in _build. Still hacky and might be preferable to use oc...Robert Norton
2016-01-19hacky initial makery for mips interpreter. Builds stuff in wrong places and n...Robert Norton
2015-12-22Add mips64 to get_elf in MakefileRobert Norton
2015-11-25non-working sail/mips interpreter integration for kathy to look at and exampl...Robert Norton
2015-11-20make the abis directory as wellKathy Gray
2015-11-20fixes to get-elf to work on linux. Hope it works on Mac too.Robert Norton
2015-11-19Keep up with linksemKathy Gray
2015-11-19More makefile typeKathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 10:04:13 +0000