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 -60 +60 +100 +300 +1000 tip

clarified messages: avoid duplicate Timing;
9 months ago, by wenzelm
clarified messages;
9 months ago, by wenzelm
clarified signature;
9 months ago, by wenzelm
tuned;
9 months ago, by wenzelm
avoid duplicate Timing messages (see also 5c4800f6b25a);
9 months ago, by wenzelm
more accurate message;
9 months ago, by wenzelm
tuned;
9 months ago, by wenzelm
clarified signature;
9 months ago, by wenzelm
clarified inlined protocol messages;
9 months ago, by wenzelm
removed unused property;
9 months ago, by wenzelm
signed_take_bit
9 months ago, by haftmann
more on single-bit operations
9 months ago, by haftmann
proper session Timing for build_history log file (see 5c4800f6b25a);
9 months ago, by wenzelm
clarified signature;
9 months ago, by wenzelm
more robust, notably for isabelle_cronjob;
9 months ago, by wenzelm
more robust build_session protocol: allow prover process to terminate/crash without build_session_finished message;
9 months ago, by wenzelm
Update Metis to 2.4
9 months ago, by desharna
updated to polyml-5.8.1-20200708: recent repository version for testing;
9 months ago, by wenzelm
more robust protocol for "Timing ..." messages, notably for pide_session=true;
9 months ago, by wenzelm
removed 'freeze_problem_consts' hack in TPTP tools, which wasn't compatible with post-2016 reforms to local theories
9 months ago, by blanchet
separation of traditional bit operations
9 months ago, by haftmann
no pide_session on macos: avoid odd "hang" of remote_build_history;
9 months ago, by wenzelm
support generated preferences, i.e. non-strict system options;
9 months ago, by wenzelm
factored out auxiliary theory
9 months ago, by haftmann
prefer explicit proof
9 months ago, by haftmann
tuned whitespace;
9 months ago, by wenzelm
use less memory on old hardware;
9 months ago, by wenzelm
clarified signature;
9 months ago, by wenzelm
clarified log message (more uniform);
9 months ago, by wenzelm
misc lemma tuning
9 months ago, by haftmann
explicit proofs for bit projections
9 months ago, by haftmann
extraction of equations x = t from premises beneath meta-all
9 months ago, by haftmann
a small aggiornamento for Z2
9 months ago, by haftmann
removed superfluous dependency
9 months ago, by haftmann
factored out ancient numeral representation
9 months ago, by haftmann
moved to Word_Lib
9 months ago, by haftmann
more explicit proofs
9 months ago, by haftmann
clarified options --- potentially more robust;
9 months ago, by wenzelm
tuned message;
9 months ago, by wenzelm
clarified signature;
9 months ago, by wenzelm
more CONTRIBUTORS;
9 months ago, by wenzelm
more uniform URL (see 60b5a4731695);
9 months ago, by wenzelm
clarified use of memory: prefer share tree structures over fresh strings;
9 months ago, by wenzelm
more Java heap space (see 2d658beb815b);
9 months ago, by wenzelm
clarified NEWS;
10 months ago, by wenzelm
enable pide_session by default (again), with extra JVM heap for AFP tests (see also 86e429abd38d, 026de3424c39);
10 months ago, by wenzelm
discontinued old AFP test: ancient hardware with insufficient resources;
10 months ago, by wenzelm
tuned output;
10 months ago, by wenzelm
merged
10 months ago, by wenzelm
share cache for parallel sessions;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
more caching, notably for build/pide_session;
10 months ago, by wenzelm
removed pointless pide_exports: unused during "build_session" process (reverting 6a64205b491a);
10 months ago, by wenzelm
tuned --- avoid error in IntelliJ IDEA;
10 months ago, by wenzelm
simp rules for conversions
10 months ago, by haftmann
more class operations for the sake of efficient generated code
10 months ago, by haftmann
merged
10 months ago, by wenzelm
back to parallel compression: full AFP build does require 16GB Java heap (reverting 107472ccc60d);
10 months ago, by wenzelm
back to pide_session=false for now, requires too many JVM resources (reverting 026de3424c39);
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm

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

isabelle