sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2014-07-18	Writing to concatenated aliases	Kathy Gray

2014-07-16	Reading from an alias to two concatenated registers; not writing yet.	Kathy Gray

2014-07-15	Add failing test for type of aliases	Gabriel Kerneis
	File "test/regbits.sail", line 23, character 3 to line 23, character 4 Type error: Can only assign to identifiers with type register or reg, found identifier CA with type bit
2014-07-14	Initial support for aliases and exit through the type system and the ↵	Kathy Gray
	interpreter. An alias can be read within the interpreter, but not written to. Exits aren't yet taken in the interpreter.
2014-03-27	Check simple constraints (i.e. ones using only constants).	Kathy Gray
	Changes syntax of tuple type from * to , so that nexps of the form 8 * 'n can be supported in the parser, which was apparently not true before.
2014-03-17	More coercions	Kathy Gray

2014-03-14	Support regbits read and write	Gabriel Kerneis
	No support for non-contiguous writes.
2014-03-12	Correctly type checking and interpreting accesses of register "fields". ↵	Kathy Gray
	Register-reading action isn't reading the subreg correctly still (seems to be making up a value though). Corrects but to vectors.sail and power.sail use of plus. (A new bug in power.sail is exposed using a binary operator with one value)
2014-03-11	Change treatment of type abbreviations so that name and full type are ↵	Kathy Gray
	available for field lookups of registers; this feature still not fully working.
2014-03-11	Increase support for register "field" accesses; there is now a bug in how ↵	Kathy Gray
	run_interp handles SubReg register forms.
2014-03-03	new test file	Kathy Gray