Project

General

Profile

2.7

closed

10/15/2011

Version for Competition of Software Verification

100%

6 issues   (6 closed — 0 open)

Issues by
Bug

5/5
Feature

1/1
Related issues
Bug #566: Useful block sets are SAT on some of generic test drivers Actions
Bug #1786: Integrate the latest CSIsat Actions
Bug #1831: Stop-sep infrastructure for lattices is slow Actions
Bug #1850: Interpolants of some useful blocks sometimes have nothing to do with the blocks! Actions
Bug #1890: Remove dependency on GLPK from CSIsat Actions
Feature #1886: Function pointer calls if there's only one potential function to call is required Actions