Groups
Sign in
Groups
The CProver Group
Conversations
About
Send feedback
Help
The CProver Group
Contact owners and managers
1–30 of 43
Mark all as read
Report group
0 selected
Daniel Kroening
8/20/18
CBMC Release 5.10
We are pleased to announce the release of CBMC version 5.10. This is a maintenance release. The main
unread,
CBMC Release 5.10
We are pleased to announce the release of CBMC version 5.10. This is a maintenance release. The main
8/20/18
Daniel Kroening
6/21/18
CBMC Release 5.9
We are pleased to announce the release of CBMC version 5.9. This is a maintenance release. Note that
unread,
CBMC Release 5.9
We are pleased to announce the release of CBMC version 5.9. This is a maintenance release. Note that
6/21/18
Daniel Kroening
8/12/17
CBMC Release 5.8
We are pleased to announce the release of CBMC version 5.8. This is a minor release, with a focus on
unread,
CBMC Release 5.8
We are pleased to announce the release of CBMC version 5.8. This is a minor release, with a focus on
8/12/17
Daniel Kroening
7/3/17
EBMC release 4.4
I have uploaded a new release (4.4) of EBMC. This release adds a major new feature, which is an (
unread,
EBMC release 4.4
I have uploaded a new release (4.4) of EBMC. This release adds a major new feature, which is an (
7/3/17
Daniel Kroening
3/30/17
CBMC Release 5.7
We are pleased to announce the release of CBMC version 5.7. This is a major release, with numerous
unread,
CBMC Release 5.7
We are pleased to announce the release of CBMC version 5.7. This is a major release, with numerous
3/30/17
Daniel Kroening
11/19/16
CBMC Release 5.6
We are pleased to announce the release of CBMC version 5.6. This is a minor release, focused
unread,
CBMC Release 5.6
We are pleased to announce the release of CBMC version 5.6. This is a minor release, focused
11/19/16
Daniel Kroening
8/22/16
CBMC Release 5.5
We are pleased to announce the release of CBMC version 5.5. This is a major release, with significant
unread,
CBMC Release 5.5
We are pleased to announce the release of CBMC version 5.5. This is a major release, with significant
8/22/16
Daniel Kroening
3/16/16
CBMC Release 5.4
We are pleased to announce the release of CBMC version 5.4. This is a minor release, focused
unread,
CBMC Release 5.4
We are pleased to announce the release of CBMC version 5.4. This is a minor release, focused
3/16/16
Daniel Kroening
2/17/16
CBMC 5.3 and prior: bug in encoding of floating-point division
Dear everyone, as part of our routine QA process we have found an issue with our model of floating-
unread,
CBMC 5.3 and prior: bug in encoding of floating-point division
Dear everyone, as part of our routine QA process we have found an issue with our model of floating-
2/17/16
Daniel Kroening
12/1/15
CBMC Release 5.3
We are pleased to announce the release of CBMC version 5.3. This is a minor release, focused
unread,
CBMC Release 5.3
We are pleased to announce the release of CBMC version 5.3. This is a minor release, focused
12/1/15
Daniel Kroening
8/29/15
CBMC Release 5.2
We are pleased to announce the release of CBMC version 5.2. This is a minor release, focused
unread,
CBMC Release 5.2
We are pleased to announce the release of CBMC version 5.2. This is a minor release, focused
8/29/15
Daniel Kroening
5/10/15
CBMC Release 5.1
We are pleased to announce the release of CBMC version 5.1. This is a minor release, focused
unread,
CBMC Release 5.1
We are pleased to announce the release of CBMC version 5.1. This is a minor release, focused
5/10/15
Daniel Kroening
1/26/15
CBMC Release 5.0
We are pleased to announce the release of CBMC version 5.0. This is a major release, focused
unread,
CBMC Release 5.0
We are pleased to announce the release of CBMC version 5.0. This is a major release, focused
1/26/15
Daniel Kroening
8/3/14
CBMC Release 4.9
We are pleased to announce the release of CBMC version 4.9. This release is primarily for maintenance
unread,
CBMC Release 4.9
We are pleased to announce the release of CBMC version 4.9. This release is primarily for maintenance
8/3/14
Daniel Kroening
1/29/14
CBMC Release 4.6
We are pleased to announce the release of CBMC version 4.7. This release is primarily for maintenance
unread,
CBMC Release 4.6
We are pleased to announce the release of CBMC version 4.7. This release is primarily for maintenance
1/29/14
Daniel Kroening
11/8/13
CBMC Release 4.6
We are pleased to announce the release of CBMC version 4.6. This release is a primarily improves on
unread,
CBMC Release 4.6
We are pleased to announce the release of CBMC version 4.6. This release is a primarily improves on
11/8/13
Daniel Kroening
8/24/13
CBMC Release 4.5
We are pleased to announce the release of CBMC version 4.5. This release is a bug-fix release,
unread,
CBMC Release 4.5
We are pleased to announce the release of CBMC version 4.5. This release is a bug-fix release,
8/24/13
Daniel Kroening
7/10/13
CBMC Release 4.4
We are pleased to announce the release of CBMC version 4.4. This release adds a major range of new
unread,
CBMC Release 4.4
We are pleased to announce the release of CBMC version 4.4. This release adds a major range of new
7/10/13
Daniel Kroening
2/7/13
SATABS 3.2 released
We are happy to announce the release of SATABS version 3.2. This release primarily fixes a number of
unread,
SATABS 3.2 released
We are happy to announce the release of SATABS version 3.2. This release primarily fixes a number of
2/7/13
Daniel Kroening
2/5/13
CBMC Release 4.3
We are pleased to announce the release of CBMC version 4.3. This release adds a range of new features
unread,
CBMC Release 4.3
We are pleased to announce the release of CBMC version 4.3. This release adds a range of new features
2/5/13
Daniel Kroening
9/14/12
Visual Studio Integration for CBMC -- first release
We are pleased to announce the first release of the Visual Studio Integration for CBMC. This software
unread,
Visual Studio Integration for CBMC -- first release
We are pleased to announce the first release of the Visual Studio Integration for CBMC. This software
9/14/12
Daniel Kroening
9/14/12
CBMC Release 4.2
We are pleased to announce the release of CBMC version 4.2. This release adds a range of new features
unread,
CBMC Release 4.2
We are pleased to announce the release of CBMC version 4.2. This release adds a range of new features
9/14/12
Daniel Kroening
1/5/12
CBMC Release 4.1
We are pleased to announce the release of CBMC version 4.1. This is again mostly a maintenance
unread,
CBMC Release 4.1
We are pleased to announce the release of CBMC version 4.1. This is again mostly a maintenance
1/5/12
Daniel Kroening
12/27/11
CBMC Release Upcoming
A release of CBMC is upcoming -- current snapshot binaries (r844) are available at http://www.cprover
unread,
CBMC Release Upcoming
A release of CBMC is upcoming -- current snapshot binaries (r844) are available at http://www.cprover
12/27/11
Daniel Kroening
8/10/11
SATABS 3.0 released
We are happy to announce the release of SATABS version 3.0. This release fixes a number of bugs in
unread,
SATABS 3.0 released
We are happy to announce the release of SATABS version 3.0. This release fixes a number of bugs in
8/10/11
Daniel Kroening
8/1/11
Warning: i686-pc-mingw32-g++ 4.5.2 in Cygwin
Dear CPROVER users, as a warning, the mingw cross-compiler version 4.5.2 that ships with Cygwin
unread,
Warning: i686-pc-mingw32-g++ 4.5.2 in Cygwin
Dear CPROVER users, as a warning, the mingw cross-compiler version 4.5.2 that ships with Cygwin
8/1/11
Daniel Kroening
6/14/11
CBMC Release 4.0
We are pleased to announce the release of CBMC version 4.0. This is again mostly a maintenance
unread,
CBMC Release 4.0
We are pleased to announce the release of CBMC version 4.0. This is again mostly a maintenance
6/14/11
Daniel Kroening
5/16/11
CBMC in Debian
Dear CBMC users, there is now a CBMC package description in sid: http://packages.debian.org/en/sid/
unread,
CBMC in Debian
Dear CBMC users, there is now a CBMC package description in sid: http://packages.debian.org/en/sid/
5/16/11
Daniel Kroening
5/9/11
CBMC CVS is now SVN
Dear users of CBMC/CPROVER, the CVS has been migrated (upgraded) to SVN, and is now available at svn
unread,
CBMC CVS is now SVN
Dear users of CBMC/CPROVER, the CVS has been migrated (upgraded) to SVN, and is now available at svn
5/9/11
Daniel Kroening
3/9/11
New Eclipse Plugin
We are pleased to announce a pre-release of a new version of the CPROVER Eclipse-Plugin, suitable for
unread,
New Eclipse Plugin
We are pleased to announce a pre-release of a new version of the CPROVER Eclipse-Plugin, suitable for
3/9/11