Thu, 27 Nov 2008 22:05:35 +0000Give different names to the different DIMACS readers
Alpar Juttner <alpar@cs.elte.hu> [Thu, 27 Nov 2008 22:05:35 +0000] rev 401
Give different names to the different DIMACS readers

Thu, 27 Nov 2008 22:04:46 +0000Port DIMACS tools from svn -r3516
Alpar Juttner <alpar@cs.elte.hu> [Thu, 27 Nov 2008 22:04:46 +0000] rev 400
Port DIMACS tools from svn -r3516

Namely,
- apply migrate script
- apply unify sources
- break long lines
- Fixes the compilation
- dim_to_lgf -> dimacs-to-lgf
- better .hgignore
- shorten the doc of dimacs-to-lgf

Fri, 21 Nov 2008 10:49:39 +0000Merge
Alpar Juttner <alpar@cs.elte.hu> [Fri, 21 Nov 2008 10:49:39 +0000] rev 399
Merge

Fri, 21 Nov 2008 11:10:25 +0100Doc improvements for elevator classes (#174)
Peter Kovacs <kpeter@inf.elte.hu> [Fri, 21 Nov 2008 11:10:25 +0100] rev 398
Doc improvements for elevator classes (#174)

Fri, 21 Nov 2008 10:41:36 +0000Don't assume that the default maps are reference maps (in Elevator)
Alpar Juttner <alpar@cs.elte.hu> [Fri, 21 Nov 2008 10:41:36 +0000] rev 397
Don't assume that the default maps are reference maps (in Elevator)

Mon, 17 Nov 2008 15:41:15 +0000Avoid STL panic at Elevator when compiled with -D_GLIBCXX_DEBUG
Alpar Juttner <alpar@cs.elte.hu> [Mon, 17 Nov 2008 15:41:15 +0000] rev 396
Avoid STL panic at Elevator when compiled with -D_GLIBCXX_DEBUG

Mon, 17 Nov 2008 15:41:15 +0000Rename markToBottom() to dirtyTopButOne() + better doc (#174)
Alpar Juttner <alpar@cs.elte.hu> [Mon, 17 Nov 2008 15:41:15 +0000] rev 395
Rename markToBottom() to dirtyTopButOne() + better doc (#174)

Mon, 17 Nov 2008 15:41:15 +0000Port Elevator from svn -r3516 (#174)
Alpar Juttner <alpar@cs.elte.hu> [Mon, 17 Nov 2008 15:41:15 +0000] rev 394
Port Elevator from svn -r3516 (#174)
- the unify script hes also been applied

Tue, 11 Nov 2008 12:13:07 +0000Merge bugfix #173 1.0
Alpar Juttner <alpar@cs.elte.hu> [Tue, 11 Nov 2008 12:13:07 +0000] rev 393
Merge bugfix #173

Tue, 11 Nov 2008 10:25:57 +0000Merge
Alpar Juttner <alpar@cs.elte.hu> [Tue, 11 Nov 2008 10:25:57 +0000] rev 392
Merge

Tue, 11 Nov 2008 10:12:37 +0000Bugfix in Random (#173)
Alpar Juttner <alpar@cs.elte.hu> [Tue, 11 Nov 2008 10:12:37 +0000] rev 391
Bugfix in Random (#173)

- operator()s always return a double now
- the faulty real<Num>(Num) and real<Num>(Num,Num) have been removed

Mon, 10 Nov 2008 11:14:56 +0000chg-len.py uses the Mercurial API directly
Alpar Juttner <alpar@cs.elte.hu> [Mon, 10 Nov 2008 11:14:56 +0000] rev 390
chg-len.py uses the Mercurial API directly

This makes chg-len.py much faster.

Fri, 07 Nov 2008 14:17:44 +0000Merge bugfix #171 (see also #172) 1.0
Alpar Juttner <alpar@cs.elte.hu> [Fri, 07 Nov 2008 14:17:44 +0000] rev 389
Merge bugfix #171 (see also #172)

Fri, 07 Nov 2008 13:14:22 +0000Merge
Alpar Juttner <alpar@cs.elte.hu> [Fri, 07 Nov 2008 13:14:22 +0000] rev 388
Merge