sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2019-07-11	Make sure constant folding won't fold external definitions that also have ↵	Alasdair Armstrong
	sail definitions Definitions can be made external on a per-backend basis, so we need to make sure constant folding doesn't inline external functions that have sail definitions for backends other than the ones we are currently targetting
2019-03-07	Add a rewrite to remove impossible cases on integer literals	Brian Campbell
	(e.g., for the dual 32/64 bit RISC-V model) Apply this rewrite in Coq backend.
2019-03-07	Simplify handling of referenced variables in constant propagation	Brian Campbell

2019-03-07	Extract constant propagation and related functions from monomorphisation.	Brian Campbell
	This shouldn't change any functionality.