summaryrefslogtreecommitdiff
path: root/src/bytecode_util.ml
AgeCommit message (Expand)Author
2018-11-27Fix memory leak in string_of_bitsAlasdair Armstrong
2018-11-27Add an optimisation pass to combine variables if possibleAlasdair Armstrong
2018-11-23C backend improvementsAlasdair Armstrong
2018-08-30C: Fix an issue with struct field being generalised inside polymorphic constr...Alasdair Armstrong
2018-08-29C: Fix some issues with tuples as arguments to polymorphic constructorsAlasdair Armstrong
2018-08-24Fix rewriter issuesAlasdair Armstrong
2018-08-20Refactor tuple conversions in Sail to C compilationAlasdair Armstrong
2018-08-18Correctly handle specialising polymorphic types in nested unionsAlasdair
2018-08-17Improve builtins testsAlasdair Armstrong
2018-08-14Improve error messages from C backend, and fix issues with assigning to pointersAlasdair Armstrong
2018-08-13Sort ctype_defs in dependency order after specialisationAlasdair
2018-08-08Fix ordering of generated anonymous types for each cdefAlasdair Armstrong
2018-08-06Cast each argument to a polymorphic constructor into it's most general typeAlasdair Armstrong
2018-08-06More fixes for polymorphic data typesAlasdair 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-27Fix reading reals from strings in C libAlasdair Armstrong
2018-06-26Add configuration registers so __SetConfig ASL can be translatedAlasdair Armstrong
2018-06-23Split Sail->ANF translation into its own fileAlasdair
2018-06-21Merge branch 'tracing' into sail2Alasdair Armstrong
2018-06-21Simplify the ANF->IR translationAlasdair Armstrong
2018-06-14rename all lem support files to sail2_foo to avoid conflict with sail1 in rmemJon French
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 16:01:40 +0000