Fabian Huch <huch@in.tum.de> [Tue, 21 Jan 2025 15:55:30 +0100] rev 81890
clarified settings: $FIND_FACTS_HOME_USER instead of individual directories;
Fabian Huch <huch@in.tum.de> [Tue, 21 Jan 2025 15:31:57 +0100] rev 81889
clarified: Find_Facts indexes instead of Solr components;
Fabian Huch <huch@in.tum.de> [Tue, 21 Jan 2025 14:36:47 +0100] rev 81888
clarified: application-specific $SOLR_DATA, e.g. $FIND_FACTS_SOLR_DATA;
Fabian Huch <huch@in.tum.de> [Tue, 21 Jan 2025 11:17:05 +0100] rev 81887
merged
Fabian Huch <huch@in.tum.de> [Tue, 21 Jan 2025 11:15:34 +0100] rev 81886
clarified: more operations;
Fabian Huch <huch@in.tum.de> [Tue, 21 Jan 2025 11:14:00 +0100] rev 81885
tuned default nightly start: less events at 00:17:00;
Fabian Huch <huch@in.tum.de> [Tue, 21 Jan 2025 11:12:44 +0100] rev 81884
use cycles in ci triggers;
Fabian Huch <huch@in.tum.de> [Tue, 21 Jan 2025 10:05:40 +0100] rev 81883
varying-length calendar cycles, e.g. for ci jobs every week on a certain day/time;
Fabian Huch <huch@in.tum.de> [Mon, 20 Jan 2025 09:17:37 +0100] rev 81882
clarified;
Fabian Huch <huch@in.tum.de> [Fri, 17 Jan 2025 13:43:16 +0100] rev 81881
tuned whitespace;
Fabian Huch <huch@in.tum.de> [Thu, 16 Jan 2025 19:00:29 +0100] rev 81880
add find_facts_index command to use within Isabelle/Scala;
Fabian Huch <huch@in.tum.de> [Thu, 16 Jan 2025 18:37:23 +0100] rev 81879
clarified: add afp_root argument;
nipkow [Mon, 20 Jan 2025 22:20:14 +0100] rev 81878
merged
nipkow [Mon, 20 Jan 2025 22:19:54 +0100] rev 81877
introduced/overloaded power operator ^^ lists
(lemmas based on AFP/Combinatorics_Words which defines ^@)
haftmann [Mon, 20 Jan 2025 22:15:11 +0100] rev 81876
systematic checks for bit operations and more rules on symbolic terms
haftmann [Mon, 20 Jan 2025 22:15:11 +0100] rev 81875
explicitly report dependencies on missing code equations
paulson <lp15@cam.ac.uk> [Sun, 19 Jan 2025 18:18:07 +0000] rev 81874
simplified old proofs
paulson [Fri, 17 Jan 2025 23:00:13 +0000] rev 81873
merged
paulson [Fri, 17 Jan 2025 20:24:09 +0000] rev 81872
merged
paulson <lp15@cam.ac.uk> [Fri, 17 Jan 2025 20:24:02 +0000] rev 81871
A variety of tweaks
wenzelm [Fri, 17 Jan 2025 23:15:47 +0100] rev 81870
avoid legacy warnings in "test_code check in OCaml";
wenzelm [Fri, 17 Jan 2025 23:10:39 +0100] rev 81869
proper condition for strict "test_code check in OCaml" and "test_code check in GHC";
wenzelm [Fri, 17 Jan 2025 22:38:15 +0100] rev 81868
more NEWS;
wenzelm [Fri, 17 Jan 2025 21:30:08 +0100] rev 81867
merged
wenzelm [Fri, 17 Jan 2025 20:30:01 +0100] rev 81866
misc tuning;
wenzelm [Fri, 17 Jan 2025 19:56:34 +0100] rev 81865
tuned;
wenzelm [Fri, 17 Jan 2025 19:46:36 +0100] rev 81864
tuned;
wenzelm [Fri, 17 Jan 2025 19:40:56 +0100] rev 81863
clarified pattern matching;
wenzelm [Fri, 17 Jan 2025 19:30:26 +0100] rev 81862
misc tuning;
wenzelm [Fri, 17 Jan 2025 17:01:43 +0100] rev 81861
misc tuning and clarification;