Project

General

Profile

Actions
Copy link

Task #878

closed

Release version 0.2.1 (rollup)

Added by Pavel Shved over 13 years ago. Updated about 13 years ago.

Status:
Closed
Priority:
High
Assignee:
Pavel Shved
Category:
Infrastructure
Start date:
02/22/2011
Due date:
03/04/2011
% Done:

0%

Estimated time:
Detected in build:
svn
Published in build:

Description

To release a new stable version with parallelization fixes, v0.2.1, the following bugs should be fixed.

Related issues 1 (0 open — 1 closed)

Blocked by Linux Driver Verification - Bug #716: CPAchecker is not supported in masterClosedPavel Shved01/25/2011

Actions
Actions
Copy link
 #1

Updated by Pavel Shved over 13 years ago

  • Priority changed from Normal to High

Well, it's been four months since we released something stable, let's do it asap!

Actions
Copy link
 #2

Updated by Evgeny Novikov about 13 years ago

  • Detected in build set to svn

Isn't done?

Actions
Copy link
 #3

Updated by Pavel Shved about 13 years ago

  • 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).

Actions
Copy link
 #4

Updated by Evgeny Novikov about 13 years ago

Should be closed after Bug #716 closing (that in turn will be closed after #1018 issue closing).

Actions
Copy link
 #5

Updated by Pavel Shved about 13 years ago

  • Status changed from Resolved to Closed
Actions
Copy link

Also available in: Atom PDF