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

clarified num_processors: follow Poly/ML (with its inaccuracies);
12 months ago, by wenzelm
clarified modules, following Isabelle/ML;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
tuned comments;
12 months ago, by wenzelm
merged
12 months ago, by paulson
the syntax of Lebesgue integrals (LINT, LBINT, ∫, etc.) now requires parentheses
12 months ago, by paulson
merged
12 months ago, by paulson
A few lemmas brought in from AFP entries
12 months ago, by paulson
merged
12 months ago, by traytel
made destructor-view tactic more robust (by Jan van Brügge)
12 months ago, by traytel
performance optimization;
12 months ago, by Fabian Huch
clarified names;
12 months ago, by Fabian Huch
clarified scheduler: proper split into scheduler, generator, and priority rules (following 32d00ec387f4);
12 months ago, by Fabian Huch
proper "linux_arm", amending 76ad72736e9e;
12 months ago, by wenzelm
more lemmas
12 months ago, by haftmann
new lemmas involving Ramsey numbers, infinite sets
12 months ago, by paulson
simplified class specification
12 months ago, by haftmann
Removal of duplicate code
12 months ago, by paulson
Two new theorems
12 months ago, by paulson
more lemmas and more correct lemma names
12 months ago, by haftmann
NEWS: corrected the definition of convexity of functions
12 months ago, by paulson
Further lemmas concerning complexity and measures
12 months ago, by paulson
Correct the definition of a convex function, and updated the proofs
12 months ago, by paulson
merged;
12 months ago, by wenzelm
update to windows_app-20240205, with executables for linux, linux_arm, macos;
12 months ago, by wenzelm
omit redundant options;
12 months ago, by wenzelm
tuned README;
12 months ago, by wenzelm
uniform build of binutils for linux, linux_arm, macos;
12 months ago, by wenzelm
fix reconstruction of Alethe's and_pos rule
12 months ago, by Mathias Fleury
added lemmas Multiset.transp_on_multp and Multiset.trans_on_mult
12 months ago, by desharna
proper target option, following package binutils-mingw-w64-x86-64 from Debian/Ubuntu;
12 months ago, by wenzelm
updated windows_app based on launch4j-3.50-linux-x64, without rebuilding GNU binutils (missing COFF target pe-i386);
12 months ago, by wenzelm
proper sfx_archive_name;
12 months ago, by wenzelm
clarified options;
12 months ago, by wenzelm
more robust;
12 months ago, by wenzelm
build Isabelle windows_app component from GNU binutils and launch4j;
12 months ago, by wenzelm
proper windows_app/launch4j-linux_arm;
12 months ago, by wenzelm
merged
12 months ago, by paulson
A small number of new lemmas
12 months ago, by paulson
explicit reference to code_dt
12 months ago, by haftmann
made lift_bnf more robust for abstract types with 'phantom' type variables
12 months ago, by traytel
rebuild "verit" for arm64-linux for more robustness, e.g. relevant for theory "HOL-ex.BigO";
12 months ago, by wenzelm
proper os_name "linux" instead of "linux_arm" (amending a33a6e541cbb);
12 months ago, by wenzelm
proper bash syntax (amending 0631dfc0db07);
12 months ago, by wenzelm
tuned proof: avoid z3;
12 months ago, by wenzelm
tuned proof: avoid z3 to make it work on arm64-linux;
12 months ago, by wenzelm
tuned proofs --- avoid smt with external prover, which is somewhat unstable on arm64-linux;
12 months ago, by wenzelm
merged
12 months ago, by wenzelm
more robust check of ISABELLE_PLATFORM_FAMILY within settings environment, to support its reunification with Isabelle/Scala (see also a33a6e541cbb, f3a356c64193);
12 months ago, by wenzelm
strengthened class parity
12 months ago, by haftmann
proper accessible paths for web server;
12 months ago, by wenzelm
more informative message (amending b8a6b2ec85a2);
12 months ago, by wenzelm
merged
12 months ago, by wenzelm
more robust: do not affect "$ISABELLE_HOME_USER/contrib" on master node;
12 months ago, by wenzelm
avoid excessive ML heap on this 16GB node;
12 months ago, by wenzelm
more robust (amending c9774306a879);
12 months ago, by wenzelm

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

isabelle