sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2015-03-19	added constructors for aarch64 read_kind and write_kind	Shaked Flur

2015-03-18	Use boolean on write where applicable	Kathy Gray

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-02-27	Fix a series of errors leading to the first ARM instruction not running.	Kathy Gray
	Including: Correct loss of constraints between declared constraints, pattern constraints and expression body constraints Handle insertion of dependent parameters in the case of unit parameters Add a case to how ifields are translated to permit numbers as well as bits and bitvectors Expand interpreter to actually handle user-defined functions on the left had side of the assignment expression.
2015-01-28	take sign into account on whether a number fits into the number of available ↵	Kathy Gray
	bits or not
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