sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2018-04-03	Added test cases for builtins	Alasdair Armstrong
	Added library for simple integer arithmetic functions in lib/arith.sail WIP TeX file for formatting latex output included in lib/sail.tex Fixes for bugs in sail_lib
2018-03-15	add test that cheri specs build (ocaml).	Robert Norton

2018-02-07	Setup test suite for C backend	Alasdair Armstrong

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.
2018-01-19	Added RISCV test case to test suite	Alasdair Armstrong

2018-01-17	Add generated ARM spec and test cases for it	Alasdair Armstrong
	We add the generated ARM no_vector spec from the public v8.3 XML release, mostly so that we can add end-to-end test cases for sail using it. This kind of large example is very useful for thoroughly testing the sail compiler and interpreter.
2018-01-16	Improve formatting of output when running all test suites.	Alasdair Armstrong

2017-11-16	Fixed some longstanding issues regarding constraints on type constructors.	Alasdair Armstrong
	Now constraints on type constructors are checked correctly when checking that types are well formed using Env.wf_typ. The arity and kind of type constructor arguments are also checked in the same way. Also some general cleanups to the type checker code, with some auxillary functions being moved to more appropriate files.
2017-09-01	More test cases for ocaml backend	Alasdair Armstrong