testboard: Changelog

blanchet [Tue, 02 Sep 2014 23:59:49 +0200] rev 58144

removed more slow Refute tests

blanchet [Tue, 02 Sep 2014 23:59:46 +0200] rev 58143

tuned Refute example

steckerm [Tue, 02 Sep 2014 16:38:26 +0200] rev 58142

Some work on the new waldmeister integration

boehmes [Tue, 02 Sep 2014 14:40:32 +0200] rev 58141

merged

boehmes [Tue, 02 Sep 2014 14:40:14 +0200] rev 58140

replay Z3 rewrite steps that lift if-then-else expressions

traytel [Tue, 02 Sep 2014 13:40:03 +0200] rev 58139

test discriminators/selectors in BNF regression suite

blanchet [Tue, 02 Sep 2014 12:13:32 +0200] rev 58138

merge

traytel [Tue, 02 Sep 2014 09:28:23 +0200] rev 58137

silenced nonexhaustive primrec warnings

blanchet [Tue, 02 Sep 2014 12:11:04 +0200] rev 58136

made SML/NJ happier

blanchet [Tue, 02 Sep 2014 12:09:13 +0200] rev 58135

tuning

testboard