sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
2018-12-20	RISVC model is now at https://github.com/rems-project/sail-riscv . Remove it ...	Robert Norton
2018-11-01	Changes to enable analysing type errors in ASL parser	Alasdair Armstrong
2018-10-23	RISC-V: switch c tests to use the C platform simulator; update .gitignore.	Prashanth Mundkur
2018-09-07	Jenkins: Fix Jenkins issue with RISC-V test suite	Alasdair Armstrong
2018-09-07	RISCV: Run RISC-V tests using version compiled to C	Alasdair Armstrong
2018-07-07	Add the lrsc tests from riscv-tests.	Prashanth Mundkur
2018-05-22	Re-enable the RISC-V lem build, and switch the test-suite to use the platform...	Prashanth Mundkur
2018-05-14	import new build of riscv tests including some new ones that are expected to ...	Robert Norton
2018-04-13	Add a few more generated file to gitignore	Brian Campbell
2018-03-14	riscv: disable failing lrsc test for now to make sail2 green.	Robert Norton
2018-02-07	Setup test suite for C backend	Alasdair Armstrong
2018-02-07	Remove warnings during re-writing	Alasdair Armstrong
2018-01-31	add some elf files from riscv test suite and run them on riscv model.	Robert Norton
2018-01-29	use check target in makefile when checking riscv spec.	Robert Norton
2018-01-26	Shebang must be first line of file. Fixes RISCV test failing on jenkins due t...	Robert Norton
2018-01-25	Add pattern completness check for match statements	Alasdair Armstrong
2018-01-22	Update and fix test suite	Alasdair Armstrong
2018-01-19	Added RISCV test case to test suite	Alasdair Armstrong