sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2018-08-01	Remove old test directory in src/test	Alasdair Armstrong

2017-08-01	Modified the typechecker for ASL generation	Alasdair Armstrong

2014-04-15	Use type information in vector concatenation pattern matching in interpreter.	Kathy Gray
	Does not properly bind variables (i.e. in the pattern 0b01:(bit[3]) a: 0b0001 subsequent uses of a will not be bound in the interpreter, though they are in the type checker), so until bug is fixed, treat all such identifiers as _
2014-03-31	Extend constraint checking, and add casts for base of a vector shifts (i.e. ↵	Kathy Gray
	from 0 to 32 etc, doesn't change order yet.).
2014-02-15	Full type checker. No constraint checking in place.	Kathy Gray

2014-02-12	Checking assignment to a variable	Kathy Gray

2014-02-07	type checking switch/case expressions	Kathy Gray

2014-01-14	Fix vector concat pattern matching	Gabriel Kerneis
	The concatenation list was reversed.
2014-01-09	Fixed bug in resuming after an action (which was manifesting as an apparent ↵	Kathy Gray
	pattern match bug, which was actually working fine).
2014-01-08	Fix pretty-printing of switch-cases	Gabriel Kerneis
	Weird bug, cf. test/pattern.sail.