summaryrefslogtreecommitdiff
path: root/src/c_backend.ml
AgeCommit message (Expand)Author
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-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-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
2018-06-13Tracing instrumentation for C backendAlasdair Armstrong
2018-06-11More efficient bitfield implementationAlasdair Armstrong
2018-06-09Fix issue in C_backend, and run C tests with undefined behavior sanitizerAlasdair
2018-06-09Fix issue with catch block return values not being compiled correctlyAlasdair
2018-06-07Fix bug in add_bits optimizationAlasdair Armstrong
2018-06-06Factor utility functions for IR into separate file and struct update optimiza...Alasdair Armstrong
2018-06-06Some additional fixes to C backend. Re-enable primitive optimizations.Alasdair Armstrong
2018-06-06Some work on improving error messagesAlasdair Armstrong
2018-06-04Fix an issue with riscv_platform involving flow typingAlasdair Armstrong
2018-06-04Fix bug with function return types in C backendAlasdair Armstrong
2018-05-31Fixes to get ARM u-boot working in Sail.Alasdair Armstrong
2018-05-09Fix an issue with C compilationAlasdair Armstrong
2018-04-26Fix bug in rewriting of loopsThomas Bauereiss
2018-04-10Porting some minisail changes to sail2 branchAlasdair Armstrong
2018-03-22Fix C compilation for CHERI and MIPSAlasdair Armstrong
2018-03-19Fixes to C backend for RISCV-compilationAlasdair Armstrong
2018-03-14Fix toplevel pattern compilationAlasdair Armstrong
2018-03-13Polymorphic option types now compile to CAlasdair Armstrong
2018-03-12ELF loading for C backendAlasdair Armstrong
2018-03-09Specialise constructors for polymorphic unionsAlasdair Armstrong
2018-03-07Make union types consistent in the ASTAlasdair Armstrong
2018-03-02Use sail_lib.lem values in C backendAlasdair Armstrong
2018-03-01Cleanup intermediate bytecode representation in C backendAlasdair Armstrong
2018-02-27Fix some bugs in C compilation, and optimise struct updatesAlasdair Armstrong
2018-02-26Add some obvious optimisations to C backend.Alasdair Armstrong
2018-02-23Fix some bugs in C compilationAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 15:34:43 +0000