Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Sat, 02 Feb 2013 10:13:14 +0100 tweak ATP slices further
changeset
blanchet [Sat, 02 Feb 2013 10:13:14 +0100] rev 51016
tweak ATP slices further
Thu, 31 Jan 2013 18:04:19 +0100 compile
changeset
blanchet [Thu, 31 Jan 2013 18:04:19 +0100] rev 51015
compile
Thu, 31 Jan 2013 17:54:05 +0100 also have SMT solvers alternate fact filter
changeset
blanchet [Thu, 31 Jan 2013 17:54:05 +0100] rev 51014
also have SMT solvers alternate fact filter
Thu, 31 Jan 2013 17:54:05 +0100 use the right filter in each slice
changeset
blanchet [Thu, 31 Jan 2013 17:54:05 +0100] rev 51013
use the right filter in each slice
Thu, 31 Jan 2013 17:54:05 +0100 tuned slices
changeset
blanchet [Thu, 31 Jan 2013 17:54:05 +0100] rev 51012
tuned slices
Thu, 31 Jan 2013 17:54:05 +0100 store fact filter along with ATP slice
changeset
blanchet [Thu, 31 Jan 2013 17:54:05 +0100] rev 51011
store fact filter along with ATP slice
Thu, 31 Jan 2013 17:54:05 +0100 tuned data structure
changeset
blanchet [Thu, 31 Jan 2013 17:54:05 +0100] rev 51010
tuned data structure
Thu, 31 Jan 2013 17:54:05 +0100 thread through fact triple component from which used facts come, for accurate index output
changeset
blanchet [Thu, 31 Jan 2013 17:54:05 +0100] rev 51009
thread through fact triple component from which used facts come, for accurate index output
Thu, 31 Jan 2013 17:54:05 +0100 more precise output of selected facts
changeset
blanchet [Thu, 31 Jan 2013 17:54:05 +0100] rev 51008
more precise output of selected facts
Thu, 31 Jan 2013 17:54:05 +0100 thread fact triple (MeSh, MePo, MaSh) to allow different filters in different slices
changeset
blanchet [Thu, 31 Jan 2013 17:54:05 +0100] rev 51007
thread fact triple (MeSh, MePo, MaSh) to allow different filters in different slices
Thu, 31 Jan 2013 17:54:05 +0100 simplified SMT solver code in Sledgehammer
changeset
blanchet [Thu, 31 Jan 2013 17:54:05 +0100] rev 51006
simplified SMT solver code in Sledgehammer
Thu, 31 Jan 2013 17:54:05 +0100 eliminated needless speed optimization -- and simplified code quite a bit
changeset
blanchet [Thu, 31 Jan 2013 17:54:05 +0100] rev 51005
eliminated needless speed optimization -- and simplified code quite a bit
Thu, 31 Jan 2013 17:54:05 +0100 distinguish raw and non-raw facts, using raw for 10 000s of facts and non-raw after selection of some hundreds
changeset
blanchet [Thu, 31 Jan 2013 17:54:05 +0100] rev 51004
distinguish raw and non-raw facts, using raw for 10 000s of facts and non-raw after selection of some hundreds
Thu, 31 Jan 2013 17:54:05 +0100 report (MeSh, MePo, MaSh) triple, to be able to use different filters in different slices
changeset
blanchet [Thu, 31 Jan 2013 17:54:05 +0100] rev 51003
report (MeSh, MePo, MaSh) triple, to be able to use different filters in different slices
(0) -30000 -10000 -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle