Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
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 CONTRIBUTORS;
2020-06-26, by wenzelm
more uniform URL (see 60b5a4731695);
2020-06-25, by wenzelm
clarified use of memory: prefer share tree structures over fresh strings;
2020-06-24, by wenzelm
more Java heap space (see 2d658beb815b);
2020-06-24, by wenzelm
clarified NEWS;
2020-06-21, by wenzelm
enable pide_session by default (again), with extra JVM heap for AFP tests (see also 86e429abd38d, 026de3424c39);
2020-06-20, by wenzelm
discontinued old AFP test: ancient hardware with insufficient resources;
2020-06-20, by wenzelm
tuned output;
2020-06-20, by wenzelm
merged
2020-06-20, by wenzelm
share cache for parallel sessions;
2020-06-20, by wenzelm
clarified signature;
2020-06-20, by wenzelm
more caching, notably for build/pide_session;
2020-06-20, by wenzelm
removed pointless pide_exports: unused during "build_session" process (reverting 6a64205b491a);
2020-06-20, by wenzelm
tuned --- avoid error in IntelliJ IDEA;
2020-06-19, by wenzelm
simp rules for conversions
2020-06-20, by haftmann
more class operations for the sake of efficient generated code
2020-06-20, by haftmann
merged
2020-06-19, by wenzelm
back to parallel compression: full AFP build does require 16GB Java heap (reverting 107472ccc60d);
2020-06-19, by wenzelm
back to pide_session=false for now, requires too many JVM resources (reverting 026de3424c39);
2020-06-19, by wenzelm
clarified signature;
2020-06-19, by wenzelm
avoid redundant export handling for build;
2020-06-19, by wenzelm
prefer single name
2020-06-19, by haftmann
more lemmas
2020-06-18, by haftmann
build bit operations on word on library theory on bit operations
2020-06-18, by haftmann
bit operations as distinctive library theory
2020-06-18, by haftmann
tweak for code generation
2020-06-18, by haftmann
pragmatically ruled out word types of length zero: a bit string with no bits is not bit string at all
2020-06-18, by haftmann
more lemmas and less name space pollution
2020-06-18, by haftmann
canonical bit shifts for word type, leaving duplicates as they are at the moment
2020-06-18, by haftmann
essential instance about bit structure
2020-06-18, by haftmann
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
tip