Task #878
closed
Release version 0.2.1 (rollup)
Added by Pavel Shved almost 14 years ago.
Updated over 13 years ago.
Description
To release a new stable version with parallelization fixes, v0.2.1, the following bugs should be fixed.
- Priority changed from Normal to High
Well, it's been four months since we released something stable, let's do it asap!
- Detected in build set to svn
- Status changed from Open to Resolved
I consider it done.
Before closing this one, however, we should make sure that CPAchecker fixes in bug #716 do work (by comparing BALST and CPAchecker).
Should be closed after Bug #716 closing (that in turn will be closed after #1018 issue closing).
- Status changed from Resolved to Closed
Also available in: Atom
PDF