sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
2018-04-09	Better separate riscv-independent and riscv-specific parts between prelude an...	Prashanth Mundkur
2018-03-19	Fixes to C backend for RISCV-compilation	Alasdair Armstrong
2018-03-14	Make partiality more explicit in library functions of Lem shallow embedding	Thomas Bauereiss
2018-03-09	Specialise constructors for polymorphic unions	Alasdair Armstrong
2018-03-07	Make union types consistent in the AST	Alasdair Armstrong
2018-02-07	Add some printing functions to Lem shallow embedding	Thomas Bauereiss
2018-02-05	riscv: slightly prettier register trace output	Robert Norton
2018-02-02	Add M extension to RISCV. Slightly inelegant implementation for now but passi...	Robert Norton
2018-01-31	Add wrappers around Lem operators using bitvector type class	Thomas Bauereiss
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 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	Added ecall/mret and exception support.	Prashanth Mundkur
2018-01-25	Extend RISCV main loop with support for tohost interface used by test suite f...	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	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