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-08-25	Add function sail_set_coverage_file to sail_coverage header	Alasdair
2020-06-12	Use output file for generated branch information.	Prashanth Mundkur
2020-05-15	Add coverage tracking tool	Alasdair
2020-05-11	Functorise and refactor C code generator	Alasdair
2019-11-08	Refactor Jib compilation	Alasdair Armstrong
2019-10-17	Allow generating C that doesn't hard code any libraries	Alasdair Armstrong
2019-10-14	Add -Ofixed_int and -Ofixed_bits to assume fixed-precision ints and bitvector...	Alasdair Armstrong
2019-05-05	C: Add option to compile using __int128 rather than GMP	Alasdair
2019-03-19	C: Some simplification	Alasdair Armstrong
2019-03-13	C: Improve Jib IR, add SSA representation	Alasdair Armstrong
2019-03-08	C: Refactor C backend	Alasdair Armstrong