sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2018-02-27	Fix some bugs in C compilation, and optimise struct updates	Alasdair Armstrong
	Fix some issues where some early returns in functions would cause memory leaks, and optimize struct updates so the struct is not copied uneccesarily. Also make C print_bits match ocaml version output, and update tests.
2018-02-16	Can now compile aarch64/duopod to C	Alasdair Armstrong
	Goes through the C compiler without any errors, but as we still don't have all the requisite builtins it won't actually produce an executable. There are still a few things that don't work properly, such as vectors of non-bit types - but once those are fixed and the Sail library is implemented fully it should work.