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

add approximation factors in build schedule to estimate build times more conservatively;
15 months ago, by Fabian Huch
merged
15 months ago, by paulson
Type class patch suggested by Achim Brucker, plus tidied lemma
15 months ago, by paulson
rearranged and reformulated abstract classes for bit structures and operations
15 months ago, by haftmann
Three new lemmas
15 months ago, by paulson
tuned proof: avoid z3 to make it work on arm64-linux;
15 months ago, by wenzelm
update to jdk-21.0.2;
15 months ago, by wenzelm
make build process state protected to avoid copying in subclasses (e.g. for database connections);
15 months ago, by Fabian Huch
add build_sync tag to sync certain options (e.g., build_engine) across build processes;
15 months ago, by Fabian Huch
clarified Mercurial version: presumably the last version that supports both python2 and python3;
15 months ago, by wenzelm
more robust: avoid crash on non-Linux systems;
15 months ago, by wenzelm
clarified webserver names;
15 months ago, by wenzelm

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

isabelle