Daniel, Are the changes backwards compatible to 2.6 or is 2.7 now required?
-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
