Maybe other users
can chime in on this one.
Thanks for investigating the modules -- I can try and work on a patch when
I have some time too.
Bset,
Jon.
On 13 November 2013 05:05, Gabriel Kerneis wrote:
> Hi Jonathan,
>
> On Tue, Nov 12, 2013 at 11:38:08PM -0800, Jonathan Kotker wrote:
&g
Hello (CIL) World.
This is more a question out of curiosity, but is there a reason that the
inliner, available in src/ext, is not included in the default features of
CIL? I use it as part of GameTime, and currently, when a user installs
GameTime, the installation procedure uses a patch file to add
; Will you be posting the GameTime tool at http://uclid.eecs.berkeley.**
> edu/gametime/ <http://uclid.eecs.berkeley.edu/gametime/> ?
>
> Best regards,
> Alex
>
>
>
> On 10/12/2013 11:04 AM, Gabriel Kerneis wrote:
> > On Fri, Oct 11, 2013 at 07:49:2
ver is done mostly
through Python, I used 'os.environ['FOO']' to set the environment variable
'FOO'.)
I hope this helps anyone else who might run into similar problems. Thank
you for all of your patience and help, Gabriel!
On 12 October 2013 01:04, Gabriel Kerneis wr
uot;default".
> Hope this helps :)
>
> If there's anything more to add please don't hesitate.
>
>Best regards,
> Alex
>
> On 10/10/2013 8:03 PM, Jonathan Kotker wrote:
> > I used to use --load, but then one of my beta-testers informed me that
Oh okay -- that means I should probably update to the latest version then,
and see if that helps in any way.
Thanks for the heads-up!
On 10 October 2013 11:28, Gabriel Kerneis wrote:
> On Thu, Oct 10, 2013 at 10:03:49AM -0700, Jonathan Kotker wrote:
> > I used to use --load, but th
I used to use --load, but then one of my beta-testers informed me that he
seemed to have needed findlib, which spawned off my question to you.
On 10 October 2013 09:53, Gabriel Kerneis wrote:
> On Thu, Oct 10, 2013 at 09:29:56AM -0700, Jonathan Kotker wrote:
> > Since I am using
been compiled.
Thanks again,
Jon.
On 9 October 2013 12:52, Gabriel Kerneis wrote:
> On Wed, Oct 09, 2013 at 10:07:49AM -0700, Jonathan Kotker wrote:
> > Looking at your commands below, it looks like the 'MYLIBDIR' environment
> > variable is being hardwired to a locat
rl wrapper.
On 9 October 2013 01:23, Gabriel Kerneis wrote:
> On Tue, Oct 08, 2013 at 10:48:36PM -0700, Jonathan Kotker wrote:
> > I have another question regarding the new system of CIL plugins. Prior to
> > the current system, all I would have to do is distribute a compiled C
seems
as though the user has to install the extra dependency of Findlib now,
which I would like (as much as possible) to not have.
Thanks,
Jon.
On 17 September 2013 14:32, Jonathan Kotker wrote:
> Ah, sorry for the spam -- but it seems that due to differing versions of
> my code,
file as much as possible,
before passing it to another program analyzer -- the latter does not seem
to mind global initializers that use floating point values, yet CIL does.
On 25 August 2013 01:51, Gabriel Kerneis wrote:
> On Sun, Aug 25, 2013 at 01:26:08AM -0700, Jonathan Kotker wr
Ah, sorry for the spam -- but it seems that due to differing versions of my
code, I was accidentally running the version of the code that still had the
batch file, so I spoke too soon. It turns out that I still need it. Oh
well. :/
On 17 September 2013 14:18, Jonathan Kotker wrote:
> With
With the help of Alex Susu, I found out a way within Python to call the
Cilly driver directly, without having to resort to a batch file, so it
looks like you don't have to add it, Gabriel. :)
Thanks to everyone for all of the help.
On 16 September 2013 21:29, Jonathan Kotker wrote:
>
your help! :)
On 16 September 2013 14:24, Gabriel Kerneis wrote:
> On Mon, Sep 16, 2013 at 01:59:40PM -0700, Jonathan Kotker wrote:
> > Chances are that I may just have to write a replacement batch script for
> my
> > own purposes.
>
> For what it's worth, I got rid of cill
itself -- I will investigate further.
Chances are that I may just have to write a replacement batch script for my
own purposes.
On 16 September 2013 13:50, Gabriel Kerneis wrote:
> On Mon, Sep 16, 2013 at 01:12:34PM -0700, Jonathan Kotker wrote:
> > Do you have any suggestions on why this
Hi Gabriel.
Thank you very much for pushing this new change to CIL through. I am
currently trying to work with the new version of CIL and to re-integrate it
into my research tool, but I find myself running into a few problems.
In particular, the older version of CIL yielded a batch script (cilly.
t.c:5: Error: global initializer
Are there any suggestions on how to get this to work? Ideally, I guess I'm
looking for a way for expressions involving floating-point values to just
'go through' without any changes and constant foldings, but it looks like
that's already happening.
Try deleting the config.sub file, and then running the 'dos2unix' command
on the items in the folder: 'dos2unix *' That should convert the carriage
returns to the UNIX-specific newlines.
On 15 August 2013 01:09, Colin Adams wrote:
> I'm having a problem.
>
> When I run ./configure (from cygwin
Thanks for the helpful information, Gabriel and Chris!
On 7 August 2013 08:01, Gabriel Kerneis wrote:
> On Wed, Aug 07, 2013 at 04:43:33PM +0200, Christoph Spiel wrote:
> > Back then someone (probably more knowledgeable)
> > convinced me that folding floats and doubles
> > involves all kinds of
Ah okay, thanks, Gabriel. I will try to work around this then.
On 6 August 2013 23:15, Gabriel Kerneis wrote:
> On Wed, Aug 07, 2013 at 07:13:17AM +0100, Gabriel Kerneis wrote:
> > You could try and patch src/cil.ml around line 2570 to handle that case
>
> Line 2656 and following actually (cons
Ah thanks, Gabriel!
Is there a way to do this without having to preserve the ternary operator?
The conversion of the ternary operator is useful for easier analysis.
On 6 August 2013 22:59, Gabriel Kerneis wrote:
> On Tue, Aug 06, 2013 at 03:55:02PM -0700, Jonathan Kotker wrote:
> &
Hello (CIL) World.
I have a question about global initializers. In particular, I have the
following piece of code:
int a = (int)((3.0 > 2.0) ? 1.0 : 4.0);
int foo(void) {
if (a > 0) { ... }
}
CIL does not seem to like this code, complaining about global initializers
on the first line. Howev
a;
a = 3;
if (a > 0) { ... }
}
so as to sensitize the consequent case of the if-branch.
On 7 March 2013 10:09, Gabriel Kerneis wrote:
> Hi Jonathan,
>
> On Sat, Mar 02, 2013 at 08:44:10AM -0800, Jonathan Kotker wrote:
> > I was looking through the CIL codebase in
Bump. :)
On 2 March 2013 08:44, Jonathan Kotker wrote:
> Hello (CIL) World.
>
> I was looking through the CIL codebase in search of a function that would
> convert a statement into an element of the CIL representation.
>
> The larger context of this problem is as follows: I
Hello (CIL) World.
I was looking through the CIL codebase in search of a function that would
convert a statement into an element of the CIL representation.
The larger context of this problem is as follows: I have a C file, and I
also have another file (a non-legal C file) with assignments such as
On 12 January 2013 14:33, Gabriel Kerneis wrote:
> On Sat, Jan 12, 2013 at 01:31:34PM -0800, Jonathan Kotker wrote:
> > Is there anything else I should be including? The above files seem to be
> > the only ones the tool needs. Or is there a better way to go about this
> > e
s the tool needs. Or is there a better way to go about this
entire process?
For what it's worth, my tool will be released under the modified BSD
license.
Thanks for any help and suggestions,
Jon.
On 11 January 2013 16:21, Jonathan Kotker wrote:
> Hello (CIL) World.
>
> I ha
Hello (CIL) World.
I have a question about including CIL as part of a tool and tool release:
What is the conventional method for including CIL as part of a tool release?
By this, I mean: if a tool uses CIL, does the tool release include the
entire CIL source code? The one downside I can see to th
Thanks, Oliver!
On 30 September 2012 23:03, Jonathan Kotker wrote:
> Hi Oliver.
>
> Thanks for the quick replies!
>
> On 27 September 2012 02:14, Oliver Schwahn <
> schw...@rbg.informatik.tu-darmstadt.de> wrote:
>
>> Hi,
>>
>>
>> So, what I&#x
Hi Oliver.
Thanks for the quick replies!
On 27 September 2012 02:14, Oliver Schwahn <
schw...@rbg.informatik.tu-darmstadt.de> wrote:
> Hi,
>
>
> So, what I'm currently using CIL for in my tool is to preprocess the
>> source file under analysis to make it easier to analyze -- or at least,
>> tha
Hi Oliver.
Thanks for the helpful reply. So, what I'm currently using CIL for in my
tool is to preprocess the source file under analysis to make it easier to
analyze -- or at least, that's the hope. As part of this, I would like to
give the user an option to specify what files he/she would like to
Thanks, Oliver! I guess what I'm looking for is similar to your suggestion
of setting the environment variable CILLY_DONT_LINK_AFTER_MERGE, but I was
wondering if there was a command-line option that can be passed to the
merger that mimics setting this environment variable.
On 18 September 2012 01
Hello (CIL) World.
I have a question about the CIL merger. Up until this point, I have been
able to successfully pass the "-c" flag to cilly to prevent it from
attempting to link the final result, since the tool I am writing that uses
CIL does not assume that the code provided for analysis has a "
t was possible to avoid this extra step for
the user.
Thanks for any advice, and happy holidays!
~ Jon.
On 28 February 2011 00:36, 林楠 wrote:
> run make and you will get an executable of your platform
>
> On Feb 28, 2011 4:08 PM, "Jonathan Kotker"
> wrote:
> >
Thanks for the quick responses and clarification, everyone. :)
On 17 November 2011 10:35, Pavel Shved wrote:
> On Thursday, November 17, 2011 09:20:57 Jonathan Kotker wrote:
> > Hello (CIL) World.
> >
> > I have noticed that CIL compiles the final file that it produces: is
Hello (CIL) World.
I have noticed that CIL compiles the final file that it produces: is there
any way to prevent this happening?
Thanks,
Jon.
--
All the data continuously generated in your IT infrastructure
contains a de
Hello World.
I am planning to use CIL as part of the research tool that I am writing.
Currently, my code constructs and runs a system call that runs the cilly
driver on my local machine, along with specific arguments. My question is
this: if I were to release the tool as an open-source tool for
Thanks!
On 15 February 2011 23:47, Gabriel Kerneis wrote:
> On Tue, Feb 15, 2011 at 09:27:51PM -0800, Jonathan Kotker wrote:
> > Thanks for the information! :) I guess I didn't understand the C
> > compilation toolflow well enough: just to clarify then, just because you
&g
implemented in a library.
>
> Zakkak Foivos
>
> On 02/16/2011 01:48 AM, Jonathan Kotker wrote:
> > Hello.
> >
> > I was wondering how to get CIL to include functions from user-defined
> > header files. For instance, I have the header file "foo.h", which
Hello.
I was wondering how to get CIL to include functions from user-defined header
files. For instance, I have the header file "foo.h", which contains
int bar(void);
There is another file "foo.c" that contains the definition of the "bar"
function. Now, let us say that the file we are going to
It works brilliantly! Merci beaucoup, Gabriel! :)
On 14 January 2011 10:03, Gabriel Kerneis wrote:
> 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.
> --
>
Shalini, have you had any further progress on this? This is an interesting
development: what did you do to move from the initial error to this one?
On 9 January 2011 12:46, shalini s wrote:
>
> The error now shows this. I realise its something wrong with the way I have
> specified teh PATH vari
m, so I am writing it here for posterity.
Thanks for all of the help. :)
~ Jon.
On 8 January 2011 10:44, Gabriel Kerneis wrote:
> On Sat, Jan 08, 2011 at 10:07:39AM -0800, Jonathan Kotker wrote:
> > It looks like I need a username and a password to download the ocamlutil
> > di
It looks like I need a username and a password to download the ocamlutil
directory from the SVN directory. Am I missing something?
Thanks,
Jon.
On 8 January 2011 09:45, Gabriel Kerneis wrote:
> On Sat, Jan 08, 2011 at 09:19:59AM -0800, Jonathan Kotker wrote:
> > ** Fatal error: Ca
27;-lstr'
'obj/x86_WIN32/perfcount.o' '-lcamlrun' -I'/usr/lib/ocaml' -lm -lcurses
-lpthread
** Fatal error: Cannot find file "libstr"
File "_none_", line 1, characters 0-1:
Error: Error while building custom runtime system
make: *** [obj/x86
Hello, and Happy New Year!
I am trying to install CIL on the 32-bit Windows 7 partition of my MacBook
Pro. I seem to have an error making CIL in Cygwin on my Windows
installation. I am getting this error:
Linking bytecode obj/x86_WIN32/cilly.byte.exe
+ flexlink -chain cygwin -merge-manifest -ex
46 matches
Mail list logo
