On Sat, Mar 13, 2010 at 10:39 PM, David A. Ramos <daramos at stanford.edu> wrote: > Daniel, > > Are the changes backwards compatible to 2.6 or is 2.7 now required?
They are backwards compatible, KLEE should work with 2.6 and 2.7. 2.5 may even work, but I haven't tested it. - Daniel > -David > > On Mar 13, 2010, at 9:36 PM, Daniel Dunbar wrote: > >> Hi, >> >> I just checked in a patch for building KLEE with LLVM 2.7. I have >> tested it on Linux x86_32 with LLVM 2.6 and 2.7 and on Darwin x86_32 >> and x86_64. I'd appreciate it if someone can test it on Linux x86_64. >> >> Please let me know of any problems. >> >> - Daniel >> _______________________________________________ >> klee-dev mailing list >> klee-dev at keeda.stanford.edu >> http://keeda.Stanford.EDU/mailman/listinfo/klee-dev > >
