sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
2018-05-10	riscv/Makefile: add SAIL variable for easier debugging	Jon French
2018-05-10	refining spaces mappings	Jon French
2018-05-10	add space handling mappings to riscv prelude and sail_lib.ml	Jon French
2018-05-09	start of riscv assembly mappings	Jon French
2018-05-09	add SAIL_FLAGS env var to riscv makefile	Jon French
2018-04-26	Add riscv SV39 page-table walk.	Prashanth Mundkur
2018-04-26	Ensure riscv interrupt delegation does not reduce current privilege.	Prashanth Mundkur
2018-04-26	Fix bug introduced in alignment check.	Prashanth Mundkur
2018-04-26	Initial support for faults of writes to physical addresses.	Prashanth Mundkur
2018-04-26	Initial support for faults of reads to physical addresses.	Prashanth Mundkur
2018-04-23	Make riscv build depend on Makefile updates.	Prashanth Mundkur
2018-04-23	Add riscv PTE definitions and access control checks.	Prashanth Mundkur
2018-04-20	Fix a typo.	Prashanth Mundkur
2018-04-20	Add a riscv instruction printer for the execution log.	Prashanth Mundkur
2018-04-20	Some cleanup and comments.	Prashanth Mundkur
2018-04-20	Have sign_extend in common Sail Lem library, use it and zero_extend in	Brian Campbell
2018-04-18	Remove obsolete comment.	Prashanth Mundkur
2018-04-18	Add interrupt prioritization and delegation.	Prashanth Mundkur
2018-04-18	Fix mideleg semantics after spec clarification from Andrew Waterman.	Prashanth Mundkur
2018-04-18	Use the generated num_of_E function for enum E instead of defining one by hand.	Prashanth Mundkur
2018-04-18	Move a few printing functions to sail_values.lem	Thomas Bauereiss
2018-04-17	Implement sret.	Prashanth Mundkur
2018-04-17	Hook in the delegated trap handler and remove the old one.	Prashanth Mundkur
2018-04-17	Add platform initialization for the new bits of machine state.	Prashanth Mundkur
2018-04-17	Separate out the trap handler, and make it use the delegatee privilege.	Prashanth Mundkur
2018-04-17	Define exception handler delegation.	Prashanth Mundkur
2018-04-16	Implement the s-mode views of mie/mip, and their legalizers.	Prashanth Mundkur
2018-04-16	Add the satp legalizer.	Prashanth Mundkur
2018-04-13	Add <=_u to riscv prelude.	Prashanth Mundkur
2018-04-13	Add some checks of current state, and use for the xepc write legalizer.	Prashanth Mundkur
2018-04-13	Some initial legalizers for writes to S-mode CSRs.	Prashanth Mundkur
2018-04-13	Define legalizers for writes to M-mode CSRs, and hook these writes to use them.	Prashanth Mundkur
2018-04-13	Move riscv memory definitions into a separate file.	Prashanth Mundkur
2018-04-13	Fix access checks to riscv CSRs.	Prashanth Mundkur
2018-04-11	Initial bits of supervisor state.	Prashanth Mundkur
2018-04-11	Add some misc informational m-mode registers that are used in a test.	Prashanth Mundkur
2018-04-11	More structured riscv trap vector handling.	Prashanth Mundkur
2018-04-09	Update riscv to use the new system definitions, remove duplicates.	Prashanth Mundkur
2018-04-09	Add some riscv arch definitions: privilege levels, exceptions, interrupts, ex...	Prashanth Mundkur
2018-04-09	Slightly re-org defs to move related things closer together.	Prashanth Mundkur
2018-04-09	Better separate riscv-independent and riscv-specific parts between prelude an...	Prashanth Mundkur
2018-03-21	Patch AST datatypes in generated Isabelle theories	Thomas Bauereiss
2018-03-19	Fixes to C backend for RISCV-compilation	Alasdair Armstrong
2018-03-14	WIP Latex formatting	Alasdair Armstrong
2018-03-14	Fix toplevel pattern 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-15	Rebase state monad onto prompt monad	Thomas Bauereiss
2018-02-15	Re-engineer prompt monad of Lem shallow embedding	Thomas Bauereiss