sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
2018-12-12	Add a test case for various simple boolean properties	Alasdair Armstrong
2018-12-12	Get typechecking example with boolean argument flow-typing working	Alasdair
2018-12-12	Generalise existentials for non-integer type variables	Alasdair
2018-12-12	Remove KOpt_none constructor	Alasdair
2018-12-12	Fix various boolean type-variable related issues	Alasdair
2018-12-11	Fix all tests with type checking changes	Alasdair Armstrong
2018-12-11	Fix most remaining tests on branch	Alasdair
2018-12-10	Various changes:	Alasdair Armstrong
2018-12-08	Compiling again	Alasdair
2018-12-07	Working on better flow typing for ASL	Alasdair Armstrong
2018-12-06	Desugar constraints from atyp rather than n_constraint	Alasdair Armstrong
2018-12-06	Re-factor initial check	Alasdair Armstrong
2018-12-04	Remove FES_Fexps constructor	Alasdair Armstrong
2018-12-04	Simplify kinds in the AST	Alasdair Armstrong
2018-12-03	Fix = / == in a couple of monomorphisation tests	Brian Campbell
2018-11-30	Remove constraint synonyms	Alasdair Armstrong
2018-11-30	Parser tweaks and fixes	Alasdair Armstrong
2018-11-30	RISC-V: update the riscv/readme to point to the new repository.	Prashanth Mundkur
2018-11-30	Improvements for ASL parser	Alasdair Armstrong
2018-11-29	RISC-V: more tidying up of the Spike interface.	Prashanth Mundkur
2018-11-29	RISC-V: implement WFI in the platform model.	Prashanth Mundkur
2018-11-29	RISC-V: factor the execution trace.	Prashanth Mundkur
2018-11-29	RISC-V: no ldu for rv64i	Brian Campbell
2018-11-29	RISC-V: properly set mstatus.FS in absence of floating-point support.	Prashanth Mundkur
2018-11-29	RISC-V: minor cleanup of the spike interface.	Prashanth Mundkur
2018-11-29	Update install instructions.	Prashanth Mundkur
2018-11-29	RISC-V: add some missing constraints on compressed instruction encodings	Brian Campbell
2018-11-29	RISC-V: add checks for misaligned targets to jumps and branches	Brian Campbell
2018-11-29	Merge branch 'rvfi-dii' into sail2	Brian Campbell
2018-11-28	Allow folding constant expressions into single register reads	Alasdair
2018-11-27	Fix memory leak in string_of_bits	Alasdair Armstrong
2018-11-27	Add an optimisation pass to combine variables if possible	Alasdair Armstrong
2018-11-26	Use a temporary definition of List.init until 4.06 is more standard.	Prashanth Mundkur
2018-11-26	Add random generators for record types	Brian Campbell
2018-11-23	Introduce intermediate bitvector representation in C	Alasdair Armstrong
2018-11-23	C backend improvements	Alasdair Armstrong
2018-11-21	RISC-V: allow platform ram size to be configurable.	Prashanth Mundkur
2018-11-21	Coq: only generate equality functions for records where we need it	Brian Campbell
2018-11-21	Coq: min_nat	Brian Campbell
2018-11-21	Coq: add equality for records and polymorphic vectors	Brian Campbell
2018-11-21	Escape string literals in coq backend. Note that 71020c2f460e6031776df17cf8f2...	Robert Norton
2018-11-21	Escape strings literals in lem pretty printer.	Robert Norton
2018-11-20	Add a test case for a struct with a constrained type variable	Alasdair Armstrong
2018-11-20	Add messages for assert failures without user defined messages	Alasdair Armstrong
2018-11-20	Minor coq updates	Brian Campbell
2018-11-20	Add full constraints for vector updates	Brian Campbell
2018-11-19	Fix Lem untupling to correctly identify when multiple arguments are used	Brian Campbell
2018-11-19	Don't re-check AST repeatedly in exp_lift_assign re-write	Alasdair Armstrong
2018-11-19	prep for opam release with new latex.	Robert Norton
2018-11-19	Commit the Sail file for config register test not the output	Alasdair Armstrong