Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-192
+192
+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.
update for release;
18 months ago, by wenzelm
back out 9d5e2a08ba1b, hoping the server room stays sufficiently cool;
18 months ago, by wenzelm
performance tuning: prefer static simpset within functional closure of morphism (with notable impact on specifications "in" class, e.g. AFP/No_FTL_observers);
18 months ago, by wenzelm
clarified statistics;
18 months ago, by wenzelm
show more build history for AFP;
18 months ago, by wenzelm
more statistics;
18 months ago, by wenzelm
proper base_thys;
18 months ago, by wenzelm
more thorough context tracing;
18 months ago, by wenzelm
proper check;
18 months ago, by wenzelm
proper symbolic hostname, as provided via Build_Cluster.Host;
18 months ago, by wenzelm
unused;
18 months ago, by wenzelm
clarified signature: Build_Cluster.Session.build_context;
18 months ago, by wenzelm
clarified exception handling and return_code;
18 months ago, by wenzelm
tuned signature: more operations;
18 months ago, by wenzelm
more robust;
18 months ago, by wenzelm
support for Build_Cluster.Session.init (rsync + Admin/init);
18 months ago, by wenzelm
prefer Process_Result.RC.merge: strict treatment of interrupt;
18 months ago, by wenzelm
clarified signature: more operations;
18 months ago, by wenzelm
proper afp_root;
18 months ago, by wenzelm
clarified signature: more "object-oriented" style;
18 months ago, by wenzelm
more flexible Build.Engine.process_options: e.g. to manipulate "process_policy" for ML process;
18 months ago, by wenzelm
clarified signature: delegate policies to Build_Cluster implementation, potentially provided by Build.Engine via Build_Process.open_build_cluster;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
clarified option (see also b66b6cc1eb8c);
18 months ago, by wenzelm
more build_cluster management: open SSH connections in parallel, but synchronously;
18 months ago, by wenzelm
tuned signature: more options;
18 months ago, by wenzelm
clarified signature: more operations;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
more accurate print vs. parse;
18 months ago, by wenzelm
clarified signature;
18 months ago, by wenzelm
clarified signature (again);
18 months ago, by wenzelm
tuned output;
18 months ago, by wenzelm
tuned output;
18 months ago, by wenzelm
clarified modules;
18 months ago, by wenzelm
more pro-forma support for afp_root;
18 months ago, by wenzelm
tuned NEWS: emphasize "isabelle build" add-ons;
18 months ago, by wenzelm
added option -A for AFP root, following "isabelle sync";
18 months ago, by wenzelm
clarified signature: more operations;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
clarified file location: to be used by regular Isabelle/Scala tools;
18 months ago, by wenzelm
update headers;
18 months ago, by wenzelm
more pro-forma support for Build_Cluster;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
clarified options;
18 months ago, by wenzelm
clarified options;
18 months ago, by wenzelm
proper Build_Cluster.Host.parse for parameters and system options;
18 months ago, by wenzelm
more operations for independent "inline" options;
18 months ago, by wenzelm
clarified options: accommodate potentially slow database connection;
18 months ago, by wenzelm
minor performance tuning;
18 months ago, by wenzelm
add option "build_context" in anticipation of AFP entries that require special tricks in Isabelle/ML (NB: system component settings are unavailable in AFP);
18 months ago, by wenzelm
proper build_options (amending 822ddccda899);
18 months ago, by wenzelm
clarified options;
18 months ago, by wenzelm
proforma support for remote build hosts;
18 months ago, by wenzelm
more options for performance tuning;
19 months ago, by wenzelm
more operations;
19 months ago, by wenzelm
support for management of build cluster;
19 months ago, by wenzelm
clarified modules;
19 months ago, by wenzelm
renamed object Data to private_data, to emphasize its intended scope (but it is publicly accessible in the database);
19 months ago, by wenzelm
more conservative build_delay (despite 9600720071e6): avoid exessive build_database operations, notably via ssh;
19 months ago, by wenzelm
proper running limit, based on this worker process;
19 months ago, by wenzelm
more robust: implicit locking of tables in standard order;
19 months ago, by wenzelm
more uniform guard (!exists_table(table)): avoid "ALTER TABLE" on already existing table, which could lead to deadlocks if this is presently locked;
19 months ago, by wenzelm
removed unused "create_index": implicit index from primary_key is usually sufficient;
19 months ago, by wenzelm
clarified "vacuum" (again, reverting 0bd366fad888);
19 months ago, by wenzelm
clarified signature: eliminate SQL.Tables.empty to avoid confusion (see also 0bd366fad888);
19 months ago, by wenzelm
update for release;
19 months ago, by wenzelm
merged
19 months ago, by wenzelm
more elementary transaction implementation (despite fda3f7a158b9 and 9da65bc75610);
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
proper check (amending 234f2ff9afe6);
19 months ago, by wenzelm
more robust: exclude accidental nesting (synchronized block is re-entrant);
19 months ago, by wenzelm
clarified errors;
19 months ago, by wenzelm
removed junk (amending f8e3b228670c);
19 months ago, by wenzelm
tuned output;
19 months ago, by wenzelm
reuse SSH.Server connection for database server;
19 months ago, by wenzelm
tuned source structure;
19 months ago, by wenzelm
clarified check: uniform session_info_exists;
19 months ago, by wenzelm
more complete check;
19 months ago, by wenzelm
clarified signature: more specific exists_table --- avoid retrieving full list beforehand;
19 months ago, by wenzelm
reuse database_server connection;
19 months ago, by wenzelm
more informative trace;
19 months ago, by wenzelm
reuse SSH.Server connection database server;
19 months ago, by wenzelm
tuned output;
19 months ago, by wenzelm
make double-sure that this is a transaction context, notably for LOCK TABLE;
19 months ago, by wenzelm
more robust Java/Scala multithreading: transaction is always connection.synchronized;
19 months ago, by wenzelm
clarified signature: proper Scala function for command-line tool;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
clarified signature: more operations;
19 months ago, by wenzelm
more standard time unit;
19 months ago, by wenzelm
clarified options;
19 months ago, by wenzelm
tuned output;
19 months ago, by wenzelm
global transaction_count;
19 months ago, by wenzelm
tuned output;
19 months ago, by wenzelm
tuned output;
19 months ago, by wenzelm
prefer asynchronous operations: reduce time spent within synchronized_database("Build_Process.start_job");
19 months ago, by wenzelm
clarified isabelle.transaction_log: support time_min (in ms);
19 months ago, by wenzelm
more operations;
19 months ago, by wenzelm
more informative trace;
19 months ago, by wenzelm
support trace of transaction_lock via property "isabelle.transaction_log";
19 months ago, by wenzelm
proper db.transaction_lock instead of adhoc clone (amending 2df0f3604a67);
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
proper close() operation;
19 months ago, by wenzelm
tuned comments;
19 months ago, by wenzelm
more robust: avoid nested transactions (on disjoint tables);
19 months ago, by wenzelm
potentially more robust: long-running operation only for build master, not workers;
19 months ago, by wenzelm
less ambitions transactions (amending 3f3dcf9f53f1): TRANSACTION_SERIALIZABLE may lead to spurious rollback exceptions;
19 months ago, by wenzelm
clarified signature: more operations;
19 months ago, by wenzelm
clarified signature: more operations;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
clarified signature: follow Store.open_database;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
clarified signature: more uniform SSH.Port_Forwarding;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
X = trivial_topology rather than topspace X = {}
19 months ago, by paulson
merged
19 months ago, by paulson
trivial_topology
19 months ago, by paulson
merged;
19 months ago, by Lukas Stevens
added docs for order method in Orderings;
19 months ago, by Lukas Stevens
News update referring to Analysis
19 months ago, by paulson
tuned error message;
19 months ago, by Fabian Huch
more NEWS;
19 months ago, by wenzelm
tuned output;
19 months ago, by wenzelm
tuned output;
19 months ago, by wenzelm
clarified session_statistics: removed somewhat pointless per-theory statistics;
19 months ago, by wenzelm
tuned error messages;
19 months ago, by Fabian Huch
more TOML formatting functions;
19 months ago, by Fabian Huch
merged
19 months ago, by paulson
Doubled the time limit for HOL-Probability
19 months ago, by paulson
merged
19 months ago, by paulson
Some fixes, and SOME TIME LIMITS
19 months ago, by paulson
merged
19 months ago, by paulson
cosmetic improvements, new lemmas, especially more uses of function space
19 months ago, by paulson
more NEWS;
19 months ago, by wenzelm
NEWS;
19 months ago, by wenzelm
tuned whitespace;
19 months ago, by wenzelm
added TOML module from afp;
19 months ago, by Fabian Huch
proper system integration and renaming;
19 months ago, by wenzelm
copy/rename files from private autocorres version e45b9b680d3e;
19 months ago, by wenzelm
Added tag Isabelle2023-RC1 for changeset 006dbc9c2de1
19 months ago, by wenzelm
update cygwin component;
19 months ago, by wenzelm
avoid bloat of approx. 300MB due to implicit dependency on python;
19 months ago, by wenzelm
suppress bad file, which does not work on regular Windows;
19 months ago, by wenzelm
revert ineffective b04ac8a017b2: etc/settings of polyml components needs to be changed as well;
19 months ago, by wenzelm
updated naproche-20230711 component for release;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
ML_system_apple=false for more stability;
19 months ago, by wenzelm
activate cygwin-20230711;
19 months ago, by wenzelm
update cygwin for Isabelle2023 -- somewhere after cygwin 3.4.0-1 (see https://cygwin.com/pipermail/cygwin-announce/2022-December/010821.html);
19 months ago, by wenzelm
proper set_executable for sqlitejdbc.dll (see also 3b0f8f1010f2);
19 months ago, by wenzelm
update to stack-2.9.3 with support for arm64-linux;
19 months ago, by wenzelm
provide tool for GHC stack component;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
"rlwrap" is back together with "perl", which is actually required for bib2xhtml;
19 months ago, by wenzelm
clarified signature, with subtle change of semantics (amending 8b5a2e4b16d4);
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
merged
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
update for release;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
update for release;
19 months ago, by wenzelm
merged;
19 months ago, by wenzelm
publish component;
19 months ago, by wenzelm
latest version;
19 months ago, by wenzelm
update to current sqlite-jdbc-3.42.0.0;
19 months ago, by wenzelm
update to current lipics-3.1.3;
19 months ago, by wenzelm
update to flatlaf-2.6, which is the last release before recent moves towards 3.0 / 3.1 / 3.1.1;
19 months ago, by wenzelm
merged
19 months ago, by paulson
more small simplifications
19 months ago, by paulson
merged
19 months ago, by wenzelm
merged
19 months ago, by wenzelm
clarified modules (amending 570f65953173);
19 months ago, by wenzelm
more markup for command_span: this allows to reconstruct Thy_Element structure without knowing the outer syntax;
19 months ago, by wenzelm
create database view for diagnostic purposes;
19 months ago, by wenzelm
A bit of prerelease tidying
19 months ago, by paulson
NEWS tweak
19 months ago, by paulson
merged
19 months ago, by paulson
Last of the HOL Light metric space imports, and some supporting lemmas
19 months ago, by paulson
clarified "vacuum" operation for various database versions (PostgreSQL <= 10 is strictly speaking obsolete, but still used on some test machines);
19 months ago, by wenzelm
eliminate somewhat obsolete augment_tables (see ff164add75cd), to support obsolete versions 10 and 9.x;
19 months ago, by wenzelm
clarified operation: sequential vacuum to support obsolete versions 10 and 9.x;
19 months ago, by wenzelm
clarified operation: empty means "empty" instead of "full";
19 months ago, by wenzelm
merged
19 months ago, by wenzelm
proper data_domain for symmetric difference;
19 months ago, by wenzelm
tuned: avoid redundant db access;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
proper transaction_lock;
19 months ago, by wenzelm
clarified signature: ensure disjoint data spaces;
19 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-192
+192
+1000
+3000
tip