Hey J On 16.02.2011 18:55, Justin wrote: > Hello all. I am very new at using CIL, as probably obviated by my > question...
Then you might want to read through http://hal.cs.berkeley.edu/cil/ > I am trying to merge files into one, so that I can do some analysis on > it (using CREST). I have two .c files and 3 .h files. I can't seem to > figure out how to get CIL to merge these correctly. What did you try? How did it fail? > The documentation talks about 'more info coming soon'. The documentation seems to be pretty extensive to me: http://hal.cs.berkeley.edu/cil/cil007.html Where does it say "more info coming soon"? > The output needs to be .c format; I'd suggest to read through the website. All you need is there with very good examples and explanations. Hope that helps Marco > CREST has a script that runs on a .c file in order to implement it's > features. > > Thanks, > J > > ------------------------------------------------------------------------------ > The ultimate all-in-one performance toolkit: Intel(R) Parallel Studio XE: > Pinpoint memory and threading errors before they happen. > Find and fix more than 250 security defects in the development cycle. > Locate bottlenecks in serial and parallel code that limit performance. > http://p.sf.net/sfu/intel-dev2devfeb > _______________________________________________ > CIL-users mailing list > CIL-users@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/cil-users ------------------------------------------------------------------------------ The ultimate all-in-one performance toolkit: Intel(R) Parallel Studio XE: Pinpoint memory and threading errors before they happen. Find and fix more than 250 security defects in the development cycle. Locate bottlenecks in serial and parallel code that limit performance. http://p.sf.net/sfu/intel-dev2devfeb _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
