sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
2018-05-10	Merge branch 'sail2' into mappings	Jon French
2018-05-10	riscv/Makefile: add SAIL variable for easier debugging	Jon French
2018-05-09	remove redundant cloc targets.	Robert Norton
2018-05-09	Add targets for counting lines in mips, cheri and riscv. Can use either slocc...	Robert Norton
2018-05-09	add SAIL_FLAGS env var to riscv makefile	Jon French
2018-05-03	Implement fetch to properly handle RVC and address translation, and add a ste...	Prashanth Mundkur
2018-04-23	Make riscv build depend on Makefile updates.	Prashanth Mundkur
2018-04-13	Move riscv memory definitions into a separate file.	Prashanth Mundkur
2018-03-21	Patch AST datatypes in generated Isabelle theories	Thomas Bauereiss
2018-02-15	Rebase state monad onto prompt monad	Thomas Bauereiss
2018-02-01	Clean up riscv_duopod sail and add make targets for ocaml and Isabelle.	Robert Norton
2018-01-29	riscv: fix warnings about incomplete patterns. Add a check target in Makefile...	Robert Norton
2018-01-29	Added ecall/mret and exception support.	Prashanth Mundkur
2018-01-27	Add Makefile for RISC-V	Thomas Bauereiss