isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 tip

clarified signature: eliminate SQL.Tables.empty to avoid confusion (see also 0bd366fad888);
18 months ago, by wenzelm
update for release;
18 months ago, by wenzelm
merged
18 months ago, by wenzelm
more elementary transaction implementation (despite fda3f7a158b9 and 9da65bc75610);
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
proper check (amending 234f2ff9afe6);
18 months ago, by wenzelm
more robust: exclude accidental nesting (synchronized block is re-entrant);
18 months ago, by wenzelm
clarified errors;
18 months ago, by wenzelm
removed junk (amending f8e3b228670c);
18 months ago, by wenzelm
tuned output;
18 months ago, by wenzelm
reuse SSH.Server connection for database server;
18 months ago, by wenzelm
tuned source structure;
18 months ago, by wenzelm
clarified check: uniform session_info_exists;
18 months ago, by wenzelm
more complete check;
18 months ago, by wenzelm
clarified signature: more specific exists_table --- avoid retrieving full list beforehand;
18 months ago, by wenzelm
reuse database_server connection;
18 months ago, by wenzelm
more informative trace;
18 months ago, by wenzelm
reuse SSH.Server connection database server;
18 months ago, by wenzelm
tuned output;
18 months ago, by wenzelm
make double-sure that this is a transaction context, notably for LOCK TABLE;
18 months ago, by wenzelm
more robust Java/Scala multithreading: transaction is always connection.synchronized;
18 months ago, by wenzelm
clarified signature: proper Scala function for command-line tool;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
clarified signature: more operations;
18 months ago, by wenzelm
more standard time unit;
18 months ago, by wenzelm
clarified options;
18 months ago, by wenzelm
tuned output;
18 months ago, by wenzelm
global transaction_count;
18 months ago, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 tip

isabelle