cbmc:cegis

Branch merges

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related charm recipes

175286a... by pkesseli <pkesseli@6afb6bc1-c8e4-404c-8f48-9ae832c5b171> on 2016-02-26

CEGIS branch for experimental additions.

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

f87cb8f... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171> on 2016-02-26

uninterpreted functions and threads

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

1a58b0d... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171> on 2016-02-26

typo __CPROVER_array_set

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

2a2495d... by pkesseli <pkesseli@6afb6bc1-c8e4-404c-8f48-9ae832c5b171> on 2016-02-25

- Fixed vtables in Java.
- Removed UB in Java bytecode module.
- Recompiled virtual1-virtual4 with JDK 8.

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

857afff... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171> on 2016-02-24

associativity of plus

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

5d5ffba... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171> on 2016-02-23

removed cegis dependency

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

a6af4ec... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171> on 2016-02-23

separate cegis executable

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

bf43afc... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171> on 2016-02-23

API change

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

1a6d750... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171> on 2016-02-23

enum subtype is only stored in symbol table, never in enum_tag type

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

0be2142... by kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171> on 2016-02-23

Added support for GCC's __auto_type

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