sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
2020-09-28	Refactor: Rename 'a defs to 'a ast	Alasdair
2020-09-28	Move the ast defs wrapper into it's own file	Alasdair
2020-04-21	Mono: Check for non-constant calls to make_the_value	Thomas Bauereiss
2020-04-21	Handle more cases in bitvector cast rewrite	Thomas Bauereiss
2019-07-11	Make sure constant folding won't fold external definitions that also have sai...	Alasdair Armstrong
2018-07-24	Move monomorphisation after mapping rewrites	Brian Campbell
2018-04-04	Initial rewrite to move complex nexps in fn sigs into constraints	Brian Campbell
2018-01-30	Optionally give all monomorphisation errors at once	Brian Campbell
2018-01-29	Turn off warnings when rechecking after mono	Brian Campbell
2018-01-10	Add an all_split_errors option	Brian Campbell
2018-01-09	Tidy up monomorphisation interface	Brian Campbell