summaryrefslogtreecommitdiff
path: root/src/jib/jib_compile.mli
AgeCommit message (Expand)Author
2020-09-28Refactor: Rename 'a defs to 'a astAlasdair
2020-09-28Move the ast defs wrapper into it's own fileAlasdair
2020-07-14c2: primop: -O: make sure to pick global or name correctlyJulien Freche
2020-06-12Use output file for generated branch information.Prashanth Mundkur
2020-05-15Add coverage tracking toolAlasdair
2020-05-12Add support for instrumenting generated C with branch coverage metricsAlasdair
2020-05-11Functorise and refactor C code generatorAlasdair
2020-01-14Basic support to track uncaught exceptions in Sail->CAlasdair
2019-11-11Make sure we include LEXP_cast register refs when slicing the specificationAlasdair Armstrong
2019-11-08Refactor Jib compilationAlasdair Armstrong
2019-11-07Backport fixes to SMT generation from poly_mapping branchAlasdair Armstrong
2019-10-28Some C backend refactoringAlasdair
2019-10-25Remove global symbol generatorAlasdair
2019-10-25Refactor Jib IR pretty printerAlasdair Armstrong
2019-05-08SMT: Add reals and strings to SMT backendAlasdair Armstrong
2019-05-03Jib: Fix optimizations for SMT IR changesAlasdair Armstrong
2019-04-23SMT: Add some commentsAlasdair
2019-04-16SMT: Add struct value literalsAlasdair
2019-04-09SMT: Experimental Jib->SMT translationAlasdair Armstrong
2019-03-15C: Wrap Jib identifiersAlasdair
2019-03-13C: Improve Jib IR, add SSA representationAlasdair Armstrong
2019-03-11Improve ocamldoc commentsAlasdair Armstrong
2019-03-09C: Fix miscompilation of constrained struct field accessAlasdair
2019-03-08C: Refactor C backendAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 10:04:37 +0000