sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2020-09-25	tests: Move copy-pasted code into a shared helper .sh	Alex Richardson
	Also fix a few shellcheck warnings related to printf while doing so.
2018-11-01	Changes to enable analysing type errors in ASL parser	Alasdair Armstrong
	Also some pretty printer improvements Make all the tests use the same colours for green/red/yellow
2018-02-15	Rebase state monad onto prompt monad	Thomas Bauereiss
	Generate only one Lem model based on the prompt monad (instead of two models with different monads), and add a lifting from prompt to state monad. Add some Isabelle lemmas about the monad lifting. Also drop the "_embed" and "_sequential" suffixes from names of generated files.
2018-01-26	Give LEM test suite a more useful name for benefit of jenkins.	Robert Norton

2018-01-23	Run tests for Lem shallow embedding	Thomas Bauereiss
	Uses the typechecker tests for now. Also fix two minor bugs in pretty-printer and rewriter uncovered by the tests.