Commits

History for

Commits on Mar 22, 2018

Remove svn-specific last modified info
Christian Schulte
committed

Commits on Jun 20, 2016

More warnings removed
Christian Schulte
committed

Commits on Jun 18, 2016

Removed warnings
Christian Schulte
committed

Commits on Apr 19, 2016

Delete trailing spaces
Christian Schulte
committed

Commits on Feb 20, 2013

Merged Guido's stuff (I had to rename some stuff as I didn't get)
Christian Schulte
committed

Commits on Nov 21, 2011

Fixed rounding in printing runtime
Christian Schulte
committed

Commits on Oct 13, 2011

Fix time output for times with zero minutes and nonzero hours
guidotack
committed

Commits on May 11, 2010

Catch Ctrl-C in driver, so that the status is printed even if user aborts search
guidotack
committed

Commits on May 7, 2009

wall-clock time on Linux
zayenz
committed

Commits on Mar 27, 2009

Provide commandline driver as replacement for example support (not yet used)
Christian Schulte
committed

Loading