sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
2018-12-14	A few additional tests	Alasdair
2018-12-13	Fix typo in boolean constraint desugaring	Alasdair Armstrong
2018-12-13	Remove redundant zero extensions more aggressively in mono rewrites	Thomas Bauereiss
2018-12-13	Fix issue with sizeof-rewriting and monomorphisation	Alasdair Armstrong
2018-12-13	Fixing rationals in Sail interpreter and OCaml	Alasdair Armstrong
2018-12-13	Add hooks to call cgen stub file for RISC-V	Alasdair Armstrong
2018-12-13	Add a stub file for future cgen generations	Alasdair Armstrong
2018-12-13	Merge remote-tracking branch 'origin/sail2' into asl_flow	Alasdair
2018-12-12	Fix some small bugs	Alasdair
2018-12-12	Add parallelism limit to C and builtins test	Alasdair Armstrong
2018-12-12	Move much of recursive function termination to a rewrite	Brian Campbell
2018-12-12	Add a test for flow typing as found in the ARM 32-bit instructions	Alasdair Armstrong
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	Initial attempt at using termination measures in Coq	Brian Campbell
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