Wed, 28 Nov 2012 12:08:47 +0100Further GCC 4.7 compiler warning fix (#453)
Alpar Juttner <alpar@cs.elte.hu> [Wed, 28 Nov 2012 12:08:47 +0100] rev 1011
Further GCC 4.7 compiler warning fix (#453)

Wed, 28 Nov 2012 12:05:27 +0100Merge bugfix #453
Alpar Juttner <alpar@cs.elte.hu> [Wed, 28 Nov 2012 12:05:27 +0100] rev 1010
Merge bugfix #453

Wed, 28 Nov 2012 11:58:00 +0100Further GCC 4.7 compiler warning fixes (#453)
Alpar Juttner <alpar@cs.elte.hu> [Wed, 28 Nov 2012 11:58:00 +0100] rev 1009
Further GCC 4.7 compiler warning fixes (#453)

Wed, 28 Nov 2012 11:54:43 +0100Merge #453 to branches >=1.2
Alpar Juttner <alpar@cs.elte.hu> [Wed, 28 Nov 2012 11:54:43 +0100] rev 1008
Merge #453 to branches >=1.2

Wed, 28 Nov 2012 11:41:40 +0100Avoid GCC 4.7 compiler warnings (#453)
Alpar Juttner <alpar@cs.elte.hu> [Wed, 28 Nov 2012 11:41:40 +0100] rev 1007
Avoid GCC 4.7 compiler warnings (#453)

Thu, 08 Nov 2012 09:07:41 +0100Merge bugfix #440
Alpar Juttner <alpar@cs.elte.hu> [Thu, 08 Nov 2012 09:07:41 +0100] rev 1006
Merge bugfix #440

Wed, 28 Mar 2012 19:39:56 +0200Fix a bug + remove redundant typedefs in dimacs-solver (#440)
Peter Kovacs <kpeter@inf.elte.hu> [Wed, 28 Mar 2012 19:39:56 +0200] rev 1005
Fix a bug + remove redundant typedefs in dimacs-solver (#440)