| Tue, 22 Aug 2023 10:31:15 +0200 |
wenzelm |
tuned output;
|
file |
diff |
annotate
|
| Mon, 21 Aug 2023 20:40:15 +0200 |
wenzelm |
proper sequential evaluation;
|
file |
diff |
annotate
|
| Mon, 21 Aug 2023 15:04:22 +0200 |
wenzelm |
clarified signature: proper treatment of implicit state (amending d0c9d277620e);
|
file |
diff |
annotate
|
| Mon, 21 Aug 2023 12:34:53 +0200 |
wenzelm |
clarified signature: more robust treatment of implicit state;
|
file |
diff |
annotate
|
| Mon, 21 Aug 2023 11:24:47 +0200 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
| Mon, 21 Aug 2023 10:53:50 +0200 |
wenzelm |
more operations;
|
file |
diff |
annotate
|
| Sat, 19 Aug 2023 22:57:06 +0200 |
wenzelm |
clarified signature: filter batch;
|
file |
diff |
annotate
|
| Sat, 19 Aug 2023 14:34:36 +0200 |
wenzelm |
support for execute_batch: multiple statements in one round-trip;
|
file |
diff |
annotate
|
| Fri, 21 Jul 2023 11:05:50 +0200 |
wenzelm |
tuned output;
|
file |
diff |
annotate
|
| Wed, 19 Jul 2023 10:56:19 +0200 |
wenzelm |
clarified options;
|
file |
diff |
annotate
|
| Tue, 18 Jul 2023 23:03:39 +0200 |
wenzelm |
more options for performance tuning;
|
file |
diff |
annotate
|
| Tue, 18 Jul 2023 12:50:34 +0200 |
wenzelm |
more uniform guard (!exists_table(table)): avoid "ALTER TABLE" on already existing table, which could lead to deadlocks if this is presently locked;
|
file |
diff |
annotate
|
| Tue, 18 Jul 2023 12:39:20 +0200 |
wenzelm |
removed unused "create_index": implicit index from primary_key is usually sufficient;
|
file |
diff |
annotate
|
| Tue, 18 Jul 2023 12:32:07 +0200 |
wenzelm |
clarified "vacuum" (again, reverting 0bd366fad888);
|
file |
diff |
annotate
|
| Tue, 18 Jul 2023 12:19:12 +0200 |
wenzelm |
clarified signature: eliminate SQL.Tables.empty to avoid confusion (see also 0bd366fad888);
|
file |
diff |
annotate
|
| Mon, 17 Jul 2023 21:35:27 +0200 |
wenzelm |
more elementary transaction implementation (despite fda3f7a158b9 and 9da65bc75610);
|
file |
diff |
annotate
|
| Mon, 17 Jul 2023 20:44:58 +0200 |
wenzelm |
proper check (amending 234f2ff9afe6);
|
file |
diff |
annotate
|
| Mon, 17 Jul 2023 20:32:19 +0200 |
wenzelm |
more robust: exclude accidental nesting (synchronized block is re-entrant);
|
file |
diff |
annotate
|
| Mon, 17 Jul 2023 16:09:59 +0200 |
wenzelm |
removed junk (amending f8e3b228670c);
|
file |
diff |
annotate
|
| Mon, 17 Jul 2023 16:02:28 +0200 |
wenzelm |
tuned output;
|
file |
diff |
annotate
|
| Mon, 17 Jul 2023 12:22:39 +0200 |
wenzelm |
tuned source structure;
|
file |
diff |
annotate
|
| Mon, 17 Jul 2023 12:15:06 +0200 |
wenzelm |
clarified signature: more specific exists_table --- avoid retrieving full list beforehand;
|
file |
diff |
annotate
|
| Mon, 17 Jul 2023 11:20:28 +0200 |
wenzelm |
more informative trace;
|
file |
diff |
annotate
|
| Sun, 16 Jul 2023 19:38:12 +0200 |
wenzelm |
tuned output;
|
file |
diff |
annotate
|
| Sun, 16 Jul 2023 19:30:10 +0200 |
wenzelm |
make double-sure that this is a transaction context, notably for LOCK TABLE;
|
file |
diff |
annotate
|
| Sun, 16 Jul 2023 19:13:08 +0200 |
wenzelm |
more robust Java/Scala multithreading: transaction is always connection.synchronized;
|
file |
diff |
annotate
|
| Sun, 16 Jul 2023 15:53:13 +0200 |
wenzelm |
clarified signature: more operations;
|
file |
diff |
annotate
|
| Sun, 16 Jul 2023 14:19:36 +0200 |
wenzelm |
more standard time unit;
|
file |
diff |
annotate
|
| Sun, 16 Jul 2023 13:45:46 +0200 |
wenzelm |
tuned output;
|
file |
diff |
annotate
|
| Sun, 16 Jul 2023 13:41:00 +0200 |
wenzelm |
global transaction_count;
|
file |
diff |
annotate
|
| Sun, 16 Jul 2023 12:34:41 +0200 |
wenzelm |
tuned output;
|
file |
diff |
annotate
|
| Sun, 16 Jul 2023 11:46:53 +0200 |
wenzelm |
clarified isabelle.transaction_log: support time_min (in ms);
|
file |
diff |
annotate
|
| Sun, 16 Jul 2023 11:29:23 +0200 |
wenzelm |
more informative trace;
|
file |
diff |
annotate
|
| Sun, 16 Jul 2023 11:03:10 +0200 |
wenzelm |
support trace of transaction_lock via property "isabelle.transaction_log";
|
file |
diff |
annotate
|
| Sun, 16 Jul 2023 10:50:40 +0200 |
wenzelm |
proper db.transaction_lock instead of adhoc clone (amending 2df0f3604a67);
|
file |
diff |
annotate
|
| Sun, 16 Jul 2023 09:54:55 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 16 Jul 2023 09:50:42 +0200 |
wenzelm |
proper close() operation;
|
file |
diff |
annotate
|
| Sun, 16 Jul 2023 09:34:30 +0200 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Sat, 15 Jul 2023 19:55:32 +0200 |
wenzelm |
less ambitions transactions (amending 3f3dcf9f53f1): TRANSACTION_SERIALIZABLE may lead to spurious rollback exceptions;
|
file |
diff |
annotate
|
| Sat, 15 Jul 2023 19:34:48 +0200 |
wenzelm |
clarified signature: more operations;
|
file |
diff |
annotate
|
| Sat, 15 Jul 2023 13:38:01 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 14 Jul 2023 16:53:39 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 14 Jul 2023 14:25:53 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 14 Jul 2023 14:21:22 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 14 Jul 2023 13:31:05 +0200 |
wenzelm |
clarified signature: more uniform SSH.Port_Forwarding;
|
file |
diff |
annotate
|
| Sun, 09 Jul 2023 14:33:45 +0200 |
wenzelm |
clarified "vacuum" operation for various database versions (PostgreSQL <= 10 is strictly speaking obsolete, but still used on some test machines);
|
file |
diff |
annotate
|
| Sat, 08 Jul 2023 19:28:26 +0200 |
wenzelm |
clarified operation: sequential vacuum to support obsolete versions 10 and 9.x;
|
file |
diff |
annotate
|
| Sat, 08 Jul 2023 19:14:09 +0200 |
wenzelm |
clarified operation: empty means "empty" instead of "full";
|
file |
diff |
annotate
|
| Sat, 08 Jul 2023 13:13:10 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 07 Jul 2023 14:20:58 +0200 |
wenzelm |
clarified signature: ensure disjoint data spaces;
|
file |
diff |
annotate
|
| Fri, 07 Jul 2023 14:17:53 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 05 Jul 2023 14:33:13 +0200 |
wenzelm |
more robust;
|
file |
diff |
annotate
|
| Mon, 26 Jun 2023 22:15:56 +0200 |
wenzelm |
clarified signature: more options;
|
file |
diff |
annotate
|
| Wed, 21 Jun 2023 14:27:51 +0200 |
wenzelm |
clarified signature: more explicit class SQL.Data;
|
file |
diff |
annotate
|
| Thu, 15 Jun 2023 21:26:31 +0200 |
wenzelm |
obsolete;
|
file |
diff |
annotate
|
| Thu, 15 Jun 2023 17:24:32 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 14 Jun 2023 12:10:40 +0200 |
wenzelm |
tuned signature: more operations;
|
file |
diff |
annotate
|
| Wed, 14 Jun 2023 11:47:43 +0200 |
wenzelm |
tuned signature: more operations;
|
file |
diff |
annotate
|
| Wed, 14 Jun 2023 11:18:25 +0200 |
wenzelm |
tuned signature: more operations;
|
file |
diff |
annotate
|
| Thu, 08 Jun 2023 14:45:31 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 16 Mar 2023 16:28:21 +0100 |
wenzelm |
back to compression in Isabelle/Scala (in contrast to f7174238b5e3), e.g. relevant for old_command_timings_blob, but also for prospective heaps;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2023 20:31:08 +0100 |
wenzelm |
more operations;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2023 20:25:48 +0100 |
wenzelm |
more specific vacuum operation, which is also relevant to PostgreSQL;
|
file |
diff |
annotate
|
| Thu, 09 Mar 2023 12:54:19 +0100 |
wenzelm |
proper support for Option[Date] columns;
|
file |
diff |
annotate
|
| Thu, 09 Mar 2023 11:55:20 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 08 Mar 2023 22:22:35 +0100 |
wenzelm |
more robust transactions;
|
file |
diff |
annotate
|
| Wed, 08 Mar 2023 22:08:48 +0100 |
wenzelm |
explicit locking for PostgreSQL --- neither available nor required for SQLite;
|
file |
diff |
annotate
|
| Mon, 06 Mar 2023 21:12:47 +0100 |
wenzelm |
clarified signature: reduce boilerplate;
|
file |
diff |
annotate
|
| Mon, 06 Mar 2023 15:56:28 +0100 |
wenzelm |
tuned whitespace and braces;
|
file |
diff |
annotate
|
| Mon, 06 Mar 2023 15:48:04 +0100 |
wenzelm |
clarified signature: more uniform operations;
|
file |
diff |
annotate
|
| Mon, 06 Mar 2023 15:38:50 +0100 |
wenzelm |
tuned signature: reduce boilerplate;
|
file |
diff |
annotate
|
| Mon, 06 Mar 2023 15:12:37 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 06 Mar 2023 12:07:40 +0100 |
wenzelm |
more operations;
|
file |
diff |
annotate
|
| Sun, 05 Mar 2023 20:41:14 +0100 |
wenzelm |
more detailed table "isabelle_build_serial": allow to monitor activity of build_process instances;
|
file |
diff |
annotate
|
| Mon, 27 Feb 2023 20:30:40 +0100 |
wenzelm |
clarified signature, although "sql" argument is de-facto mandatory;
|
file |
diff |
annotate
|
| Sun, 26 Feb 2023 20:19:01 +0100 |
wenzelm |
misc tuning and clarification: more uniform use of optional "sql" in SQL.Table.delete/select;
|
file |
diff |
annotate
|
| Sun, 26 Feb 2023 14:27:21 +0100 |
wenzelm |
tuned whitespace in generated SQL;
|
file |
diff |
annotate
|
| Sun, 26 Feb 2023 13:50:07 +0100 |
wenzelm |
clarified signature: more concise operations;
|
file |
diff |
annotate
|
| Sat, 25 Feb 2023 14:33:19 +0100 |
wenzelm |
clarified signature: more robust operations;
|
file |
diff |
annotate
|
| Fri, 24 Feb 2023 20:40:50 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 24 Feb 2023 11:45:39 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 24 Feb 2023 11:38:43 +0100 |
wenzelm |
clarified signature: more robust (see also cf2ef4be3630);
|
file |
diff |
annotate
|
| Wed, 22 Feb 2023 21:35:55 +0100 |
wenzelm |
more uniform operations;
|
file |
diff |
annotate
|
| Wed, 22 Feb 2023 21:31:36 +0100 |
wenzelm |
clarified signature: more robust;
|
file |
diff |
annotate
|
| Sun, 22 Jan 2023 21:22:51 +0100 |
wenzelm |
support IPC via database server;
|
file |
diff |
annotate
|
| Sun, 22 Jan 2023 20:40:51 +0100 |
wenzelm |
support specific connection types, for additional operations;
|
file |
diff |
annotate
|
| Mon, 02 Jan 2023 15:41:50 +0100 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Fri, 25 Nov 2022 13:38:15 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 22 Oct 2022 20:06:55 +0200 |
wenzelm |
no compression for database server: let PostgreSQL/TOAST do the job;
|
file |
diff |
annotate
|
| Mon, 12 Sep 2022 22:52:15 +0200 |
wenzelm |
ssh client via regular OpenSSH tools, with authentic use of .ssh/config (notably proxy configuration);
|
file |
diff |
annotate
|
| Thu, 25 Aug 2022 15:30:21 +0200 |
wenzelm |
maintain "uuid" column in session build database, to identity the original build process uniquely;
|
file |
diff |
annotate
|
| Thu, 25 Aug 2022 12:29:42 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 25 Aug 2022 11:29:55 +0200 |
wenzelm |
unused (amending 3d723062dc70);
|
file |
diff |
annotate
|
| Sat, 06 Aug 2022 14:11:19 +0200 |
wenzelm |
tuned signature, following hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 21:04:27 +0100 |
wenzelm |
clarified signature --- fewer warnings;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 19:41:52 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Mon, 25 Mar 2019 16:45:08 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 03 Dec 2018 14:59:42 +0100 |
wenzelm |
static type for Library.using: avoid Java 11 warnings on "Illegal reflective access";
|
file |
diff |
annotate
|
| Thu, 22 Nov 2018 17:34:30 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 06 May 2018 23:01:45 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 13 Oct 2017 21:20:31 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 13 Oct 2017 21:15:04 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 24 May 2017 16:35:18 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Sun, 21 May 2017 21:43:00 +0200 |
wenzelm |
refer to already extracted library files, to avoid tmp files produced by SQLiteJDBCLoader, which tend to remain after JVM crash;
|
file |
diff |
annotate
|
| Fri, 12 May 2017 11:56:41 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 08 May 2017 20:26:59 +0200 |
wenzelm |
allow column with defining expression;
|
file |
diff |
annotate
|
| Mon, 08 May 2017 17:16:40 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 08 May 2017 16:27:12 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 08 May 2017 16:00:14 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 08 May 2017 15:13:40 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 06 May 2017 20:52:23 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 06 May 2017 12:52:29 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 06 May 2017 12:45:42 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 06 May 2017 11:43:43 +0200 |
wenzelm |
unused;
|
file |
diff |
annotate
|
| Fri, 05 May 2017 18:12:21 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 05 May 2017 17:20:50 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 05 May 2017 11:38:09 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|