On Fri, Oct 15, 2010 at 11:04:13AM +0200, Gabriel Kerneis wrote:
> After some discussion off-list with Elnatan, I just commited an updated
> version of his patches.
You will also find attached an updated version of the "Question" patch
(which introduces a constructor to represent the ternary opera
After some discussion off-list with Elnatan, I just commited an updated
version of his patches.
Many thanks,
--
Gabriel Kerneis
--
Download new Adobe(R) Flash(R) Builder(TM) 4
The new Adobe(R) Flex(R) 4 and Flash(R) Buil
Elnatan,
Thank you very much for your patch.
On Thu, Sep 16, 2010 at 06:33:34PM -0400, Elnatan Reisner wrote:
> The attached patch addresses those three items, and it also
> introduces a command-line option to set the useLogicalOperators
> flag.
I'm willing to commit those, but check.ml should b
Elnatan Reisner wrote:
> One result of this, however, is that something like '*p
> && 0' will become simply '0', and if p was null, this means that the
> transformed program does not crash, whereas the original would have. I
> would argue that this an acceptable transformation, but I'm curio
This is a patch containing some old stuff and some new stuff related
to logical operators. Here are two old emails I've sent on this topic:
http://www.mail-archive.com/cil-users@lists.sourceforge.net/msg00143.html
http://www.mail-archive.com/cil-users@lists.sourceforge.net/msg00012.html
The fir
