sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2018-02-08	Add (most of) the bitvector cast insertion transformation	Brian Campbell
	to help Lem go from a general type `bits('n)` to a specific type `bits(16)` at a case split, and the other way around for a returned value. Doesn't handle function clause patterns yet
2018-01-31	Find buried set constraints in asserts	Brian Campbell

2018-01-25	Use set asserts as case splits in monomorphisation	Brian Campbell

2018-01-15	Support non-trivial literal patterns	Brian Campbell
	Previously we only did top-level literal pattern to guard conversion, this does it throughout any pattern
2018-01-10	Fix control dependencies in monomorphisation analysis	Brian Campbell

2017-12-07	Support monomorphisation with set constrained integers	Brian Campbell
	Also, to support this, constant propagation for integer multiply, fix substitution of concrete values for nvars, size parameters in single argument functions, fix kind for itself, add eq_atom to prelude
2017-11-14	During monomorphisation always refine constructors,	Brian Campbell
	not just when there's been a case split
2017-09-28	Refine constructors during monomorphisation	Brian Campbell

2017-09-14	Better failure reporting on mono tests	Brian Campbell

2017-08-28	Improve test output for monomorphisation	Brian Campbell

2017-08-28	Update test script for gen_lib changes	Brian Campbell

2017-08-23	Update monomorphisation test script	Brian Campbell

2017-08-22	Adapt first part of union monomorphisation to existential types	Brian Campbell

2017-08-18	Bit more monomorphisation testing	Brian Campbell

2017-08-16	Very basic start to monomorphisation testing	Brian Campbell