sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2020-09-29	Refactor: Change AST type from a union to a struct	Alasdair

2020-09-28	Move the ast defs wrapper into it's own file	Alasdair
	This refactoring is intended to allow this type to have more than just a list of definitions in future.
2019-08-08	Add same to bitlist representation	Alasdair Armstrong

2019-07-18	Support DMB/DSB domains	Shaked Flur

2019-06-28	ToFromInterp backend: always wrap typ arg values in a function, fixes option ↵	Jon French
	types in riscv
2019-05-14	Add feature that allows functions to require type variables are constant	Alasdair Armstrong
	can now write e.g. forall (constant 'n : Int) rather than forall ('n: Int) which requires 'n to be a constant integer value whenever the function is called. I added this to the 'addrsize variable on memory reads/writes to absolutely guarantee in the SMT generation that we don't have to worry about the address being a variable length bitvector.
2019-05-13	Changes to toFromInterp backend to support aarch64_small	Jon French
	* Includes adding support for bitlist-Lem * Adds new command-line option -Ofast_undefined
2019-04-15	Merge branch 'sail2' into rmem_interpreter	Jon French

2019-04-12	ToFromInterp_backend: print type annotations for abbrevs of unquantified ↵	Jon French
	types, to help out ocaml (hack)
2019-04-12	ToFromInterp_backend: don't generate converters for cache_op_kind	Jon French

2019-04-12	ToFromInterp_backend: better handling of nexps	Jon French

2019-03-13	Finish toFromInterp backend, adding Lem mode	Jon French

2019-02-26	Further work on toFromInterp backend	Jon French

2019-02-22	Progress on toFromInterp backend	Jon French
	Now builds for riscv duopod
2019-02-19	Progress on toFromInterp backend from-interp generation	Jon French
	Produces vaguely-correct-looking-but-untested code for riscv duopod