Wed, 28 Nov 2012 12:05:27 +0100 Alpar Juttner Merge bugfix #453
Wed, 28 Nov 2012 11:58:00 +0100 Alpar Juttner Further GCC 4.7 compiler warning fixes (#453)
Wed, 28 Nov 2012 11:54:43 +0100 Alpar Juttner Merge #453 to branches >=1.2
Wed, 28 Nov 2012 11:41:40 +0100 Alpar Juttner Avoid GCC 4.7 compiler warnings (#453)
Thu, 08 Nov 2012 09:07:41 +0100 Alpar Juttner Merge bugfix #440
Wed, 28 Mar 2012 19:39:56 +0200 Peter Kovacs Fix a bug + remove redundant typedefs in dimacs-solver (#440)