summaryrefslogtreecommitdiff
path: root/src/lem_interp/interp_inter_imp.lem
AgeCommit message (Expand)Author
2014-08-18Handling many register reads, writes, and memory reads.Kathy Gray
2014-08-18fix compile errorKathy Gray
2014-08-18Switch run_power to use interp_interface. Compilers and begins running, and t...Kathy Gray
2014-08-18wib?Peter Sewell
2014-08-18make interp_exhaustive not take an interp_mode argumentPeter Sewell
2014-08-14Small tweaks to interp_interface interfaceKathy Gray
2014-08-13Complete tainting phase 1Kathy Gray
2014-08-11More taint tracking.Kathy Gray
2014-06-30Support for nondeterministic blocksKathy Gray
2014-06-25Add support for memory barrierKathy Gray
2014-06-09Working towards evaluating with interp_exhaustiveKathy Gray
2014-05-28Support stepped interpreting, and use normalisation instead of eval_nexp in c...Kathy Gray
2014-05-22A (hopefully) sufficient interface and implementation between memory and the ...Kathy Gray
2014-05-21More interface support; interp_inter_imp now compilingKathy Gray
2014-05-20Fix interp compiling bugKathy Gray
2014-05-20yet more interfaceKathy Gray
2014-05-20More interfaceKathy Gray
2014-05-14More interface update for connecting externally (interp_interface provides fu...Kathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 12:33:19 +0000