Issues

• Broken link to CIL tutorial

  cil-project/cil#59 · Filter by author Hibou57 opened on Sep 5, 2026

• Unable to build CIL due to unbound module Big_int

  cil-project/cil#57 · Filter by author charmoniumQ opened on Jul 29, 2024
  3

• Bad link for tutorial

  cil-project/cil#55 · Filter by author samkho opened on Jul 22, 2023
  1

• Makefile:102: recipe for target 'ocamlbuild' failed

  cil-project/cil#47 · Filter by author boyang-zhang1 opened on Apr 11, 2020

• cilly: Cannot find GNUCC version

  cil-project/cil#46 · Filter by author nguyenthanhvuh opened on Apr 13, 2019
  2

• "Initializing non-constant-length array" error when parsing a correct C file.

  cil-project/cil#45 · Filter by author ehboudjema opened on Aug 31, 2018
  3

• GCC Builtin Support

  cil-project/cil#44 · Filter by author mrigger opened on Jul 16, 2018

• Respect $MAKE environment variable in myocamlbuild.ml

  cil-project/cil#43 · Filter by author madroach opened on Jun 21, 2018
  4

• CIL throws syntax error for file wget1.14/lib/md5.c during compilation to create the library libgnu.a

  cil-project/cil#36 · Filter by author sensorhound-akash opened on Oct 20, 2017
  1

• Trace is a bad choice of name for a module inside CIL

  cil-project/cil#34 · Filter by author jrrk opened on Sep 1, 2017
  1

• Error linking while using callgraph as a lib

  cil-project/cil#33 · Filter by author Lawliar opened on Jun 28, 2017

• unknown option '--param=allow-store-data-races' when building linux kernel

  cil-project/cil#31 · Filter by author yrp604 opened on Mar 26, 2017

• CIL does not compile with GCC 7 (patch attached)

  cil-project/cil#30 · Filter by author rwmjones opened on Feb 14, 2017
  3

• CIL does not parse complex data types (C99)

  cil-project/cil#29 · Filter by author ghost opened on Feb 6, 2017

• Does copyFunction handle CFG-computed successors and predecessors lists?

  cil-project/cil#27 · Filter by author IagoAbal opened on Apr 20, 2016

• Parsing pragmas in CIL

  cil-project/cil#22 · Filter by author zumpchke opened on Sep 1, 2015

• --prefix option to configure doesn't seem to work

  cil-project/cil#20 · Filter by author shahn opened on Aug 12, 2015

• opam package for OCaml 4.02?

  cil-project/cil#18 · Filter by author vogler opened on Sep 30, 2014
  8

• alias attribute is handled incorrectly (and incompletely)

  cil-project/cil#17 · Filter by author stephenrkell opened on Sep 5, 2014

• cilly does not handle input on stdin correctly

  cil-project/cil#16 · Filter by author stephenrkell opened on Sep 4, 2014

• Prototypes that preempt built-in functions are wrongly discarded

  cil-project/cil#15 · Filter by author stephenrkell opened on Sep 2, 2014

• Extern inline prototypes should not replace definitions

  cil-project/cil#14 · Filter by author stephenrkell opened on Jul 19, 2014

• asm goto (gcc 4.5)

  cil-project/cil#12 · Filter by author kerneis opened on May 26, 2014