sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2014-10-31	Add a num to bits function; start hooking up the power.ml file to the ↵	Kathy Gray
	symbol/memory address list.
2014-10-30	use proper equality on register name type	Peter Sewell

2014-10-30	harmonise argument order	Peter Sewell

2014-10-30	Add parameter to interp_exhaust with type maybe (list (reg_name,value)) for ↵	Kathy Gray
	registers we might read that we want values for (particularly the PC)
2014-10-28	Allow tracking of unknowns in interp library, removing the P hacks.	Kathy Gray
	Add a function from instruction to istate
2014-10-10	Functions for operating on bit and byte vectors from the interpreter interface	Kathy Gray

2014-10-07	kathy,peter: making decode integration with ppcmem2 typecheck	Peter Sewell

2014-10-07	Merge and make real Peter's comment type	Kathy Gray

2014-10-07	Put in type for instruction form for models; remove extra information from ↵	Kathy Gray
	Bytevectors; add place holder for memory size dependency tracking
2014-10-07	comment with suggested i_state_or_error type	Peter Sewell

2014-10-03	Add a decoding function to interp_interface and interp_inter_imp. (Note, ↵	Kathy Gray
	this is quite specific to Power's spec)
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