cbmc:cbmc-4.0-patch

Branch merges

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related charm recipes

3288434... by Peter Schrammel <email address hidden> on 2019-06-08

Patch to make compile

e3a4bbb... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171> on 2011-06-14

version 4.0

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

dc3ef8c... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171> on 2011-06-14

release 4.0

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

a3447a3... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171> on 2011-06-14

get_map

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

6280d72... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171> on 2011-06-14

more

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

3804ab3... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171> on 2011-06-14

fix

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

55d30d6... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171> on 2011-06-14

fix for malloc type guessing

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

f01c191... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171> on 2011-06-13

revert to minisat2 without simplifier

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

0070218... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171> on 2011-06-13

assertion

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

b800ded... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171> on 2011-06-13

return type guessing

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