Array ( ) OW2 Forge

Advanced - Powered by Google


   
Log In
New Account
  
 
Home
My Page
Project Tree
Project Openings
SAT4J
          
 
 
Summary
Forums
Lists
Tasks
Docs
Surveys
News
CVS
Files
                  
 
Posted By: Daniel Le Berre
Date: 2012-02-19 15:38
Summary: Sat4j PB and MaxSat 2.3.1 no longer available

When releasing Sat4j 2.3.1, we introduced a fix for he long standing bug SAT-8: http://jira.ow2.org/browse/SAT-8

Unfortunately, that fix broke some of our functional tests (i.e. made Sat4j PB incorrect). We did not notice it because we ran only a subset of our functional tests for that last minute addition to the release (the whole functional tests take two days to run for Sat4j PB).

We noticed the bug and found the origin of that bug some weeks ago. The issue was limited to a few similar test cases, so we were not really worried about the quality of the 2.3.1 release.

However, we received yesterday the first report from a user that Sat4j PB was reporting an incorrect answer. So we decided to stop distributing Sat4j PB 2.3.1. Since Sat4j Maxsat is depending on Sat4j PB, we also stopped distributing it.

Release 2.3.2 is on its way, and should hit the forge by mid March.

In the meanwhile, we strongly encourage Sat4j PB and MAXSAT users to switch back to release 2.3.0.

We are very sorry for the inconvenience.

Daniel Le Berre

Latest News
XWiki 6.2 Milestone 1 Released
    Eduard Moraru - 2014-08-07 14:12
LemonLDAP::NG 1.4.1 is out!
    Clément OUDOT - 2014-07-25 12:34
Talend Open Studio for Data Integration 5.6.0M2 available
    Patrick Coffre - 2014-07-07 18:55
LemonLDAP::NG 1.4.0 is out!
    Clément OUDOT - 2014-06-30 17:14
Talend Open Studio for Data Integration 5.5.1 available
    Patrick Coffre - 2014-06-25 11:19

Discussion Forums: Sat4j PB and MaxSat 2.3.1 no longer available

Start New Thread Start New Thread | Admin

Message: 299135
By: Stefane Fermigier (sfermigier)
Date: 2012-03-05 11:23
Subject: Integration continue

 

Pourquoi ne pas mette la suite de tests sous integration continue ? Cf. <a href="http://bamboo.ow2.org/" target="_new">http://bamboo.ow2.org/</a>


Thread View

Thread Author Date
 Integration continueStefane Fermigier2012-03-05 11:23

Post a followup to this message

You could post if you were logged in

Copyright © 1999-2008, OW2 Consortium | contact | You have a difficulty, a problem ? Please report an issue using your OW2 forge account credentials