sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2019-05-08	Remove generated TeX file	Thomas Bauereiss

2019-04-15	Basic loop termination measures for Coq	Brian Campbell
	Currently only supports pure termination measures for loops with effects. The user syntax uses separate termination measure declarations, as in the previous recursive termination measures, which are rewritten into the loop AST nodes before type checking (because it would be rather difficult to calculate the correct environment to type check the separate declaration in).