Hi Gabriel,
On Thu, Sep 19, 2013 at 2:11 AM, Gabriel Kerneis wrote:
> On Wed, Sep 18, 2013 at 03:58:46PM -0400, Edward Schwartz wrote:
>> Are the CIL semantics formally defined anywhere? I am aware of
>> http://www.cs.berkeley.edu/~necula/Papers/cil_cc02.pdf but it seem
Hi,
Are the CIL semantics formally defined anywhere? I am aware of
http://www.cs.berkeley.edu/~necula/Papers/cil_cc02.pdf but it seems
incomplete. Alternatively, is there a concrete evaluator for CIL? I
am particularly interested in the semantics of casts, and how
expressions can be created tha
