summaryrefslogtreecommitdiff
path: root/src/jib
AgeCommit message (Expand)Author
2019-04-05Fix: Don't remove uncalled polymorphic constructors if they are matched uponAlasdair Armstrong
2019-04-01C: Fix end instr usage in jib_optimizeAlasdair Armstrong
2019-04-01C: Add identifier to end instructionAlasdair
2019-03-27C: Generate C from sliced specificationsAlasdair Armstrong
2019-03-22C: Fix as-patterns in C outputAlasdair Armstrong
2019-03-21Jib: Add types to Phi functionsAlasdair Armstrong
2019-03-19C: Some simplificationAlasdair Armstrong
2019-03-19C: Inlining supportAlasdair Armstrong
2019-03-15C: Wrap Jib identifiersAlasdair
2019-03-14Add various useful methods to interactive modeAlasdair Armstrong
2019-03-14C: Some further tweaksAlasdair Armstrong
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-08Rewriter: Cleanup old sizeof rewritesAlasdair Armstrong
2019-03-08C: Refactor C backendAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 07:50:01 +0000