Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
use better score function, based on previous evaluation (cf. Deduct 2011 slides)
2012-07-18, by blanchet
attempt at meshing according to more meaningful factors
2012-07-18, by blanchet
don't include hidden facts in relevance filter + tweak MaSh learning
2012-07-18, by blanchet
removed debugging output
2012-07-18, by blanchet
removed expensive HO check in MaSh
2012-07-18, by blanchet
speed up tautology/metaness check
2012-07-18, by blanchet
optimized MaSh output by chunking it
2012-07-18, by blanchet
fixed MaSh state load code so it works even if the facts are read in disorder
2012-07-18, by blanchet
learn from minimized ATP proofs
2012-07-18, by blanchet
improved meshing of MaSh and Meng--Paulson if some MaSh suggestions are cut-off (the common case)
2012-07-18, by blanchet
use async manager to manage MaSh learners to make sure they get killed cleanly
2012-07-18, by blanchet
more consolidation of MaSh code
2012-07-18, by blanchet
removed lie
2012-07-18, by blanchet
drastic overhaul of MaSh data structures + fixed a few performance issues
2012-07-18, by blanchet
fixed order of accessibles + other tweaks to MaSh
2012-07-18, by blanchet
added option to control which fact filter is used
2012-07-18, by blanchet
mesh facts by taking into consideration whether a fact is known to MeSh
2012-07-18, by blanchet
implemented meshing of Iter and MaSh results
2012-07-18, by blanchet
implemented MaSh QUERY operation
2012-07-18, by blanchet
refactored MaSh ADD code so it can be used for SUGGEST as well
2012-07-18, by blanchet
implemented low-level MaSh ADD operation
2012-07-18, by blanchet
make tracing an option
2012-07-18, by blanchet
cleaner handling of metacharacters + freshness of one-off facts
2012-07-18, by blanchet
better zipping of MaSh facts
2012-07-18, by blanchet
implemented MaSh learn theory function
2012-07-18, by blanchet
more work on MaSh
2012-07-18, by blanchet
improved MaSh string escaping and make more operations string-based
2012-07-18, by blanchet
more implementation work on MaSh
2012-07-18, by blanchet
started implementing MaSh client-side I/O
2012-07-18, by blanchet
tweak output
2012-07-18, by blanchet
centrally construct expensive data structures
2012-07-18, by blanchet
more work on MaSh
2012-07-18, by blanchet
compile
2012-07-18, by blanchet
gracefully handle the case of empty theories when going up the accessibility chain
2012-07-18, by blanchet
tuning
2012-07-18, by blanchet
doc updates
2012-07-18, by blanchet
renamed Sledgehammer options
2012-07-18, by blanchet
more code rationalization in relevance filter
2012-07-18, by blanchet
moved override out of iter filter
2012-07-18, by blanchet
fixed bug introduced when moving code around
2012-07-18, by blanchet
systematize lazy names in relevance filter
2012-07-18, by blanchet
rationalize relevance filter, slowing moving code from Iter to MaSh
2012-07-18, by blanchet
killed one file
2012-07-18, by blanchet
dependency tuning
2012-07-18, by blanchet
renaming
2012-07-18, by blanchet
clean up dependencies
2012-07-18, by blanchet
explicitly import Dlist theory into library
2012-07-17, by haftmann
tuned whitespace
2012-07-17, by haftmann
dropped ancient example generates
2012-07-17, by haftmann
basic support for session ROOT files, with examples for FOL and ZF;
2012-07-17, by wenzelm
more accurate imitation of formal text;
2012-07-17, by wenzelm
avoid Source.fromFile, which does not necessarily close its input;
2012-07-17, by wenzelm
tuned imports;
2012-07-17, by wenzelm
basic setup for Isabelle build tool;
2012-07-17, by wenzelm
more standard main method;
2012-07-17, by wenzelm
avoid slightly odd share_common_data -- Poly/ML 5.5.x should manage low-memory situations (cf. f55e77f623ab);
2012-07-17, by wenzelm
improved equality optimisation in Quickcheck
2012-07-17, by bulwahn
more direct Sorts.has_instance;
2012-07-16, by wenzelm
replaced quicksort by mergesort, which might be a bit more efficient for key operations like Ord_List.make, Sorts.minimize_sort;
2012-07-16, by wenzelm
comment;
2012-07-16, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
+30000
tip