[prev in list] [next in list] [prev in thread] [next in thread] 

List:       klee-commits
Subject:    [klee-commits] [PATCH] Allow compilation with LLVM 3.2
From:       c.cadar () imperial ! ac ! uk (Cristian Cadar)
Date:       2013-04-04 11:51:39
Message-ID: 515D694B.4010806 () imperial ! ac ! uk
[Download RAW message or body]

Thanks again both to for the patch.  It is now in the mailine:
http://llvm.org/viewvc/llvm-project?view=revision&revision=178759

Best,
Cristian

On 04/04/13 11:16, Jiri Slaby wrote:
> On 04/03/2013 11:01 PM, Cristian Cadar wrote:
>> Hi Michael,
>>
>> Many thanks for this patch.  I have recently received a similar patch
>> for compatibility with LLVM 3.2 from Jiri (cc-ed), which I am attaching
>> to this message.  After a quick scan over the two patches, I think they
>> are semantically equivalent (which is a reassuring!) but I'll let you
>> two take a look as well before I commit this.
>
> Yeah, Michael's looks good to me.
>
> thanks,
>


[prev in list] [next in list] [prev in thread] [next in thread]