CBMC

cbmc:cbmc-5.2-patch

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

Branch merges

Branch information

Name:
cbmc-5.2-patch
Repository:
lp:cbmc

Recent commits

0a71276... by Peter Schrammel <email address hidden>

Patch to make compile

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

CBMC 5.2 release tag

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

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

don't give empty main method name

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

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

full slicer now in CBMC

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

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

add local may alias analysis

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

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

symex equation printing

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

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

fix assertion coverage

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

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

don't slice when doing cover

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

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

coverage criteria fixed up

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

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

removed cover-assertions

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