[depends: #1333] pointers now come with a width#1355

Merged

kroening merged 3 commits intodevelopfrom

cleanout-config-dependency

Oct 14, 2017

Commits on Oct 13, 2017

Pointers now come with a width
Daniel Kroening
committed
Remove config dependency from CVC and DPLIB solvers

tautschnig
authored and
Daniel Kroening
committed
test approx-const-fp-array-variable-invalid-cast-const-fp now more generous
Daniel Kroening
committed