sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
2018-02-01	Add c.addi4spn.	Prashanth Mundkur
2018-02-01	Fix encoding for compressed ILLEGAL.	Prashanth Mundkur
2018-02-01	Initial top-level support for compression instructions.	Prashanth Mundkur
2018-01-29	Add a fixme for unhandled fences but allow them to execute.	Prashanth Mundkur
2018-01-29	Initial handling of CSR reads/writes.	Prashanth Mundkur
2018-01-29	Add satp to CSR dummy implemented predicate. Also direct the illegal instruc...	Prashanth Mundkur
2018-01-29	riscv: fix warnings about incomplete patterns. Add a check target in Makefile...	Robert Norton
2018-01-29	Merge branch 'sail2' of https://bitbucket.org/Peter_Sewell/sail into sail2	Robert Norton
2018-01-29	Added ecall/mret and exception support.	Prashanth Mundkur
2018-01-29	Fix error in RISCV: SLLI and SRLI were swapped...	Robert Norton
2018-01-25	riscv: remove case for non-existent constructor in match that was being treat...	Robert Norton
2018-01-25	work in progress riscv CSR implementation.	Robert Norton
2018-01-19	Got riscv spec to typecheck with sail2	Alasdair Armstrong
2018-01-19	riscv sail2 wip.	Robert Norton