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	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
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-10-23	slight change to library	Kathy Gray

2015-10-08	augment annot of interpreter	Kathy Gray

2015-10-05	More library functions	Kathy Gray
	Tweak to rewriter to actually rewrite function patterns
2015-08-06	Update analysis to merge states and values after branches taken due to ↵	Kathy Gray
	unknown conditions. Does not merge if one path has resulted in an exit
2015-07-24	Turn back off new analysis style until it works	Kathy Gray

2015-07-24	Merge branch 'master' of bitbucket.org:Peter_Sewell/l2	Shaked Flur

2015-07-24	added signed_integer	Shaked Flur

2015-07-24	Begin doing better analysis on case splits over unknowns	Kathy Gray

2015-07-20	minor fixes	Kathy Gray

2015-07-19	abbreviate printing of memory values <=9	Peter Sewell

2015-07-02	fix match_pattern reverse bug	Kathy Gray

2015-07-01	fix equality comparison	Kathy Gray

2015-07-01	Use set instead of list for tainted values	Kathy Gray

2015-07-01	Go on despite the presence of an exit in exhaustive mode	Kathy Gray

2015-06-30	Fix updating dec vector start bugs	Kathy Gray

2015-06-29	Fix pattern match error	Kathy Gray

2015-06-29	Return unknown for a == unknown or unknown == a. Fixes issue #15	Kathy Gray

2015-06-28	Tag enumeration variables properly when introducing them	Kathy Gray

2015-06-26	Better handling of literal true and false (turn them into the expected bit0 ↵	Kathy Gray
	and bit1); also fix some handling of wmv and eamem.