Project

General

Profile

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)

Issues by
Bug

3/5
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