sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
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	Add some initial exception handling to the riscv execution loop.	Prashanth Mundkur
2018-01-29	Merge branch 'sail2' of https://bitbucket.org/Peter_Sewell/sail into sail2	Robert Norton
2018-01-29	riscv: remove break from main loop and place val spec in prelude.	Robert Norton
2018-01-29	riscv: add tracing of register writes.	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-27	Add Makefile for RISC-V	Thomas Bauereiss
2018-01-25	Extend RISCV main loop with support for tohost interface used by test suite f...	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-24	Fixed riscv ocaml compilation	Alasdair Armstrong
2018-01-22	Update Lem shallow embedding to Sail2	Thomas Bauereiss
2018-01-22	Update and fix test suite	Alasdair Armstrong
2018-01-19	Added C-style single line comments	Alasdair Armstrong
2018-01-19	Got riscv spec to typecheck with sail2	Alasdair Armstrong
2018-01-19	riscv sail2 wip.	Robert Norton
2018-01-19	Start translating riscv to sail2	Alasdair Armstrong