summaryrefslogtreecommitdiff
path: root/language/bytecode.ott
AgeCommit message (Expand)Author
2018-11-27Fix memory leak in string_of_bitsAlasdair Armstrong
2018-11-23C backend improvementsAlasdair Armstrong
2018-08-20Refactor tuple conversions in Sail to C compilationAlasdair Armstrong
2018-08-02Start working on a solution for correctly monomorphising polymorphic variant ...Alasdair Armstrong
2018-07-05Passes all tests and now builds mips and cheri againAlasdair
2018-06-29Try to fix some tricky C compilation bugs, break everything insteadAlasdair Armstrong
2018-06-26Add configuration registers so __SetConfig ASL can be translatedAlasdair Armstrong
2018-06-21Simplify the ANF->IR translationAlasdair Armstrong
2018-06-14Refactor C backend, and split RTS into multiple filesAlasdair
2018-06-06Factor utility functions for IR into separate file and struct update optimiza...Alasdair Armstrong
2018-05-31Fixes to get ARM u-boot working in Sail.Alasdair Armstrong
2018-03-23Fix build issueAlasdair Armstrong
2018-03-19Fixes to C backend for RISCV-compilationAlasdair Armstrong
2018-03-09Specialise constructors for polymorphic unionsAlasdair Armstrong
2018-03-02Use sail_lib.lem values in C backendAlasdair Armstrong
2018-02-26Add some obvious optimisations to C backend.Alasdair Armstrong
2018-02-21Have aarch64/no_vector compiling to CAlasdair Armstrong
2018-02-15List support in C backendAlasdair Armstrong
2018-02-13Support for large bitvector literals in C backendAlasdair Armstrong
2018-02-12Add support for top-level letbindings to C backendAlasdair Armstrong
2018-02-09Improve IR pretty-printing for debuggingAlasdair Armstrong
2018-02-09Formalize C backend intermediate representation in OttAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:27:52 +0000