value-set-member-fix : lp:cbmc : Git : Code : CBMC

Get this branch:: git clone -b value-set-member-fix https://git.launchpad.net/cbmc

Branch information

2c87bd4... by Daniel Kroening <email address hidden> on 2018-09-04

tolerate imprecision in make_member

Merge pull request #2870 from diffblue/split_remove_function_pointer

split up remove_function_pointerst::remove_function_pointer

6bf1b49... by Peter Schrammel <email address hidden> on 2018-09-03

Merge pull request #2847 from peterschrammel/jbmc-no-cover

Remove --cover option from JBMC

10d8b2f... by Daniel Kroening <email address hidden> on 2018-09-03

add a precondition to remove_function_pointerst::remove_function_pointer

b2a5bf3... by Daniel Kroening <email address hidden> on 2018-08-30

split up remove_function_pointerst::remove_function_pointer

This splits up the largest method in the class into two pieces;
there is a natural cut put, which is then also exposed as a public
interface.

ec7356b... by Peter Schrammel <email address hidden> on 2018-09-03

Merge pull request #2884 from peterschrammel/move-show-vcc

Factor out show_vcc from bmct

42de267... by Peter Schrammel <email address hidden> on 2018-09-03

Merge pull request #2882 from peterschrammel/move-cbmc-dimacs

Move cbmc_dimacs to solvers/flattening/bv_dimacs

92cdf0c... by Peter Schrammel <email address hidden> on 2018-08-27

Remove --cover option from JBMC

53e3807... by Peter Schrammel <email address hidden> on 2018-08-27

Remove jbmc-cover tests

Merge pull request #2418 from tautschnig/vs-stack-depth

stack_depth takes a signed int as argument

»