sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2018-12-20	RISVC model is now at https://github.com/rems-project/sail-riscv . Remove it ↵	Robert Norton
	and tests.
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-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
	Current pass rate is 170 out of 181. Looks like there are some issues with rv64ua-p-lrsc.elf, rv64ua-v-lrsc.elf, and rv64uc-p-rvc.elf which I think are caused by me not implementing parts of the RISC-V platform correctly in C. Some of the div and mod tests also fail, which is probably an issue with using the correct rounding.
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 ↵	Prashanth Mundkur
	platform build.
2018-05-14	import new build of riscv tests including some new ones that are expected to ↵	Robert Norton
	pass.
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
	Turn of warnings so we don't get warnings for generated code, this fixes the false-positive warnings in the riscv test suite. Also use basename in test/riscv/run_tests.sh to not print long paths
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 ↵	Robert Norton
	to non-bash default shell.
2018-01-25	Add pattern completness check for match statements	Alasdair Armstrong
	Gives warnings when pattern matches are incomplete, when matches are redundant (in certain cases), or when no unguarded patterns exist. For example the following file: enum Test = {A, C, D} val test1 : Test -> string function test1 x = match x { A => "match A", B => "this will match anything, because B is unbound!", C => "match C", D => "match D" } val test2 : Test -> string function test2 x = match x { A => "match A", C => "match C" /* No match for D */ } val test3 : Test -> string function test3 x = match x { A if false => "never match A", C => "match C", D => "match D" } val test4 : Test -> string function test4 x = match x { A if true => "match A", C if true => "match C", D if true => "match D" } will produce the following warnings Warning: Possible redundant pattern match at file "test.sail", line 10, character 5 to line 10, character 5 C => "match C", Warning: Possible redundant pattern match at file "test.sail", line 11, character 5 to line 11, character 5 D => "match D" Warning: Possible incomplete pattern match at file "test.sail", line 17, character 3 to line 17, character 7 match x { Most general matched pattern is A_\|C_ Warning: Possible incomplete pattern match at file "test.sail", line 26, character 3 to line 26, character 7 match x { Most general matched pattern is C_\|D_ Warning: No non-guarded patterns at file "test.sail", line 35, character 3 to line 35, character 7 match x { warnings can be turned of with the -no_warn flag.
2018-01-22	Update and fix test suite	Alasdair Armstrong

2018-01-19	Added RISCV test case to test suite	Alasdair Armstrong