summaryrefslogtreecommitdiff
path: root/mips/main.sail
AgeCommit message (Expand)Author
2018-09-21Remove cheri and mips specs -- they now have their own repository.Robert Norton
2018-06-27Add a new function cycle_limit_reached that returns bool, allowing for gracef...Robert Norton
2018-06-26mips: fix duplication of cycle_count call that arose due to git merge.Robert Norton
2018-06-26mips: comment out printing of EXCEPTION on every ISA exception.Robert Norton
2018-06-25Use getopt rather than argp for Mac compatibility in C runtimeAlasdair Armstrong
2018-06-22add support for new cycle_limit feature in mips.Robert Norton
2018-06-21Remove loading kernel from mips mainAlasdair Armstrong
2018-06-11More efficient bitfield implementationAlasdair Armstrong
2018-06-07Refactor mips main a little to work around apparent bug in c generation. Gene...Robert Norton
2018-06-04cheri: print debug trace info to stderr to keep it separate from uart output.Robert Norton
2018-05-17build fixes: add back tag effect skips required for mips. Move UART check in ...Robert Norton
2018-05-17changes to for testing FreeBSD boot on MIPS: allowing loading raw file in oca...Robert Norton
2018-05-17Refactor main.sailThomas Bauereiss
2018-05-09Add tests for Isabelle->OCaml generation for CHERI and AArch64Thomas Bauereiss
2018-03-27print IPS after running cheri model.Robert Norton
2018-03-22Fix C compilation for CHERI and MIPSAlasdair Armstrong
2018-03-08rename mips_new_tc to mipsRobert Norton
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 23:25:04 +0000