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

Re: [creduce-dev] C-Reduce 2.4.0 Released

John Regehr <regehr@cs.utah.edu> writes:

> Eric do you want to summarize what's new with this release?  Is it just native
> Windows support?

Let's see:

  + Supports and requires LLVM 3.7

  + Improved struct transformations (GitHub pull request #55)

  + Improved compatibility with native Windows env (GitHub pull request #60)

  + Improved support for OpenCL sources (GitHub pull request #64)

  + Assorted bug fixes

Eric.

-- 
-------------------------------------------------------------------------------
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