sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
2014-11-17	Use red printing for the value in the hole from Printing_functions instead of...	Kathy Gray
2014-11-06	Refactor printing to display the contents the [_] and to better format bit ve...	Kathy Gray
2014-11-04	Fix setting of initial position in a vector after a slice	Kathy Gray
2014-10-30	Add parameter to interp_exhaust with type maybe (list (reg_name,value)) for r...	Kathy Gray
2014-10-27	Correct externally visible endianness bugs	Kathy Gray
2014-10-20	Separate out printing facility from model driver into printing_functions int...	Kathy Gray
2014-10-14	Iron out bugs in running new executable with branching; add new executable as...	Kathy Gray
2014-10-07	kathy,peter: making decode integration with ppcmem2 typecheck	Peter Sewell
2014-10-07	Put in type for instruction form for models; remove extra information from By...	Kathy Gray
2014-09-30	Corrected writing to register bug. Now interpreter produces same result as gd...	Kathy Gray
2014-08-27	Changes to get another (slightly larger) executable running;	Kathy Gray
2014-08-21	Improve printing of function calls in stepper mode	Kathy Gray
2014-08-21	Allow command line interface to exhaustively evaluate the next step, printing...	Kathy Gray
2014-08-20	Add ability to track register dependencies in interactive stepper; thus testi...	Kathy Gray
2014-08-19	make test_power_interactive working again; now using interp_interface instead...	Kathy Gray
2014-08-19	Add file that actually drives command line interpreter	Kathy Gray