CBMC

cbmc:cbmc-4.7-patch

  1. Git
  2. lp:cbmc
  3. cbmc-4.7-patch
Last commit made on 2019-06-08
Get this branch:
git clone -b cbmc-4.7-patch https://git.launchpad.net/cbmc

Branch merges

Branch information

Name:
cbmc-4.7-patch
Repository:
lp:cbmc

Recent commits

b752bd1... by Peter Schrammel <email address hidden>

Patch to make compile

89852df... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171>

version 4.7 release tag

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/releases/cbmc-4.7@3563 6afb6bc1-c8e4-404c-8f48-9ae832c5b171

2d201ca... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171>

version 4.7

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@3562 6afb6bc1-c8e4-404c-8f48-9ae832c5b171

7e55249... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171>

macros are checked to be constants

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@3561 6afb6bc1-c8e4-404c-8f48-9ae832c5b171

65f4434... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171>

nondet_static now will still initialize const variables

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@3560 6afb6bc1-c8e4-404c-8f48-9ae832c5b171

6c62a1c... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171>

added floating-point overflow checks

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@3559 6afb6bc1-c8e4-404c-8f48-9ae832c5b171

479e548... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171>

check type of isinf operand

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@3558 6afb6bc1-c8e4-404c-8f48-9ae832c5b171

5a2e5a8... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171>

added decorated_symbol_exprt

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@3556 6afb6bc1-c8e4-404c-8f48-9ae832c5b171

f7772f2... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171>

pass ai_baset to (most) domain class methods

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@3555 6afb6bc1-c8e4-404c-8f48-9ae832c5b171

0ede006... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171>

avoid __builtin_va_list for the benefit of Windows

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@3554 6afb6bc1-c8e4-404c-8f48-9ae832c5b171