isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Mon, 18 Jul 2011 23:48:28 +0200 killed use of PolyML.makestring

changeset

krauss [Mon, 18 Jul 2011 23:48:28 +0200] rev 43895

killed use of PolyML.makestring

Mon, 18 Jul 2011 23:35:50 +0200 added experimental mira configuration for HOL Light importer

changeset

krauss [Mon, 18 Jul 2011 23:35:50 +0200] rev 43894

added experimental mira configuration for HOL Light importer

Mon, 18 Jul 2011 18:52:52 +0200 allow rules with premises to be declared as z3_rule (to circumvent incompleteness of Z3 proof reconstruction)

changeset

boehmes [Mon, 18 Jul 2011 18:52:52 +0200] rev 43893

allow rules with premises to be declared as z3_rule (to circumvent incompleteness of Z3 proof reconstruction)

Mon, 18 Jul 2011 13:49:26 +0200 unactivating narrowing-based quickcheck by default

changeset

bulwahn [Mon, 18 Jul 2011 13:49:26 +0200] rev 43892

unactivating narrowing-based quickcheck by default

Mon, 18 Jul 2011 13:48:35 +0200 making active configuration public in narrowing-based quickcheck

changeset

bulwahn [Mon, 18 Jul 2011 13:48:35 +0200] rev 43891

making active configuration public in narrowing-based quickcheck

Mon, 18 Jul 2011 11:38:14 +0200 declare tester in this quickcheck example

changeset

bulwahn [Mon, 18 Jul 2011 11:38:14 +0200] rev 43890

declare tester in this quickcheck example

Mon, 18 Jul 2011 10:34:21 +0200 adding code equations for partial_term_of for rational numbers

changeset

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

adding code equations for partial_term_of for rational numbers

Mon, 18 Jul 2011 10:34:21 +0200 adapting an experimental setup to changes in quickcheck's infrastructure

changeset

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

adapting an experimental setup to changes in quickcheck's infrastructure

Mon, 18 Jul 2011 10:34:21 +0200 adding narrowing instances for real and rational

changeset

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

adding narrowing instances for real and rational

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