isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Mon, 18 Jul 2011 10:34:21 +0200 adapting quickcheck based on the analysis of the predicate compiler

changeset

bulwahn [Mon, 18 Jul 2011 10:34:21 +0200] rev 43886

adapting quickcheck based on the analysis of the predicate compiler

Mon, 18 Jul 2011 10:34:21 +0200 adapting prolog-based tester

changeset

bulwahn [Mon, 18 Jul 2011 10:34:21 +0200] rev 43885

adapting prolog-based tester

Mon, 18 Jul 2011 10:34:21 +0200 quickcheck does not deactivate testers if none are given

changeset

bulwahn [Mon, 18 Jul 2011 10:34:21 +0200] rev 43884

quickcheck does not deactivate testers if none are given

Mon, 18 Jul 2011 10:34:21 +0200 adapting mutabelle to latest changes in quickcheck; removing unused code in mutabelle

changeset

bulwahn [Mon, 18 Jul 2011 10:34:21 +0200] rev 43883

adapting mutabelle to latest changes in quickcheck; removing unused code in mutabelle

Mon, 18 Jul 2011 10:34:21 +0200 renaming quickcheck_tester to quickcheck_batch_tester; tuned

changeset

bulwahn [Mon, 18 Jul 2011 10:34:21 +0200] rev 43882

renaming quickcheck_tester to quickcheck_batch_tester; tuned

Mon, 18 Jul 2011 10:34:21 +0200 changing parser in quickcheck to activate and deactivate the testers

changeset

bulwahn [Mon, 18 Jul 2011 10:34:21 +0200] rev 43881

changing parser in quickcheck to activate and deactivate the testers

Mon, 18 Jul 2011 10:34:21 +0200 adapting SML_Quickcheck to new quickcheck infrastructure

changeset

bulwahn [Mon, 18 Jul 2011 10:34:21 +0200] rev 43880

adapting SML_Quickcheck to new quickcheck infrastructure

Mon, 18 Jul 2011 10:34:21 +0200 enabling parallel execution of testers but removing more informative quickcheck output

changeset

bulwahn [Mon, 18 Jul 2011 10:34:21 +0200] rev 43879

enabling parallel execution of testers but removing more informative quickcheck output

Mon, 18 Jul 2011 10:34:21 +0200 changed every tester to have a configuration in quickcheck; enabling parallel testing of different testers in quickcheck

changeset

bulwahn [Mon, 18 Jul 2011 10:34:21 +0200] rev 43878

changed every tester to have a configuration in quickcheck; enabling parallel testing of different testers in quickcheck

Mon, 18 Jul 2011 10:34:21 +0200 removing generator registration

changeset

bulwahn [Mon, 18 Jul 2011 10:34:21 +0200] rev 43877

removing generator registration

Mon, 18 Jul 2011 10:34:21 +0200 parametrized test_term functions in quickcheck

changeset

bulwahn [Mon, 18 Jul 2011 10:34:21 +0200] rev 43876

parametrized test_term functions in quickcheck

Mon, 18 Jul 2011 10:34:21 +0200 adding random, exhaustive and SML quickcheck as testers

changeset

bulwahn [Mon, 18 Jul 2011 10:34:21 +0200] rev 43875

adding random, exhaustive and SML quickcheck as testers

Sun, 17 Jul 2011 22:25:14 +0200 more on complement

changeset

haftmann [Sun, 17 Jul 2011 22:25:14 +0200] rev 43874