sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
2018-12-20	RISVC model is now at https://github.com/rems-project/sail-riscv . Remove it ...	Robert Norton
2018-12-13	Add hooks to call cgen stub file for RISC-V	Alasdair Armstrong
2018-12-11	Fix all tests with type checking changes	Alasdair Armstrong
2018-11-29	RISC-V: more tidying up of the Spike interface.	Prashanth Mundkur
2018-11-12	Add RVFI DII version of the RISC-V simulator for TestRIG	Brian Campbell
2018-10-23	RISC-V: separate jalr execute clause for seq model and rmem.	Prashanth Mundkur
2018-10-23	RISC-V: Initial splitting of instructions across multiple files.	Prashanth Mundkur
2018-10-23	RISC-V: Allow Spike linkage to be conditionally enabled.	Prashanth Mundkur
2018-10-23	RISC-V: An initial C Sail model linked against Spike for testing.	Prashanth Mundkur
2018-10-23	RISC-V: Refactor c platform bits.	Prashanth Mundkur
2018-09-04	C: Tweaks to RISC-V to get compiling to C	Alasdair Armstrong
2018-08-31	Some C stubs for platform bits for RISC-V.	Prashanth Mundkur
2018-08-30	Annotate the RISC-V prelude for C builtins.	Prashanth Mundkur
2018-08-30	Add a C header containing declarations needed by RISC-V.	Prashanth Mundkur
2018-08-29	C: Fix some issues with tuples as arguments to polymorphic constructors	Alasdair Armstrong
2018-08-28	Adapt theory imports for Isabelle 2018	Thomas Bauereiss
2018-08-13	Add constraints to RISC-V duopod, makefile rules	Brian Campbell
2018-08-13	Basic Coq support for RISC-V	Brian Campbell
2018-07-27	Add a riscv latex target.	Prashanth Mundkur
2018-07-10	Start adding c-backend bits for riscv.	Prashanth Mundkur
2018-07-10	Make HOL build properly again for all of the models	Brian Campbell
2018-07-09	add riscv_analysis.sail to SAIL_SRCS	Jon French
2018-07-08	Add a riscv coverage target using bisect-ppx.	Prashanth Mundkur
2018-06-22	Add a simple trace log comparison tool for riscv vs. a patched spike.	Prashanth Mundkur
2018-06-11	Merge branch 'sail2' into mappings	Jon French
2018-05-23	Fix riscv build for older versions of ocamlbuild (e.g. 4.02.3) by copying pla...	Robert Norton
2018-05-22	Re-enable the RISC-V lem build, and switch the test-suite to use the platform...	Prashanth Mundkur
2018-05-21	Add in the platform files and update the ocaml build. Disable the isabelle b...	Prashanth Mundkur
2018-05-21	Move mem-op-result to _sys to be usable from _platform.	Prashanth Mundkur
2018-05-17	Tidy up HOL4 riscv a little	Brian Campbell
2018-05-17	Use an intermediate base_monad type alias in Lem,	Brian Campbell
2018-05-11	Merge branch 'sail2' into cheri-mono	Thomas Bauereiss
2018-05-10	RISC-V in HOL4	Brian Campbell
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