log

age author description
Sun, 10 Apr 2011 00:59:40 +0300 Oleg Oshmyan Wall-clock time is output when maxwalltime but not maxcputime now on Win32 too
Fri, 08 Apr 2011 20:22:38 +0300 Oleg Oshmyan Removed code omitted in 2.00 releases from the 2.00 branch 2.00
Fri, 08 Apr 2011 20:05:51 +0300 Oleg Oshmyan Added tag 2.00.1 for changeset c4dba6d44194 2.00
Fri, 08 Apr 2011 20:05:33 +0300 Oleg Oshmyan Fixed the version number reported in --version 2.00 2.00.1
Fri, 08 Apr 2011 19:54:07 +0300 Oleg Oshmyan Added tag 2.00.1 for changeset f0b63838f407 2.00
Fri, 08 Apr 2011 19:24:51 +0300 Oleg Oshmyan Fixed a crash due to SIGCHLD interrupting validator output pipe reads 2.00
Fri, 08 Apr 2011 19:22:19 +0300 Oleg Oshmyan Fixed mishandling of some variables in multi-problem legacy configurations 2.00