sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2016-01-28	Support exit and assert better in sequential interpreter and general ↵	Kathy Gray
	interpreter interface
2016-01-27	Make mips build again	Kathy Gray
	Make quiet mode for sequential interpreter not print
2016-01-26	Fix some bugs in writing registers with slices in the sequential interpreter	Kathy Gray

2016-01-26	Fix problem in run_with_model where we forgot that ppcmem2 treats everything ↵	Kathy Gray
	as increasing, and updated ranges accordingly, and mistakenly were using the wrong range values for register slicing.
2016-01-20	see writes to registers in the register file for sequential interpreter	Kathy Gray

2016-01-20	Assorted bug fixes that gets one mips instruction running (then fails for ↵	Kathy Gray
	expected reasons) :)
2015-11-17	Very nearly there sequential interpreter, just need to hook in the spec ↵	Kathy Gray
	files for the different isas to support
2015-11-12	Incorporating elf into sequential interpreter	Kathy Gray
	Fix an effect bug on aliased id
2015-11-10	Make first half of sequential interpreter driver compile again	Kathy Gray

2015-04-22	Fix some interpreter bugs preventing ARM instructions from making progress	Kathy Gray

2014-11-17	Use red printing for the value in the hole from Printing_functions instead ↵	Kathy Gray
	of mangling the ascii manually
2014-11-06	Refactor printing to display the contents the [_] and to better format bit ↵	Kathy Gray
	vectors
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 ↵	Kathy Gray
	registers we might read that we want values for (particularly the PC)
2014-10-27	Correct externally visible endianness bugs	Kathy Gray

2014-10-20	Separate out printing facility from model driver into printing_functions ↵	Kathy Gray
	interface
2014-10-14	Iron out bugs in running new executable with branching; add new executable ↵	Kathy Gray
	as well.
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 ↵	Kathy Gray
	Bytevectors; add place holder for memory size dependency tracking
2014-09-30	Corrected writing to register bug. Now interpreter produces same result as ↵	Kathy Gray
	gdb on actual binary for hello6
2014-08-27	Changes to get another (slightly larger) executable running;	Kathy Gray
	adding executable as a test as well
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, ↵	Kathy Gray
	printing the events. Note: this commit switches back to a standard lem build located in ~/bitbucket/lem/lem
2014-08-20	Add ability to track register dependencies in interactive stepper; thus ↵	Kathy Gray
	testing register tracking/tainting
2014-08-19	make test_power_interactive working again; now using interp_interface ↵	Kathy Gray
	instead of internal actions
2014-08-19	Add file that actually drives command line interpreter	Kathy Gray