sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
2019-04-13	SMT: Add count_leading_zeros and more builtins	Alasdair
2019-04-09	SMT: Refactor Jib values to make inlining work	Alasdair Armstrong
2019-04-09	SMT: Experimental Jib->SMT translation	Alasdair Armstrong
2019-04-06	Various bugfixes and improvements	Alasdair
2019-04-05	Fix: Don't remove uncalled polymorphic constructors if they are matched upon	Alasdair Armstrong
2019-04-01	C: Add identifier to end instruction	Alasdair
2019-03-22	C: Fix as-patterns in C output	Alasdair Armstrong
2019-03-21	Jib: Add types to Phi functions	Alasdair Armstrong
2019-03-19	C: Some simplification	Alasdair Armstrong
2019-03-15	C: Wrap Jib identifiers	Alasdair
2019-03-14	C: Some further tweaks	Alasdair Armstrong
2019-03-13	C: Improve Jib IR, add SSA representation	Alasdair Armstrong
2019-03-09	C: Fix miscompilation of constrained struct field access	Alasdair
2019-03-08	C: Refactor C backend	Alasdair Armstrong