sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2020-09-28	Refactor: Rename 'a defs to 'a ast	Alasdair
	Change internal terminology so we more clearly distinguish between a list of definitions 'defs' and functions that take an entire abstract syntax trees 'ast'.
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-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.