sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
2018-02-01	Clean up riscv_duopod sail and add make targets for ocaml and Isabelle.	Robert Norton
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-31	Add wrappers around Lem operators using bitvector type class	Thomas Bauereiss
2018-01-31	Split base definitions of Lem monads and further built-ins (e.g. loop combina...	Thomas Bauereiss
2018-01-31	add very stripped down 2-instruction RISCV example with add and load.	Robert Norton
2018-01-30	Fix failing Lem tests	Alasdair Armstrong
2018-01-30	riscv prelude: add a to_bits function for converting ints to bits of given le...	Robert Norton
2018-01-29	Fix Lem generation for RISC-V	Thomas Bauereiss
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	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