CBMC

cbmc:ESOP2014-heap

  1. Git
  2. lp:cbmc
  3. ESOP2014-heap
Last commit made on 2014-10-23
Get this branch:
git clone -b ESOP2014-heap https://git.launchpad.net/cbmc

Branch merges

Branch information

Name:
ESOP2014-heap
Repository:
lp:cbmc

Recent commits

f3f8270... by schram <schram@6afb6bc1-c8e4-404c-8f48-9ae832c5b171>

fixed erroneous return value in cbmc_solvers

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/branches/ESOP2014-heap@4657 6afb6bc1-c8e4-404c-8f48-9ae832c5b171

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

branch for cleaning up the IR

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/branches/ESOP2014-heap@3855 6afb6bc1-c8e4-404c-8f48-9ae832c5b171

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

+ not-dangling assumption

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/branches/ESOP2014-heap@3819 6afb6bc1-c8e4-404c-8f48-9ae832c5b171

9d16fc6... by cdavid <cdavid@6afb6bc1-c8e4-404c-8f48-9ae832c5b171>

fix dangling reset

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/branches/ESOP2014-heap@3816 6afb6bc1-c8e4-404c-8f48-9ae832c5b171

ee2bc14... by cdavid <cdavid@6afb6bc1-c8e4-404c-8f48-9ae832c5b171>

dll_extends_pointer_true/main.c

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/branches/ESOP2014-heap@3813 6afb6bc1-c8e4-404c-8f48-9ae832c5b171

c1e83b4... by cdavid <cdavid@6afb6bc1-c8e4-404c-8f48-9ae832c5b171>

fix dangling pointers

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/branches/ESOP2014-heap@3812 6afb6bc1-c8e4-404c-8f48-9ae832c5b171

62806cf... by schram <schram@6afb6bc1-c8e4-404c-8f48-9ae832c5b171>

clean up

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/branches/ESOP2014-heap@3811 6afb6bc1-c8e4-404c-8f48-9ae832c5b171

6a78086... by schram <schram@6afb6bc1-c8e4-404c-8f48-9ae832c5b171>

heap id bug in gotos fixed

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/branches/ESOP2014-heap@3810 6afb6bc1-c8e4-404c-8f48-9ae832c5b171

049fcc3... by schram <schram@6afb6bc1-c8e4-404c-8f48-9ae832c5b171>

select/store bug fixed

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/branches/ESOP2014-heap@3800 6afb6bc1-c8e4-404c-8f48-9ae832c5b171

a5dc639... by cdavid <cdavid@6afb6bc1-c8e4-404c-8f48-9ae832c5b171>

+ buggy program

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/branches/ESOP2014-heap@3799 6afb6bc1-c8e4-404c-8f48-9ae832c5b171