Mercurial
Mercurial
>
repos
>
testboard
/ 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
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.
test-tuned;
draft
20 months ago, by Fabian Huch
merged
draft
20 months ago, by Fabian Huch
tuned;
20 months ago, by Fabian Huch
vscode improvements: overhauled
20 months ago, by Fabian Huch
vscode improvements: initial
21 months ago, by Fabian Huch
updated Sledgehammer to support zipperposition 2.1
draft
20 months ago, by desharna
fixed veriT environment variable in sledgehammer's documentation
draft
20 months ago, by desharna
prefer veriT over Z3 in sledgehammer
20 months ago, by desharna
added Zipperposition to sledgehammer's default provers
20 months ago, by desharna
provide zipperposition-2.1 (still unused);
20 months ago, by wenzelm
Fix eta-contraction issue, improve tracing
draft
20 months ago, by Lukas Stevens
merged;
draft
order-prover
20 months ago, by Lukas Stevens
tuned docs
20 months ago, by blanchet
merged
20 months ago, by wenzelm
improper proof command 'guess' moved to separate theory "Pure-ex.Guess";
20 months ago, by wenzelm
NOT is part of syntax bundle also
20 months ago, by haftmann
merged
20 months ago, by wenzelm
tuned proofs --- avoid 'guess';
20 months ago, by wenzelm
apply declarations from interpretations in eigen context also
20 months ago, by haftmann
grant access to sun.tools.jconsole, as required for Java 17;
20 months ago, by wenzelm
update to e-2.6, following Martin Desharnais;
20 months ago, by wenzelm
Fix eta-contraction issues and add proper tracing
draft
order-prover
20 months ago, by Lukas Stevens
Don't recurse more than one level for Not
draft
closure-solver
20 months ago, by Lukas Stevens
Begin debugging failure in HOL-Analysis
draft
order-prover
20 months ago, by Lukas Stevens
merged;
draft
order-prover
20 months ago, by Lukas Stevens
merged;
draft
20 months ago, by Lukas Stevens
Add empty line
draft
closure-solver
20 months ago, by Lukas Stevens
merged;
closure-solver
20 months ago, by Lukas Stevens
Revert changes to order solver
closure-solver
20 months ago, by Lukas Stevens
Another attempt to fix the tactic
closure-solver
20 months ago, by Lukas Stevens
merged;
closure-solver
20 months ago, by Lukas Stevens
updated to Metis 2.4 (release 20200713)
20 months ago, by desharna
merged;
20 months ago, by Lukas Stevens
avoid problems with launch4j and jdk-17;
20 months ago, by wenzelm
update to jdk-17+35 (LTS);
20 months ago, by wenzelm
tuned message;
20 months ago, by wenzelm
unused since 398b7bb9ebdd;
20 months ago, by wenzelm
merged
20 months ago, by desharna
proper NEWS;
20 months ago, by wenzelm
tuned NEWS;
20 months ago, by wenzelm
merged;
draft
20 months ago, by Lukas Stevens
removed checks for non-commercial usage of Vampire as it is now under BSD licence
20 months ago, by desharna
enabled FOOL for Vampire in Sledgehammer
20 months ago, by desharna
used Vampire 4.5.1 in Sledgehammer
20 months ago, by desharna
clarified antiquotations;
20 months ago, by wenzelm
clarified antiquotations;
20 months ago, by wenzelm
clarified antiquotations;
20 months ago, by wenzelm
clarified partial application: immediate check of object-logic, and avoidance of context within closure;
20 months ago, by wenzelm
merged
20 months ago, by wenzelm
clarified antiquotations;
20 months ago, by wenzelm
ML antiquotations for object-logic judgment;
20 months ago, by wenzelm
proper Sign.const_typargs via Theory.add_deps_const/Theory.const_dep;
20 months ago, by wenzelm
clarified modules;
20 months ago, by wenzelm
clarified modules;
20 months ago, by wenzelm
more uniform syntax;
20 months ago, by wenzelm
permissive identification, e.g. relevant for HOL-SPARK examples running on rsync-clone;
20 months ago, by wenzelm
NEWS;
20 months ago, by wenzelm
bundle lattice_syntax / no_lattice_syntax supersedes theory HOL-Library.Lattice_Syntax;
20 months ago, by wenzelm
localized command 'syntax' and 'no_syntax';
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip