testboard: Changelog

blanchet [Tue, 15 Jul 2014 00:21:32 +0200] rev 57554

no warning in case MaSh is disabled

blanchet [Tue, 15 Jul 2014 00:21:32 +0200] rev 57553

don't generate a 'set-logic' command when generating problems in a non-standard (but Z3-supported) union-of-everything logic

blanchet [Tue, 15 Jul 2014 00:21:29 +0200] rev 57552

no need for 'mash' subdirectory after removal of Python program

panny [Mon, 14 Jul 2014 01:59:23 +0200] rev 57551

fix typo

panny [Mon, 14 Jul 2014 01:35:43 +0200] rev 57550

throw error for bad input

panny [Mon, 14 Jul 2014 01:22:59 +0200] rev 57549

catch "not found" case

blanchet [Sat, 12 Jul 2014 19:54:04 +0200] rev 57548

merge

blanchet [Sat, 12 Jul 2014 11:31:23 +0200] rev 57547

don't generate TPTP THF 'Definition's, because they complicate reconstruction for AgsyHOL and Satallax

blanchet [Sat, 12 Jul 2014 11:31:22 +0200] rev 57546

tuning

blanchet [Sat, 12 Jul 2014 11:31:22 +0200] rev 57545

made SML/NJ happier

testboard