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-17	update division	Kathy Gray

2015-01-16	more for loop corrections, as well as pattern match error	Kathy Gray

2015-01-15	signed subtraction	Kathy Gray

2015-01-15	Fix for loop error causing premature stopping	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-30	clean up ghastly pre-submission pp hackery	Peter Sewell

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	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	Updated library	Kathy Gray

2014-11-24	wib	Kathy Gray

2014-11-24	Signed and unsigned comparisons	Kathy Gray

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

2014-11-23	fix logfile printing	Peter Sewell

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	fix register-from-address start int	Peter Sewell

2014-11-23	make pretty_interp be back in sync with pretty_print	Kathy Gray

2014-11-23	some Ord instance classes	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