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
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.
merged
10 months ago, by paulson
Some new material about Ramsey's theorem, also sharpening the proof to deliver the Erdős–Szekeres upper bound on Ramsey numbers
10 months ago, by paulson
support Zipperposition's skolemization in generated Isar proofs
10 months ago, by blanchet
improved output in simps_case_conv;
10 months ago, by Fabian Huch
improved output in inductive module;
10 months ago, by Fabian Huch
simplifier: no trace info from simprocs unless simp_debug = true.
10 months ago, by nipkow
deal with new-style Vampire skolemization in reconstructed Isar proofs
10 months ago, by blanchet
database performance tuning: prefer light-weight IPC over heavy-duty transactions;
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
tuned signature: follow PostgreSQL syntax instead of JDBC API;
10 months ago, by wenzelm
more robust shutdown: interruptible database connection;
10 months ago, by wenzelm
clarified signature: more convenient send/receive operations;
10 months ago, by wenzelm
clarified versions for documentation;
10 months ago, by wenzelm
merged
10 months ago, by wenzelm
clarified signature: avoid hardwired values;
10 months ago, by wenzelm
clarified IPC via database server: receive notifications quasi-spontaneously via auxiliary thread;
10 months ago, by wenzelm
minor performance tuning: just 1 transaction for slices <= 1;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
tuned whitespace;
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
clarified signature: fewer warnings in IntelliJ IDEA;
10 months ago, by wenzelm
removed unused database_server (amending 32ca3d1283de);
10 months ago, by wenzelm
timing function generation bug fix by Jonas Stahl
10 months ago, by nipkow
tuned signature: more types, fewer warnings in IntelliJ IDEA;
10 months ago, by wenzelm
new less ad hoc implementation of the 'moura' tactic for skolemization
10 months ago, by blanchet
more thorough Store.clean_output (amending 1fa1b32b0379);
10 months ago, by wenzelm
clarified signature: Build_Process tells how to clean sessions;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
minor performance tuning;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
tuned, following 7a1153c95bf9;
10 months ago, by wenzelm
merged
10 months ago, by wenzelm
tuned signature: fewer warnings in IntelliJ IDEA;
10 months ago, by wenzelm
proper usage;
10 months ago, by wenzelm
recover "build_database_server" from 1fa1b32b0379: still required, e.g. in build_benchmark;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
more robust: make double-sure that heap digest is present;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
minor performance tuning: just one transaction for log_db without heap;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
proper store.cache.compress;
10 months ago, by wenzelm
tuned whitespace;
10 months ago, by wenzelm
clarified store_session: heap requires process_result.ok, but log_db is always stored;
10 months ago, by wenzelm
unused;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
tuned names;
10 months ago, by wenzelm
tuned names;
10 months ago, by wenzelm
clarified database layout;
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
more accurate types;
10 months ago, by wenzelm
build local log_db, with store/restore via optional database server;
10 months ago, by wenzelm
propagate property "isabelle.debug", notably for Java/Scala exception trace;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
proper treatment of "isabelle build_process -C" (amending 0cac7e3634d0);
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
clarified names;
10 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip