Hello everyone,
I'm new to this list and I just obtained CIL. For our research which
uses compositional reasoning, we need a tool to extract out each
function individually from a C program (including global declarations
like variables, structs and typedefs) and analyze it.
CIL's doepicenter featu
Le Friday 14 Jan 2011 à 18:34:19 (+0100), Gabriel Kerneis a écrit :
> On Fri, Jan 14, 2011 at 05:54:05PM +0100, Guillaume Yziquel wrote:
> > I've been trying to compile CIL and CPC on my Debian Linux box. OCaml
> > distribution is the one from Stéphane Glondu's 3.12 repo. Below's the
> > compilatio
On Fri, Jan 14, 2011 at 06:36:49PM +0100, Gabriel Kerneis wrote:
> Hmmm, looking at your prompt, it looks like you are trying to compile
> CPC rather than CIL. Is this the case? Did you fetch latest git
> version? Which branch?
FWIW, I just tried to install ocaml-3.12 from Stéphane's repository
On Fri, Jan 14, 2011 at 05:29:39PM +0100, Gabriel Kerneis wrote:
> - upgrade cil AND ocamlutil to latest SVN (r12118 at least)
Ahem, r12120 actually, I forgot some configure magic.
--
Gabriel
--
Protect Your Site and Cus
On Fri, Jan 14, 2011 at 06:34:19PM +0100, Gabriel Kerneis wrote:
> Try to fetch latest version from svn (as mentionned recently on this
> list). Take care to fetch ocamlutil separately, since the svn:external
> is broken (it will ask you some password and deny access).
Hmmm, looking at your promp
On Fri, Jan 14, 2011 at 05:54:05PM +0100, Guillaume Yziquel wrote:
> I've been trying to compile CIL and CPC on my Debian Linux box. OCaml
> distribution is the one from Stéphane Glondu's 3.12 repo. Below's the
> compilation output.
>
> It clearly stumbles on the -lstr linking. Could not find on m
Hi.
I've been trying to compile CIL and CPC on my Debian Linux box. OCaml
distribution is the one from Stéphane Glondu's 3.12 repo. Below's the
compilation output.
It clearly stumbles on the -lstr linking. Could not find on my Debian
box, except when looking into the mingw cross-compiling libs. T
Dear Jonathan,
On Sat, Jan 08, 2011 at 09:19:59AM -0800, Jonathan Kotker wrote:
> Thanks for the advice. It seems like the Ocaml interpreter installed on my
> system was using "flexdll" instead of gcc to do the linking, and "flexdll"
> did not understand the "-g" flag. Based on advice provided h
On Jan 14, 2011, at 10:18 AM, Gabriel Kerneis wrote:
> Dear Elnatan,
>
> Thank you very much for your patches. I tested them, but I have some
> questions before I push them upstream. Please see below.
>
> On Fri, Jan 07, 2011 at 12:16:17AM -0500, Elnatan Reisner wrote:
>> Finally, since I was pl
Dear Elnatan,
Thank you very much for your patches. I tested them, but I have some
questions before I push them upstream. Please see below.
On Fri, Jan 07, 2011 at 12:16:17AM -0500, Elnatan Reisner wrote:
> One patch, switch_default_ordering.patch, fixes an actual bug
> (although I suppose it n
10 matches
Mail list logo
