Mercurial
Mercurial
>
repos
>
testboard
/ 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
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
more robust wrt. experimental changes in Poly/ML;
6 months ago, by wenzelm
more robust: handle unavailable statistics;
6 months ago, by wenzelm
merged
6 months ago, by wenzelm
clarified user counters: expose tasks to external monitor;
6 months ago, by wenzelm
proper platform path for Windows;
6 months ago, by wenzelm
clarified signature;
6 months ago, by wenzelm
support for monitoring of external ML process;
6 months ago, by wenzelm
clarified signature;
6 months ago, by wenzelm
more robust;
6 months ago, by wenzelm
support for monitoring of external ML process;
6 months ago, by wenzelm
clarified modules: ML_Statistics within bootstrap environment;
6 months ago, by wenzelm
misc tuning and modernization;
6 months ago, by wenzelm
clarified examples;
6 months ago, by wenzelm
concatentation of bit values
6 months ago, by haftmann
prefer canonically oriented lists of bits and more direct characterizations in definitions
6 months ago, by haftmann
more simp rules for concrete numerical values
6 months ago, by haftmann
words added to code generator test
6 months ago, by haftmann
a generic horner sum operation
6 months ago, by haftmann
more thms
6 months ago, by haftmann
clarified message --- as in former ML version (see 940195fbb282);
6 months ago, by wenzelm
clarified signature;
6 months ago, by wenzelm
clarified messages: avoid duplicate Timing;
6 months ago, by wenzelm
clarified messages;
6 months ago, by wenzelm
clarified signature;
6 months ago, by wenzelm
tuned;
6 months ago, by wenzelm
avoid duplicate Timing messages (see also 5c4800f6b25a);
6 months ago, by wenzelm
more accurate message;
6 months ago, by wenzelm
tuned;
6 months ago, by wenzelm
clarified signature;
6 months ago, by wenzelm
clarified inlined protocol messages;
6 months ago, by wenzelm
removed unused property;
6 months ago, by wenzelm
signed_take_bit
6 months ago, by haftmann
more on single-bit operations
6 months ago, by haftmann
proper session Timing for build_history log file (see 5c4800f6b25a);
6 months ago, by wenzelm
clarified signature;
6 months ago, by wenzelm
more robust, notably for isabelle_cronjob;
6 months ago, by wenzelm
more robust build_session protocol: allow prover process to terminate/crash without build_session_finished message;
6 months ago, by wenzelm
Update Metis to 2.4
6 months ago, by desharna
updated to polyml-5.8.1-20200708: recent repository version for testing;
6 months ago, by wenzelm
more robust protocol for "Timing ..." messages, notably for pide_session=true;
6 months ago, by wenzelm
removed 'freeze_problem_consts' hack in TPTP tools, which wasn't compatible with post-2016 reforms to local theories
6 months ago, by blanchet
separation of traditional bit operations
6 months ago, by haftmann
no pide_session on macos: avoid odd "hang" of remote_build_history;
6 months ago, by wenzelm
support generated preferences, i.e. non-strict system options;
6 months ago, by wenzelm
factored out auxiliary theory
6 months ago, by haftmann
prefer explicit proof
6 months ago, by haftmann
tuned whitespace;
6 months ago, by wenzelm
use less memory on old hardware;
6 months ago, by wenzelm
clarified signature;
6 months ago, by wenzelm
clarified log message (more uniform);
6 months ago, by wenzelm
misc lemma tuning
6 months ago, by haftmann
explicit proofs for bit projections
6 months ago, by haftmann
extraction of equations x = t from premises beneath meta-all
6 months ago, by haftmann
a small aggiornamento for Z2
6 months ago, by haftmann
removed superfluous dependency
6 months ago, by haftmann
factored out ancient numeral representation
6 months ago, by haftmann
moved to Word_Lib
6 months ago, by haftmann
more explicit proofs
6 months ago, by haftmann
clarified options --- potentially more robust;
6 months ago, by wenzelm
tuned message;
6 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip