Thu, 29 Jul 2010 19:26:42 +0200 |
better error and minimizer output
|
file | diff | annotate |
Thu, 29 Jul 2010 18:45:41 +0200 |
speed up the minimizer by using the time taken for the first iteration as a timeout for the following iterations, and fix a subtle bug in "string_for_failure"
|
file | diff | annotate |
Thu, 29 Jul 2010 16:54:46 +0200 |
fiddle with the fudge factors, to get similar results as before
|
file | diff | annotate |
Thu, 29 Jul 2010 09:41:49 +0200 |
improved ATP error handling some more
|
file | diff | annotate |
Thu, 29 Jul 2010 00:28:57 +0200 |
shorter URL
|
file | diff | annotate |
Wed, 28 Jul 2010 23:01:27 +0200 |
handle Perl and "libwww-perl" failures more gracefully, giving the user some clues about what goes on
|
file | diff | annotate |
Wed, 28 Jul 2010 19:23:56 +0200 |
renamed environment variable
|
file | diff | annotate |
Wed, 28 Jul 2010 19:04:59 +0200 |
consequence of directory renaming
|
file | diff | annotate |
Wed, 28 Jul 2010 19:01:34 +0200 |
rename directory
|
file | diff | annotate | base |