sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2014-12-11	Add 2 ** n function; support providing type variables to other files when lexing	Kathy Gray

2014-12-11	Change compare of two big ints to compare_big_int	Kathy Gray

2014-12-11	turn back off debugging printf	Kathy Gray

2014-12-11	fix error with type int and subtraction	Kathy Gray

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	Support splitting sail definition across multiple files	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-12-09	Some of the type rules for expressions	Kathy Gray

2014-12-04	ott rules for type checking pattern match	Kathy Gray

2014-12-03	Type rules unto coercion now represented in ott	Kathy Gray

2014-11-30	clean up ghastly pre-submission pp hackery	Peter Sewell

2014-11-28	full list of built-in functions in rudimentary manual	Kathy Gray

2014-11-27	Start having a manual of sorts. At least specify the built in functions	Kathy Gray
	(list not complete)
2014-11-27	Start of risc-v	Kathy Gray

2014-11-27	updated test for power.sail	Kathy Gray

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