sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2014-08-21	Improve printing of function calls in stepper mode	Kathy Gray

2014-08-19	make test_power_interactive working again; now using interp_interface ↵	Kathy Gray
	instead of internal actions
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	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-07-25	Add another type signature needed (we think but Susmit and I can't quite ↵	Kathy Gray
	remember why) for ppcmem integration.
2014-07-25	Additional functions for interface	Kathy Gray

2014-06-30	Support for nondeterministic blocks	Kathy Gray

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

2014-05-21	correct accidental capitalization of Interp in file name	Kathy Gray