45 hours ago haftmann 2020-07-13 concatentation of bit values default tip
2 days ago haftmann 2020-07-12 prefer canonically oriented lists of bits and more direct characterizations in definitions
2 days ago haftmann 2020-07-12 more simp rules for concrete numerical values
2 days ago haftmann 2020-07-12 words added to code generator test
3 days ago haftmann 2020-07-11 a generic horner sum operation
3 days ago haftmann 2020-07-11 more thms
3 days ago wenzelm 2020-07-11 clarified message --- as in former ML version (see 940195fbb282);
3 days ago wenzelm 2020-07-11 clarified signature;
3 days ago wenzelm 2020-07-11 clarified messages: avoid duplicate Timing;
3 days ago wenzelm 2020-07-11 clarified messages;
3 days ago wenzelm 2020-07-11 clarified signature;
3 days ago wenzelm 2020-07-11 tuned;
3 days ago wenzelm 2020-07-11 avoid duplicate Timing messages (see also 5c4800f6b25a);
3 days ago wenzelm 2020-07-11 more accurate message;
3 days ago wenzelm 2020-07-11 tuned;
3 days ago wenzelm 2020-07-11 clarified signature;
3 days ago wenzelm 2020-07-11 clarified inlined protocol messages;
4 days ago wenzelm 2020-07-11 removed unused property;
4 days ago haftmann 2020-07-11 signed_take_bit
4 days ago haftmann 2020-07-11 more on single-bit operations
4 days ago wenzelm 2020-07-10 proper session Timing for build_history log file (see 5c4800f6b25a);
4 days ago wenzelm 2020-07-10 clarified signature;
4 days ago wenzelm 2020-07-10 more robust, notably for isabelle_cronjob;
4 days ago wenzelm 2020-07-10 more robust build_session protocol: allow prover process to terminate/crash without build_session_finished message;
6 days ago desharna 2020-07-09 Update Metis to 2.4
6 days ago wenzelm 2020-07-08 updated to polyml-5.8.1-20200708: recent repository version for testing;
7 days ago wenzelm 2020-07-08 more robust protocol for "Timing ..." messages, notably for pide_session=true;
8 days ago blanchet 2020-07-06 removed 'freeze_problem_consts' hack in TPTP tools, which wasn't compatible with post-2016 reforms to local theories
9 days ago haftmann 2020-07-06 separation of traditional bit operations
10 days ago wenzelm 2020-07-05 no pide_session on macos: avoid odd "hang" of remote_build_history;
10 days ago wenzelm 2020-07-05 support generated preferences, i.e. non-strict system options;
10 days ago haftmann 2020-07-04 factored out auxiliary theory
10 days ago haftmann 2020-07-04 prefer explicit proof
11 days ago wenzelm 2020-07-03 tuned whitespace;
11 days ago wenzelm 2020-07-03 use less memory on old hardware;
11 days ago wenzelm 2020-07-03 clarified signature;
11 days ago wenzelm 2020-07-03 clarified log message (more uniform);
12 days ago haftmann 2020-07-03 misc lemma tuning
12 days ago haftmann 2020-07-03 explicit proofs for bit projections
13 days ago haftmann 2020-07-02 extraction of equations x = t from premises beneath meta-all
13 days ago haftmann 2020-07-02 a small aggiornamento for Z2
13 days ago haftmann 2020-07-02 removed superfluous dependency
13 days ago haftmann 2020-07-01 factored out ancient numeral representation
13 days ago haftmann 2020-07-01 moved to Word_Lib
13 days ago haftmann 2020-07-01 more explicit proofs
13 days ago wenzelm 2020-07-01 clarified options --- potentially more robust;
13 days ago wenzelm 2020-07-01 tuned message;
2 weeks ago wenzelm 2020-06-27 clarified signature;
2 weeks ago wenzelm 2020-06-26 more CONTRIBUTORS;
2 weeks ago wenzelm 2020-06-25 more uniform URL (see 60b5a4731695);
2 weeks ago wenzelm 2020-06-24 clarified use of memory: prefer share tree structures over fresh strings;
3 weeks ago wenzelm 2020-06-24 more Java heap space (see 2d658beb815b);
3 weeks ago wenzelm 2020-06-21 clarified NEWS;
3 weeks ago wenzelm 2020-06-20 enable pide_session by default (again), with extra JVM heap for AFP tests (see also 86e429abd38d, 026de3424c39);
3 weeks ago wenzelm 2020-06-20 discontinued old AFP test: ancient hardware with insufficient resources;
3 weeks ago wenzelm 2020-06-20 tuned output;
3 weeks ago wenzelm 2020-06-20 merged
3 weeks ago wenzelm 2020-06-20 share cache for parallel sessions;
3 weeks ago wenzelm 2020-06-20 clarified signature;
3 weeks ago wenzelm 2020-06-20 more caching, notably for build/pide_session;