Mon, 20 Oct 2008 12:46:39 +0200Print the failed line numbers in the unifier script (ticket #138)
Peter Kovacs <kpeter@inf.elte.hu> [Mon, 20 Oct 2008 12:46:39 +0200] rev 329
Print the failed line numbers in the unifier script (ticket #138)

Mon, 20 Oct 2008 12:17:24 +0200Small improvements in the unifier script
Peter Kovacs <kpeter@inf.elte.hu> [Mon, 20 Oct 2008 12:17:24 +0200] rev 328
Small improvements in the unifier script

Mon, 13 Oct 2008 14:00:11 +0200Several improvements in maximum matching algorithms
Balazs Dezso <deba@inf.elte.hu> [Mon, 13 Oct 2008 14:00:11 +0200] rev 327
Several improvements in maximum matching algorithms
- The interface of MaxMatching is changed to be similar to the
weighted algorithms
- The internal data structure (the queue implementation and the
matching map) is changed in the MaxMatching algorithm, which
provides better runtime properties
- The Blossom iterators are changed slightly in the weighted matching
algorithms
- Several documentation improvments
- The test files are merged

Mon, 13 Oct 2008 13:56:00 +0200Port maximum matching algorithms from svn 3498 (ticket #48)
Balazs Dezso <deba@inf.elte.hu> [Mon, 13 Oct 2008 13:56:00 +0200] rev 326
Port maximum matching algorithms from svn 3498 (ticket #48)

Mon, 20 Oct 2008 20:03:14 +0200Better help message and user question in unify-sources.sh
Alpar Juttner <alpar@cs.elte.hu> [Mon, 20 Oct 2008 20:03:14 +0200] rev 325
Better help message and user question in unify-sources.sh

Sun, 19 Oct 2008 16:19:32 +0200Improved unifier and checker script
Balazs Dezso <deba@inf.elte.hu> [Sun, 19 Oct 2008 16:19:32 +0200] rev 324
Improved unifier and checker script

- Unify and check modes
- Several file listing modes