cbmc:cbmc-5.3-patch

Branch merges

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related charm recipes

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

Patch to make compile

a46003b... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171> on 2015-12-01

Release 5.3

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

3d14470... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171> on 2015-12-01

avoid a warning

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

409e968... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171> on 2015-12-01

avoid a warning

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

697f82f... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171> on 2015-12-01

avoid a warning

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

8e797b5... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171> on 2015-12-01

increased the version number

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

79d31e1... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171> on 2015-12-01

more ambiguity

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

191c1c6... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171> on 2015-12-01

must return value

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

a384a58... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171> on 2015-12-01

pid_t

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

0f4a46c... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171> on 2015-12-01

use vector instead of stack

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