Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Wed, 12 Nov 2014 17:37:44 +0100 NEWS
changeset
immler [Wed, 12 Nov 2014 17:37:44 +0100] rev 58990
NEWS
Wed, 12 Nov 2014 17:37:43 +0100 tuned proofs
changeset
immler [Wed, 12 Nov 2014 17:37:43 +0100] rev 58989
tuned proofs
Wed, 12 Nov 2014 17:37:43 +0100 added quickcheck[approximation]
changeset
immler [Wed, 12 Nov 2014 17:37:43 +0100] rev 58988
added quickcheck[approximation]
Wed, 12 Nov 2014 17:37:43 +0100 quickcheck setup for float, inspired by rat::{exhaustive,full_exhaustive,random}
changeset
immler [Wed, 12 Nov 2014 17:37:43 +0100] rev 58987
quickcheck setup for float, inspired by rat::{exhaustive,full_exhaustive,random}
Wed, 12 Nov 2014 17:37:43 +0100 disjunction and conjunction for forms
changeset
immler [Wed, 12 Nov 2014 17:37:43 +0100] rev 58986
disjunction and conjunction for forms
Wed, 12 Nov 2014 17:37:43 +0100 truncate intermediate results in horner to improve performance of approximate;
changeset
immler [Wed, 12 Nov 2014 17:37:43 +0100] rev 58985
truncate intermediate results in horner to improve performance of approximate; more efficient truncated addition float_plus_up/float_plus_down
Wed, 12 Nov 2014 17:36:36 +0100 added lemmas: convert between powr and log in comparisons, pull log out of addition/subtraction
changeset
immler [Wed, 12 Nov 2014 17:36:36 +0100] rev 58984
added lemmas: convert between powr and log in comparisons, pull log out of addition/subtraction
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 tip
isabelle