summaryrefslogtreecommitdiff
path: root/src/Makefile
AgeCommit message (Expand)Author
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
2015-11-19typo in make fileKathy Gray
2015-11-18Update makefile for elfKathy Gray
2015-11-17Very nearly there sequential interpreter, just need to hook in the spec files...Kathy Gray
2015-11-12Incorporating elf into sequential interpreterKathy Gray
2015-11-10Update tag for register write in nested lexpKathy Gray
2015-04-08makefile changes to keep up with lem ocaml-lib changesKathy Gray
2014-11-10Print contents of the [_] hole when it's available.Kathy Gray
2014-11-07stop using LEMLIB in makefile, in case that's interfering with lem library pl...Kathy Gray
2014-10-30Pull in updated elf model, make build work again (at least for me)Kathy Gray
2014-10-16bug fixes to run test from Christopher's testsKathy Gray
2014-10-14Iron out bugs in running new executable with branching; add new executable as...Kathy Gray
2014-09-29Connect up to elf model; which doesn't seem to be representing the elf file p...Kathy Gray
2014-09-29Add in elf model from Dominic/Stephen. Make run_power build again. Does not e...Kathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 14:52:39 +0000