summaryrefslogtreecommitdiff
path: root/src/c_backend.ml
AgeCommit message (Expand)Author
2018-08-24Fix rewriter issuesAlasdair Armstrong
2018-08-21C: Correctly handle the kinds of patterns generated by mappingsAlasdair 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-16Remove unused ref typeAlasdair Armstrong
2018-08-16Various cleanups to ott grammarAlasdair Armstrong
2018-08-14Improve error messages from C backend, and fix issues with assigning to pointersAlasdair Armstrong
2018-08-14Remove some comments from C outputAlasdair Armstrong
2018-08-13Add graph library graph.ml, and use to correctly sort type definitionsAlasdair
2018-08-13Sort ctype_defs in dependency order after specialisationAlasdair
2018-08-09Fix a bug by ensuring that monomorphic variant constructors do not get lifted...Alasdair Armstrong
2018-08-09Add type information to AP_app constructorsAlasdair Armstrong
2018-08-09Fix bugs involving multi-argument variant type constructorsAlasdair Armstrong
2018-08-08Fix ordering of generated anonymous types for each cdefAlasdair Armstrong
2018-08-07More updates for fixing variant typesAlasdair Armstrong
2018-08-06Cast each argument to a polymorphic constructor into it's most general typeAlasdair Armstrong
2018-08-06Make sure monomorphic constructors are preservedAlasdair Armstrong
2018-08-06Add a simple test case for polymorphic variant typeAlasdair Armstrong
2018-08-06More fixes for polymorphic data typesAlasdair Armstrong
2018-08-03More work on fixing polymorphic constructor monomorphisationAlasdair Armstrong
2018-08-02Start working on a solution for correctly monomorphising polymorphic variant ...Alasdair Armstrong
2018-07-24Merge remote-tracking branch 'origin/sail2' into c_fixesAlasdair Armstrong
2018-07-24Now builds mips spec again.Alasdair
2018-07-12Fix bug for large integers in OCaml compilationAlasdair Armstrong
2018-07-10Only put static qualifier on valspecs when -static flag is usedAlasdair Armstrong
2018-07-08Add -static flag that controls whether generated C functions are staticAlasdair
2018-07-05Fix equality comparisons for variants in CAlasdair
2018-07-05Fix equality comparisons for structsAlasdair
2018-07-05Passes all tests and now builds mips and cheri againAlasdair
2018-07-05Fix CHERI test that was failing when compiled to CAlasdair Armstrong
2018-07-05make many generated c functions static -- this gives the compiler a chance to...Robert Norton
2018-07-03Fix a bug in foreach loopsAlasdair Armstrong
2018-07-02Fix get_recursive_functions to not only pick up non-mutually recursive functionsAlasdair Armstrong
2018-06-29Try to fix some tricky C compilation bugs, break everything insteadAlasdair Armstrong
2018-06-28Add tagged memory to C rts to cheri can be compiled to CAlasdair Armstrong
2018-06-27Fix reading reals from strings in C libAlasdair Armstrong
2018-06-27RTS: Delete __SetConfig stub functionAlastair Reid
2018-06-26Add configuration registers so __SetConfig ASL can be translatedAlasdair Armstrong
2018-06-25Use getopt rather than argp for Mac compatibility in C runtimeAlasdair Armstrong
2018-06-23Split Sail->ANF translation into its own fileAlasdair
2018-06-21Add command line option support for Sail->C compiled modelsAlasdair Armstrong
2018-06-21Merge branch 'tracing' into sail2Alasdair Armstrong
2018-06-21Fix MIPS wrt changes to C runtimeAlasdair Armstrong
2018-06-21Simplify the ANF->IR translationAlasdair Armstrong
2018-06-19Add elf parsing from AlastairAlasdair Armstrong
2018-06-19Improvements to Sail C for booting LinuxAlasdair Armstrong
2018-06-15Fixes for C RTS for aarch64 no it's split into multiple filesAlasdair 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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 02:46:24 +0000