| Wed, 07 Nov 2012 18:13:26 +0100 | Alpar Juttner | Merge bugfix #440 to branch 1.2 | changeset | files |
| Wed, 28 Mar 2012 19:39:56 +0200 | Peter Kovacs | Fix a bug + remove redundant typedefs in dimacs-solver (#440) | changeset | files |
| Thu, 13 Sep 2012 12:05:34 +0200 | Alpar Juttner | Merge #449 to branch 1.2 | changeset | files |
| Thu, 13 Sep 2012 12:02:27 +0200 | Alpar Juttner | Further clang compilation fixes (#449) | changeset | files |
| Thu, 13 Sep 2012 11:56:19 +0200 | Alpar Juttner | Merge #449 to branches >=1.2 | changeset | files |
| Thu, 13 Sep 2012 11:45:36 +0200 | Alpar Juttner | Fix clang compilation warnings and errors (#449) | changeset | files |