sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
2014-10-31	Add a num to bits function; start hooking up the power.ml file to the symbol/...	Kathy Gray
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 r...	Kathy Gray
2014-10-28	Allow tracking of unknowns in interp library, removing the P hacks.	Kathy Gray
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 By...	Kathy Gray
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, this...	Kathy Gray
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 instead...	Kathy Gray
2014-08-18	Switch run_power to use interp_interface. Compilers and begins running, and t...	Kathy Gray
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
2014-08-13	Complete tainting phase 1	Kathy Gray
2014-07-25	Add another type signature needed (we think but Susmit and I can't quite reme...	Kathy Gray
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