sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2017-12-04	renamed hgen to gen	Shaked Flur

2017-08-15	remove unneeded regs_out_in.hgen files.	Robert Norton

2016-12-09	sail changes for making lem embedding Isabelle-friendlier	Christopher Pulte

2016-11-30	shallow embedding fix, rename 'copy' to 'reset_vector_start', don't print ↵	Christopher Pulte
	shallow/deep ast conversion type class instances anymore, add herdtools ast / shallow ast conversion functions, add mips ImplementationDefinedStopFetching instruction
2016-11-24	attempt to preserve signs of immediate where appropriate when translating to ↵	Robert Norton
	sail->ppcmem (no need to worry about reverse direction).
2016-11-23	be consistent about using lower case when parsing/pretty printing MIPS assembly.	Robert Norton

2016-11-23	add support for symbolic registers in litmus tests.	Robert Norton

2016-11-08	add mips thread start instruction.	Robert Norton

2016-10-27	add hgen for J branches	Robert Norton

2016-10-20	changes to support get_model for ppcmem.	Robert Norton