Thanks, Chace. We are now working on a first official release of KLEE based on LLVM 3.4, so this will have lower priority, but I hope we'll take a look soon afterwards. In the meantime, I encourage other people to try your patch (https://github.com/klee/klee/pull/238) and report any issues.
Best, Cristian On 26/04/2015 03:06, Chace Clark wrote: > Hi guys, > > I hopefully have made all the changes necessary so that my forked KLEE > with 3.6 support wont cause any problems. It took me longer than I > thought to add the switches to insure we don't break with older versions > of LLVM. On the upside I tested it against 2.9, 3.4, and 3.6. (on my > local Linux mint x64 install), so I don't anticipate too many problems. > > The one thing i couldn't do was get the formatting tool to work. I hope > this is not a problem. It kept saying no modified files to format. Can u > run the tool for me when u merge the pull request? > > Im sending the pull request now and it should be up to date with the > changes done to master as of the moment. > > Anyway, Let me know if there are any problems. > > Thanks, > -Chace > > > On Wed, Apr 15, 2015 at 5:36 PM, Chace Clark <[email protected] > <mailto:[email protected]>> wrote: > > Oh cool Ill add those too. Yeah I have never worked with TravisCI > before, so I'm reading about it now. Looks cool. > Ill get to it and assuming all goes well, you can expect a pull > request shortly. > > Thanks for your help. > > On Wed, Apr 15, 2015 at 5:26 PM, Dan Liew <[email protected] > <mailto:[email protected]>> wrote: > > > 4. Enable TravisCI tests for LLVM 3.6. Look at the /.travis.yml > file. > > Hopefully it would just be a case of adding a few more > configurations > > the ``env`` key > > > > - LLVM_VERSION=3.6 STP_VERSION=UPSTREAM KLEE_UCLIBC=0 > > DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=1 > > - LLVM_VERSION=3.6 STP_VERSION=UPSTREAM KLEE_UCLIBC=1 > > DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=1 > > - LLVM_VERSION=3.6 STP_VERSION=r940 KLEE_UCLIBC=0 > DISABLE_ASSERTIONS=0 > > ENABLE_OPTIMIZED=1 > > - LLVM_VERSION=3.6 STP_VERSION=r940 KLEE_UCLIBC=1 > DISABLE_ASSERTIONS=0 > > ENABLE_OPTIMIZED=1 > > Oh I forgot to say you'll need to add the following to the > before_install section in the ``travis.yml`` as well. > > - sudo sh -c 'echo "deb http://llvm.org/apt/precise/ > llvm-toolchain-precise-3.6 main" >> > /etc/apt/sources.list.d/llvm.list' > - sudo sh -c 'echo "deb-src http://llvm.org/apt/precise/ > llvm-toolchain-precise-3.6 main" >> > /etc/apt/sources.list.d/llvm.list' > > > > > > _______________________________________________ > klee-dev mailing list > [email protected] > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev > _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
