Search results

Unable to build CIL due to unbound module Big_int

Status: Open.

#57 In cil-project/cil;

· charmoniumQ opened on Jul 29, 2024

Bad link for tutorial

Status: Open.

#55 In cil-project/cil;

· samkho opened on Jul 22, 2023

Makefile:102: recipe for target 'ocamlbuild' failed

Status: Open.

#47 In cil-project/cil;

· blank-black opened on Apr 11, 2020

cilly: Cannot find GNUCC version

Status: Open.

#46 In cil-project/cil;

· nguyenthanhvuh opened on Apr 13, 2019

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

Status: Open.

#45 In cil-project/cil;

· ehboudjema opened on Aug 31, 2018

GCC Builtin Support

Status: Open.

#44 In cil-project/cil;

· mrigger opened on Jul 16, 2018

Respect $MAKE environment variable in myocamlbuild.ml

Status: Open.

#43 In cil-project/cil;

· madroach opened on Jun 21, 2018

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

Status: Open.

#36 In cil-project/cil;

· sensorhound-akash opened on Oct 20, 2017

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

Status: Open.

#34 In cil-project/cil;

· jrrk opened on Sep 1, 2017

Error linking while using callgraph as a lib

Status: Open.

#33 In cil-project/cil;

· Lawliar opened on Jun 28, 2017

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

Status: Open.

#31 In cil-project/cil;

· yrp604 opened on Mar 26, 2017

CIL does not compile with GCC 7 (patch attached)

Status: Open.

#30 In cil-project/cil;

· rwmjones opened on Feb 14, 2017