sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2015-03-17	Correct directionality in interpreter. Now the interpreter shouldn't use inc ↵	Kathy Gray
	unless that's the current default or there's no default set in the spec
2015-03-15	Many changes:	Kathy Gray
	Split out specification specific memory and external functions Reduce the presence of big_int Reduce the use of inc direction, instead using a default from the spec. Still a few places need to be parameterised over direction Also some bug fixes exposed by above and running ARM second instruction
2015-01-28	take sign into account on whether a number fits into the number of available ↵	Kathy Gray
	bits or not
2015-01-17	update division	Kathy Gray

2015-01-15	signed subtraction	Kathy Gray

2015-01-15	Add support for overflow detecting subtraction	Kathy Gray

2015-01-14	correct where overflow checking should happen on multiplication arithmetic	Kathy Gray

2015-01-14	correct wrongly used variable in arith operations	Kathy Gray

2015-01-14	more carry out	Kathy Gray

2015-01-14	carry out	Kathy Gray

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

2014-12-16	Fix bug on nat/type/order/effect variable binding	Kathy Gray
	Fix bug allowing function types in too many places
2014-12-11	Carry out change	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 neg	Kathy Gray

2014-12-10	Fix fromJust of Nothing error in multiplication	Kathy Gray

2014-12-10	Fix mismatch errors in interpreter, mostly relating to taint/detaint behaviour	Kathy Gray
	Also fixed for loop evaluation
2014-12-09	Add quite important detaint	Kathy Gray

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-26	Fix neg	Kathy Gray

2014-11-25	more changes to quot and mod	Kathy Gray

2014-11-25	another carry out attempt	Kathy Gray

2014-11-25	improved division	Kathy Gray

2014-11-25	wib	Kathy Gray

2014-11-25	carry out is computed	Kathy Gray

2014-11-25	another mod and quot definition	Kathy Gray

2014-11-25	refine quot and mod	Kathy Gray

2014-11-24	Add new quot and mod operators	Kathy Gray

2014-11-24	don't to_num a num...	Kathy Gray

2014-11-24	Give a better answer on overflow with two vectors of unknowns (i.e. unknown ↵	Kathy Gray
	instead of 0)
2014-11-24	Correctly cast between 1 and a single bit	Kathy Gray

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

2014-11-24	Updated library	Kathy Gray

2014-11-24	wib	Kathy Gray

2014-11-24	Signed and unsigned comparisons	Kathy Gray

2014-11-23	coerce better between a single bit and a bit vector of one bit	Kathy Gray

2014-11-23	maybe best not to die at the first sign of an undef...	Kathy Gray

2014-11-23	properly name division operators in lib	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-22	signed multiplication and quot	Kathy Gray

2014-11-22	add new function for overflow arithmetic instructions	Kathy Gray

2014-11-21	Support signed and unsigned arithmetic	Kathy Gray

2014-11-21	Print out default values for underspecified vectors instead of leaving them ↵	Kathy Gray
	and letting them turn into undefineds
2014-11-20	look for sub matches of registers on exhaustive mode	Kathy Gray

2014-11-18	Fix various pattern match bugs; add a few functions	Kathy Gray

2014-11-16	Add some missing functions	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-05	Correct bug treating unsigned values as signed in arith operations	Kathy Gray

2014-10-30	Add case to neg for interp_lib	Kathy Gray

2014-10-28	Allow tracking of unknowns in interp library, removing the P hacks.	Kathy Gray
	Add a function from instruction to istate