sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2016-04-13	cheri supporting run with elf	Kathy Gray

2016-04-13	Remove some warnings, in progress.	Kathy Gray

2016-04-12	Reduce warnings for interpreter. Removed all pattern match warnings for ↵	Kathy Gray
	interp_lib, interp_inter_imp, and printing_functions.
2016-03-30	Small missing cases in patterns	Kathy Gray

2016-03-16	Fix case of missing undef options in compare	Kathy Gray

2016-03-08	missing file from last commit	Kathy Gray

2016-03-08	Return undefined value on reads of uninitialised memory	Kathy Gray

2016-03-08	Start task of setting up tagged memory in sequential interpreter	Kathy Gray

2016-02-05	fix typo in kathy's last commit.	Robert Norton

2016-02-05	change signed mod behaviour for numbers to match that of vectors	Kathy Gray

2016-02-04	fix pretty printing of new mod_s	Robert Norton

2016-02-04	Add mod_s	Kathy Gray

2016-02-04	add forgotten lib binding	Kathy Gray

2016-02-03	mips: finish implementing address translation on instruction fetch and ↵	Robert Norton
	remove temporary hack in TranslateAddr.
2016-02-03	mips: add support for LLAddr, a debug register used for ll/sc. Also add ↵	Robert Norton
	missing psuedo-registers in run_with_elf.
2016-02-02	mips.sail: add an 'inBranchDelay' register so that SignalException can set ↵	Robert Norton
	correct state on exception. branchPending does not work because it is cleared before executing the branch delay.
2016-02-02	Print out the address of the instruction running in sequential interpreter	Kathy Gray

2016-02-02	Get mips stuff hooked up with translate address.	Kathy Gray
	Note: this support is rather mips centric at the moment
2016-02-02	add translate_address functionality	Kathy Gray

2016-01-29	fix typo in kathy's last commit.	Robert Norton

2016-01-29	Put correct tags on to_vec calls	Kathy Gray

2016-01-28	Support exit and assert better in sequential interpreter and general ↵	Kathy Gray
	interpreter interface
2016-01-27	Add --max_instruction to sequential interpreter to permit an upper bound on ↵	Kathy Gray
	instructions run
2016-01-27	Add ability to run to a particular instruction execution number	Kathy Gray
	Could later add the ability to run to a particular instruction form (like we had in ppcmem2) or address
2016-01-27	Make mips build again	Kathy Gray
	Make quiet mode for sequential interpreter not print
2016-01-27	start adding breakpoint	Kathy Gray

2016-01-26	Stop turning all decreasing vectors into indexed ones : i.e. let's print ↵	Kathy Gray
	them sensibly at last
2016-01-26	fix starting indices for mips initial register values.	Robert Norton

2016-01-26	Fix some bugs in writing registers with slices in the sequential interpreter	Kathy Gray

2016-01-26	print reg dump in correct format for cheri test suite. Reinstate timing of ↵	Robert Norton
	execution.
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-26	dump registers in format expected by cheri test suite when halting. Remove ↵	Robert Norton
	distinction between prog_mem and data_mem at least for now as data_mem was not being populated correctly (wrong elf flags?).
2016-01-22	mips: fix PC update logic so branches might work.	Robert Norton

2016-01-21	mips interpreter successfully executes more than one instruction after some ↵	Robert Norton
	wrangling of integer types
2016-01-21	mips: rename GPRs so that they sort lexicographically for display.	Robert Norton

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) :)
2016-01-20	Decoding a mips instruction :)	Kathy Gray
	Not executing yet as some previous commit has broken the interpreter's local assignment
2016-01-20	Show opcode in sequential interpreter when decode fails	Kathy Gray

2016-01-19	Put None and Some into interpreter environments	Kathy Gray
	Also making progress towards separating int sized things from integer sized things
2016-01-19	hacky initial makery for mips interpreter. Builds stuff in wrong places and ↵	Robert Norton
	needs fixing but nearly works.
2016-01-13	Closes issue #28 and issue #27	Kathy Gray
	Note: also adds a most_significant function to the standard library, that returns the lowest indexed bit in a inc bit vector and the biggest indexed bit in a dec bit vector.
2016-01-11	Interpreter interface now supports option<ast> result from decode and etc ↵	Kathy Gray
	instead of looking for exit calls
2016-01-11	Interpreter that understands assert	Kathy Gray

2015-12-22	More make file goo, and fixing a typo in run_with_elf	Kathy Gray

2015-12-22	More gluing mips to interpreter	Kathy Gray

2015-12-08	wreg effects and tags now proper for LEXP_field, LEXP_vector ↵	Kathy Gray
	LEXP_vector_range for sub register writes. Closes issue #23
2015-12-07	Interpreter working again with updated tag, effects, and types behaviour	Kathy Gray

2015-11-25	non-working sail/mips interpreter integration for kathy to look at and ↵	Robert Norton
	example mips elf file.
2015-11-17	Very nearly there sequential interpreter, just need to hook in the spec ↵	Kathy Gray
	files for the different isas to support