sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2014-08-18	fix compile error	Kathy Gray

2014-08-18	Switch run_power to use interp_interface. Compilers and begins running, and ↵	Kathy Gray
	then hits an error. So still in progress Note: moved barrier kind changes to interp_interface, along with other memory kinds
2014-08-18	wib?	Peter Sewell

2014-08-18	make interp_exhaustive not take an interp_mode argument	Peter Sewell

2014-08-14	Small tweaks to interp_interface interface	Kathy Gray
	Also adding more comments and getting the ml files built in the build process
2014-08-13	Complete tainting phase 1	Kathy Gray
	Now when mode.track_values is true, on every register read, the returned value is tainted with the register it came from. This tracking is followed through every operation the interperter touches (except library functions, to be completed next). One a memory operation involving a tracked value, there is optionally list of registers that value arose from in the memory request (i.e. maybe (list reg_name)).
2014-08-11	More taint tracking.	Kathy Gray
	Catch interp_inter_imp up with interp. WARNING: This commit triggers an exponential performance bug in Lem. To alleviate this bug, I am running with a locally modified Lem that has line 1321 of lem/src/typed_ast.ml commented out (On my laptop, I gave up trying to compile after about 900 seconds; beefier computers May be able to run unmodified, I don't know)
2014-06-30	Support for nondeterministic blocks	Kathy Gray

2014-06-25	Add support for memory barrier	Kathy Gray

2014-06-09	Working towards evaluating with interp_exhaustive	Kathy Gray

2014-05-28	Support stepped interpreting, and use normalisation instead of eval_nexp in ↵	Kathy Gray
	constraints
2014-05-22	A (hopefully) sufficient interface and implementation between memory and the ↵	Kathy Gray
	interpreter
2014-05-21	More interface support; interp_inter_imp now compiling	Kathy Gray

2014-05-20	Fix interp compiling bug	Kathy Gray

2014-05-20	yet more interface	Kathy Gray

2014-05-20	More interface	Kathy Gray

2014-05-14	More interface update for connecting externally (interp_interface provides ↵	Kathy Gray
	functions for connecting the interpreter to a memory model) Also adding default values to index vectors for supporting sparse vectors/maps