wenzelm [Sat, 24 Feb 2024 22:07:21 +0100] rev 79721
clarified IPC via database server: receive notifications quasi-spontaneously via auxiliary thread;
wenzelm [Sat, 24 Feb 2024 16:30:25 +0100] rev 79720
minor performance tuning: just 1 transaction for slices <= 1;
wenzelm [Sat, 24 Feb 2024 15:10:50 +0100] rev 79719
tuned;
wenzelm [Sat, 24 Feb 2024 11:27:04 +0100] rev 79718
tuned whitespace;
wenzelm [Sat, 24 Feb 2024 11:05:11 +0100] rev 79717
tuned signature;
wenzelm [Sat, 24 Feb 2024 10:55:16 +0100] rev 79716
clarified signature: fewer warnings in IntelliJ IDEA;
wenzelm [Sat, 24 Feb 2024 10:21:41 +0100] rev 79715
removed unused database_server (amending 32ca3d1283de);
nipkow [Sat, 24 Feb 2024 11:29:30 +0100] rev 79714
timing function generation bug fix by Jonas Stahl
wenzelm [Fri, 23 Feb 2024 17:22:09 +0100] rev 79713
tuned signature: more types, fewer warnings in IntelliJ IDEA;
blanchet [Fri, 23 Feb 2024 09:11:31 +0100] rev 79712
new less ad hoc implementation of the 'moura' tactic for skolemization