sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2017-07-24	Remove monomorphisation for old type checker	Brian Campbell

2017-07-24	Tidy comments in monomorphisation	Brian Campbell

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	Fix type synonyms in monomorphisation	Brian Campbell

2017-07-20	Clean up some failwiths	Brian Campbell

2017-07-20	Tidy up id handling in monomorphisation	Brian Campbell

2017-07-20	Handle guarded patterns in monomorphisation	Brian Campbell

2017-07-14	Extend literal matching in monomorphisation	Brian Campbell

2017-07-14	Generalise matching a little in monomorphisation	Brian Campbell

2017-07-13	Avoid recent OCaml library function	Brian Campbell

2017-07-13	Monomorphisation size limits	Brian Campbell

2017-07-13	Monomorphisation now splits vectors	Brian Campbell

2017-07-13	Make new-tc monomorphisation actually work	Brian Campbell

2017-07-13	Add basic translation of monomorphisation to the new type checker	Brian Campbell