Fedora 24 Update: cbmc-5.4-1.fc24

updates at fedoraproject.org updates at fedoraproject.org
Sat Apr 9 15:42:05 UTC 2016

Fedora Update Notification
2016-04-09 15:25:20.296621

Name        : cbmc
Product     : Fedora 24
Version     : 5.4
Release     : 1.fc24
URL         : http://www.cprover.org/cbmc/
Summary     : Bounded Model Checker for ANSI-C and C++ programs
Description :
CBMC generates traces that demonstrate how an assertion can be violated, or
proves that the assertion cannot be violated within a given number of loop

Update Information:

cryptominisat-2.9.11-1.fc24:  - This maintenance release is to fix a bug in the
Gaussian Elimination code that could trigger in some situations.  gmp-
ecm-7.0-1.fc24:  - GMP-ECM is now thread-safe. In particular the "ecmfactor"
binary can be called with say -t 17 to use 17 threads. - Added GPU code for Step
1 (command-line option -gpu). - Command-line option -param allows to choose the
parametrization (valid values are 0, 1, 2, 3). Command-line option -sigma allows
to choose the parameter. "-sigma i:s" is a shortcut to "-param i -sigma s". Use
-param 0 to get historical Suyama parametrization. - The batch mode is now
chosen with -param command-line option. The default parametrization depends on
other command-line options. - For P-1 stage 2, by default the NTT code is always
used. - Speedup in stage 2 with -no-ntt - New primality proving code with APRCL
(contributed by David Cleaver) with --enable-aprcl (default=yes) - Removed some
options that were unused or not tested (-n, -nn, -ve, -cofdec, -B2scale). - The
configure --enable-shellcmd option was removed, and also the --enable-memory-
debug configure option (now obsolete with valgrind). - The -b options was
removed (breadth-first mode) - Improved source coverage (92.7% of source code
lines)  minisat2-2.2.1-1.fc24:  - Use Debian sources (minor fixes and cleanups
over previous upstream).  ntl-9.7.0-1.fc24:  - See http://shoup.net/ntl/doc
/tour-changes.html for changes in this release.  sympy-1.0-1.fc24:  - See
https://github.com/sympy/sympy/wiki/Release-Notes-for-1.0 for changes in this
release.  cbmc-5.4-1.fc24:  - See
https://groups.google.com/forum/#!topic/cprover/X-OkBlbI2-M for changes in this
release.  All other packages are rebuilds due to the updated packages above.

  [ 1 ] Bug #1316322 - sympy-1.0 is available

This update can be installed with the "yum" update program. Use
su -c 'yum update cbmc' at the command line.
For more information, refer to "Managing Software with yum",
available at https://docs.fedoraproject.org/yum/.

All packages are signed with the Fedora Project GPG key.  More details on the
GPG keys used by the Fedora Project can be found at

More information about the package-announce mailing list