[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[creduce-dev] C-Reduce Now Requires LLVM 3.7+

The master branch of C-Reduce now requires LLVM 3.7+.

This work is part of the preparation for making a new C-Reduce release that
pairs with LLVM 3.7.  Please give it a go and speak up if you find something

Thanks ---


Eric Eide <eeide@cs.utah.edu>  .         University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX