testboard: Graph

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 +3000 tip

clarified name to avoid duplication (no distinction of data on host = lrzcloud2);
22 months ago, by wenzelm
clarified names;
22 months ago, by wenzelm
more errors;
22 months ago, by wenzelm
follow Phabricator update 2020 Week 27;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
unused;
22 months ago, by wenzelm
clarified errors: avoid hiding of import_errors/dir_errors by their consequences (file-access problems);
22 months ago, by wenzelm
clarified errors: avoid accidental import from other session that happens to be within overall selection (notably "isabelle build -a");
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
clarified order --- proper sorting of requirements;
22 months ago, by wenzelm
obsolete (see 9cde8c4ea5a5);
22 months ago, by wenzelm
tuned --- based on hints by IntelliJ;
22 months ago, by wenzelm
tuned signature;
22 months ago, by wenzelm
updated to polyml-5.8.1 (official release);
22 months ago, by wenzelm
subtle change of Theory_Data extend/merge semantics due to Theory.join_theory;
22 months ago, by wenzelm
clarified -- avoid non-standard extend/merge;
22 months ago, by wenzelm
tuned -- avoid non-standard extend;
22 months ago, by wenzelm
clarified -- avoid non-standard extend/merge;
22 months ago, by wenzelm
proper session imports;
22 months ago, by wenzelm
clarified -- avoid non-standard extend;
22 months ago, by wenzelm
tuned -- avoid non-standard extend/merge;
22 months ago, by wenzelm
prefer conservative extend/merge of theory naming;
22 months ago, by wenzelm
support native PID for ML process;
22 months ago, by wenzelm
merged
22 months ago, by wenzelm
clarified theory data: more robust merge;
22 months ago, by wenzelm
proper import sessions;
22 months ago, by wenzelm
more thorough extend/merge (for Theory.join_theory);
22 months ago, by wenzelm
more thorough extend/merge (for Theory.join_theory);
22 months ago, by wenzelm
more thorough extend/merge (for Theory.join_theory);
22 months ago, by wenzelm
more thorough extend/merge, notably for master_dir across Theory.join_theory (e.g. for @{file} antiquotation);
22 months ago, by wenzelm
more robust: avoid potential problems with encoding of directory name;
22 months ago, by wenzelm
tuned grouping
22 months ago, by haftmann
yet another alias
22 months ago, by haftmann
more robust wrt. experimental changes in Poly/ML;
22 months ago, by wenzelm
more robust: handle unavailable statistics;
22 months ago, by wenzelm
merged
22 months ago, by wenzelm
clarified user counters: expose tasks to external monitor;
22 months ago, by wenzelm
proper platform path for Windows;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
support for monitoring of external ML process;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
more robust;
22 months ago, by wenzelm
support for monitoring of external ML process;
22 months ago, by wenzelm
clarified modules: ML_Statistics within bootstrap environment;
22 months ago, by wenzelm
misc tuning and modernization;
22 months ago, by wenzelm
clarified examples;
22 months ago, by wenzelm
concatentation of bit values
22 months ago, by haftmann
prefer canonically oriented lists of bits and more direct characterizations in definitions
22 months ago, by haftmann
more simp rules for concrete numerical values
22 months ago, by haftmann
words added to code generator test
22 months ago, by haftmann
a generic horner sum operation
22 months ago, by haftmann
more thms
22 months ago, by haftmann
clarified message --- as in former ML version (see 940195fbb282);
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
clarified messages: avoid duplicate Timing;
22 months ago, by wenzelm
clarified messages;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
avoid duplicate Timing messages (see also 5c4800f6b25a);
22 months ago, by wenzelm
more accurate message;
22 months ago, by wenzelm

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

testboard