summaryrefslogtreecommitdiff
path: root/src/c_backend.mli
AgeCommit message (Expand)Author
2019-03-08C: Refactor C backendAlasdair Armstrong
2019-03-06Add an -ir option to print the intermediate representation of a fileAlasdair Armstrong
2019-02-28Allow user-specified state to be passed through generated CAlasdair Armstrong
2019-02-27Tweaks to C compilation to make it more usable for embedding into other programsAlasdair Armstrong
2019-02-27Make -o option work as usual with C compilationAlasdair Armstrong
2019-02-01Add tracing instrumention for SMTAlasdair Armstrong
2019-01-30Cache compilation results to improve build times for repeated buildsAlasdair
2018-11-27Fix memory leak in string_of_bitsAlasdair Armstrong
2018-11-23C backend improvementsAlasdair Armstrong
2018-11-06Fix bug with loop indices not being mapped to int64 in CAlasdair Armstrong
2018-09-04C: add an option to control generation of main().Prashanth Mundkur
2018-08-30Allow additional includes to be specified for C backend.Prashanth Mundkur
2018-08-16Various cleanups to ott grammarAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 08:17:11 +0000