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.
updated user + host;
19 months ago, by wenzelm
updated URL;
19 months ago, by wenzelm
clarified multicore options;
19 months ago, by wenzelm
discontinued old machines;
19 months ago, by wenzelm
updated tests for macOS 10.14 Mojave;
19 months ago, by wenzelm
Aded Queues
19 months ago, by nipkow
consolidated for the sake of documentation
19 months ago, by haftmann
tuned;
19 months ago, by wenzelm
tidying and removal of legacy name
19 months ago, by paulson
merged
19 months ago, by paulson
Simplified some proofs
19 months ago, by paulson
added lemmas; internalized defn in class
19 months ago, by nipkow
merged
19 months ago, by paulson
clarified signature;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
still not quite fixed...
19 months ago, by paulson
A few more reversions
19 months ago, by paulson
reversion to the explicit existential quantifier
19 months ago, by paulson
more tidying of messy proofs
19 months ago, by paulson
merged
19 months ago, by paulson
clarified arm64-linux base line: prefer Pi OS, which is based on slightly older Debian;
19 months ago, by wenzelm
merged
19 months ago, by paulson
detect/guess arm32 platform (unsupported);
19 months ago, by wenzelm
build component according to "isabelle build_e -V 2.5" (inactive);
19 months ago, by wenzelm
updated component according to "isabelle build_e -V 2.0";
19 months ago, by wenzelm
proper usage;
19 months ago, by wenzelm
clarified;
19 months ago, by wenzelm
merged
19 months ago, by wenzelm
clarified installed files;
19 months ago, by wenzelm
build Isabelle E prover component from official downloads;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
updated for coming release;
19 months ago, by wenzelm
updated to current cygwin-20201002, after 3.1.7-1 from 24-Aug-2020;
19 months ago, by wenzelm
clarified platforms;
19 months ago, by wenzelm
updated to opam-2.0.7;
19 months ago, by wenzelm
de-applying
19 months ago, by paulson
merged
19 months ago, by paulson
Add more tacing to sledgehammer_isar_trace
19 months ago, by desharna
support arm64-linux Poly/ML (slow bytecode interpreter only);
19 months ago, by wenzelm
purge arm64-linux --- no build_release support yet;
19 months ago, by wenzelm
more systematic platform support, including arm64-linux;
19 months ago, by wenzelm
tuned according to hints by IntelliJ IDEA;
19 months ago, by wenzelm
updated certificates to make it work again after recent changes to smt/z3 setup;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
merged
19 months ago, by wenzelm
updated to sqlite-jdbc-3.32.3.2;
19 months ago, by wenzelm
build Isabelle sqlite-jdbc component from official download;
19 months ago, by wenzelm
support arm64-linux;
19 months ago, by wenzelm
detect arm64-linux platform;
19 months ago, by wenzelm
Effectively disable timeout for smt method/tactic
19 months ago, by desharna
[mirabelle] add initial documentation in Sledgehammer's doc
20 months ago, by desharna
clarified names;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
formal platform information, notably for ssh;
19 months ago, by wenzelm
clarified message;
19 months ago, by wenzelm
more robust executor policy after shutdown;
19 months ago, by wenzelm
clarified message;
19 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip