summaryrefslogtreecommitdiff
path: root/src/c_backend.ml
AgeCommit message (Expand)Author
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
2018-02-22More updates to C backendAlasdair Armstrong
2018-02-21Can now compile aarch64/no_vector into CAlasdair Armstrong
2018-02-21Have aarch64/no_vector compiling to CAlasdair Armstrong
2018-02-19Have generic vectors working in C backendAlasdair Armstrong
2018-02-16Add __TakeColdReset function to aarch64_no_vectorAlasdair Armstrong
2018-02-16Can now compile aarch64/duopod to CAlasdair Armstrong
2018-02-15C backend can now handle record literals and record update syntax correctlyAlasdair 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
2018-02-08Can now generate control flow graphs with C backendAlasdair Armstrong
2018-02-07Have exceptions working in C backendAlasdair Armstrong
2018-02-06Compile union types in C backendAlasdair Armstrong
2018-02-06Work on handling exceptions in C backendAlasdair Armstrong
2018-02-01More work on C compilationAlasdair Armstrong
2018-02-01More work on running sail tests compiled to CAlasdair Armstrong
2018-02-01Can now compile some simple sail programs to CAlasdair Armstrong
2018-01-31More updates to C backend - matching and tuplesAlasdair Armstrong
2018-01-30Updates to C backendAlasdair Armstrong
2018-01-29Further updates to C backendAlasdair Armstrong
2018-01-26More work on C backendAlasdair Armstrong
2018-01-25Add pattern completness check for match statementsAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 09:37:43 +0000