| Sun, 06 May 2012 16:46:14 +0200 | Alpar Juttner | Merge bugfix #441 to branch 1.1 | changeset | files |
| Sat, 05 May 2012 10:22:44 +0200 | Alpar Juttner | Fix buggy reinitialization in _solver_bits::VarIndex::clear() (#441) | changeset | files |
| Fri, 20 Jan 2012 19:16:43 +0100 | Alpar Juttner | Merge Intel C++ compatibility fixes to branch 1.1 | changeset | files |