2.7.1 open over 12 years late (02/05/2012) Amendments after released-in-a-hurry 2.7 SV-Comp version 60% 5 issues (3 closed — 2 open) Related issues Bug #1935: Blast 2.7 binary distribution is too binary-incompatible Actions Bug #1970: Nondetermined variable intitialization is not performed Actions Bug #2264: Improve descriptions of legitimate exceptions Actions Bug #2287: cdc_eem.ko had correct unsafe verdict and became unknown in BLAST 2.7.1 Actions Bug #2307: Inconsistent handling of bitshifts in interpolator and solvers Actions
2.8 open over 12 years late (06/30/2012) 0% 1 issue (0 closed — 1 open) Related issues Bug #2154: When "local" predicates meet function calls, the verification becomes much slower... Actions