sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2021-02-25	Remove accidental use of too-recent Option module	Brian Campbell
	Also drop a related bit of dead code
2021-02-25	Add -infer_effects option	Brian Campbell

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.
2020-04-21	Add more monomorphisation rewrites	Thomas Bauereiss
	Supporting more ASL idioms
2019-03-07	Extract constant propagation and related functions from monomorphisation.	Brian Campbell
	This shouldn't change any functionality.
2017-12-05	Update license headers for Sail source	Alasdair Armstrong

2017-07-21	Everything moved to new typechecker	Alasdair Armstrong
	Modified initial_check.ml so it no longer requires type_internal. It's still needs cleaned up in a few ways. Most of the things it's trying to do could be done nicer if we took some time to re-factor it, and some of the things should just be handled by the main typechecker, leaving it as a think layer between the parse_ast and the ast. Now that's done everything can be switched to the new typechecker and the _new suffixes were deleted from everything except the monomorphisation pass because I don't know the status of that.
2017-07-21	Switch to new typechecker (almost)	Thomas Bauereiss
	Initial typecheck still uses previous typechecker
2017-02-03	fix headers	Peter Sewell

2016-10-13	make sail-to-lem rewriting passes use dependency analysis, make dependency ↵	Christopher Pulte
	analysis include type information, small pp fix
2016-10-12	Add free variable and dependency sorting functions, lifted from internal to ↵	Kathy Gray
	external repository
2016-01-21	Start splitting values/etc into int/big_int for ocaml generation	Kathy Gray

2015-11-06	fixes	Christopher Pulte

2015-11-04	Add a new module for writing queries/analyses that aren't type checking but ↵	Kathy Gray
	could be useful Define in that a function for determining a default direction for vectors