sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2015-01-20	Fix sparse vector fupdate slicing, assigning values in the right order and ↵	Kathy Gray
	with the correct bit number
2015-01-16	more for loop corrections, as well as pattern match error	Kathy Gray

2015-01-15	Fix for loop error causing premature stopping	Kathy Gray

2014-12-18	Bring interpreter upto date with current Lem	Kathy Gray

2014-12-11	Many fixes, primarily dealing with undefined	Kathy Gray
	Including: turn an undefined literal into a vector of undefined values of the correct length handle sparse vector unspecified default values as undefined literals allow global lets to call library functions
2014-12-10	Fix mismatch errors in interpreter, mostly relating to taint/detaint behaviour	Kathy Gray
	Also fixed for loop evaluation
2014-12-09	Abstract tainting to almost always use taint, detaint, retaint, and ↵	Kathy Gray
	binary_taint functions instead of V_track directly. Annoyingly, Lem won't let one section of code use these functions, complaining of too much polymorphism. Also, might fix arithmetic
2014-11-24	improve value to string for debugging	Kathy Gray

2014-11-24	wib	Kathy Gray

2014-11-24	Missing patterns in pattern matches	Kathy Gray

2014-11-24	coerce single element bit vector to bit for conditionals	Kathy Gray

2014-11-23	slice Only when I should and not to erase an register write	Kathy Gray

2014-11-23	Slice generated vectors when appropriate	Kathy Gray

2014-11-23	Treat undef like unknown when needing a vector assignment of them	Kathy Gray

2014-11-23	make interpreter work better with unknowns, make interp_inter_imp do better ↵	Kathy Gray
	on coercions
2014-11-23	Print out value when pattern match fails	Kathy Gray

2014-11-23	make interpreter now builds	Kathy Gray
	and I think that I'm making vectors of unknowns in all the necessary places now.
2014-11-23	in progress	Kathy Gray

2014-11-22	Add size of register to register for making appropriate unknown register_values	Kathy Gray

2014-11-21	Fix bugs now documented in ppcmem notes	Kathy Gray

2014-11-20	abstract previous	Kathy Gray

2014-11-20	Use better type information for register inspections	Kathy Gray

2014-11-20	Handle constructors with zero parameters better.	Kathy Gray

2014-11-20	Set vector start for more register writes	Kathy Gray

2014-11-20	set more vector starts before sending them off to register writes	Kathy Gray

2014-11-19	Correct off-by-one bug in type checking vector slices	Kathy Gray
	Convert sparse vectors into full-fledged vectors more frequently and on export to memory system
2014-11-18	Fix various pattern match bugs; add a few functions	Kathy Gray

2014-11-17	Make env_union intelligently join two environments instead of just list append.	Kathy Gray

2014-11-16	Add overflow checking arithmetic operations. Fix various bugs that this exposed	Kathy Gray
	Of note: Interp_lib.to_num now takes an Unsigned or a Signed constructor, rather than a boolean
2014-11-13	numbers got to big for show, write my own version	Kathy Gray

2014-11-06	Refactor printing to display the contents the [_] and to better format bit ↵	Kathy Gray
	vectors
2014-11-05	Fix bug on decoding Sc	Kathy Gray

2014-11-04	Read parts of a register, not always just the whole thing	Kathy Gray

2014-11-04	Fixes bugs:	Kathy Gray
	not setting starting bit of vector properly not treating properly if when given a non boolean --- bool largely removed in place of bit, removing many/most is_one casts but true and false are still possible values coerces between bit vectors of length one and bits again, because reading from a register can otherwise be wrong with respect to the interface
2014-11-04	Fix setting of initial position in a vector after a slice	Kathy Gray

2014-10-28	taint tracking unknown in interpreter	Kathy Gray

2014-10-28	hacks on taint tracking	Peter Sewell

2014-10-28	Add proper tag to constructors when storing continuation	Kathy Gray

2014-10-16	bug fixes to run test from Christopher's tests	Kathy Gray

2014-10-07	Connect interpreter to representation of instructions.	Kathy Gray
	Warning: this changes a few of the constructor names in the instruction_extractor.lem interface
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-04	Make exhaust run from the first breakpoint in the interactive interpreter	Kathy Gray
	(I still think this is a silly place to run exhaust from, but it no longer finds errors or crashes)
2014-08-26	small changes for arm	Kathy Gray

2014-08-21	Improve printing of function calls in stepper mode	Kathy Gray

2014-08-18	Handling many register reads, writes, and memory reads.	Kathy Gray
	There are problems that warrant discussion about handling special registers that hold records or data structures previously.
2014-08-18	Switch run_power to use interp_interface. Compilers and begins running, and ↵	Kathy Gray
	then hits an error. So still in progress Note: moved barrier kind changes to interp_interface, along with other memory kinds
2014-08-18	tweak barrier kinds in interface (likely needs changes elsewhere)	Peter Sewell

2014-08-13	FInd/fix a redundant case now that warnings are manageable	Kathy Gray

2014-08-12	taint tracking through most of interpreter	Kathy Gray
	Need to add cases for tracking a taint past a conditional check where possible; and then to actually generate them from reading registers.
2014-08-12	more taint tracking, yet again	Kathy Gray