sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2018-02-21	Have aarch64/no_vector compiling to C	Alasdair Armstrong
	Just need to implement builtins, fix-up a few re-write passes, and integrate some kind of elf-loading and it should work.
2018-02-15	List support in C backend	Alasdair Armstrong

2018-02-13	Support for large bitvector literals in C backend	Alasdair Armstrong

2018-02-12	Add support for top-level letbindings to C backend	Alasdair Armstrong

2018-02-09	Improve IR pretty-printing for debugging	Alasdair Armstrong

2018-02-09	Formalize C backend intermediate representation in Ott	Alasdair Armstrong
	Describes precisely the intermediate representation used in the C backend in an ott grammar, and also removes several C-isms where raw C code was inserted into the IR, so in theory this IR could be interpreted by a small VM/interpreter or compiled to LLVM bytecode etc. Currently the I_raw constructor for inserting C code is just used for inserting GCC attributes, so it can safely be ignored. Also augment and refactor the instruction type with an aux constructor so location information can be propagated down to this level.