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
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 Java heap space (see 2d658beb815b);
23 months ago, by wenzelm
clarified NEWS;
23 months ago, by wenzelm
test
draft
23 months ago, by wenzelm
enable pide_session by default (again), with extra JVM heap for AFP tests (see also 86e429abd38d, 026de3424c39);
23 months ago, by wenzelm
discontinued old AFP test: ancient hardware with insufficient resources;
23 months ago, by wenzelm
test
draft
23 months ago, by wenzelm
tuned output;
23 months ago, by wenzelm
merged
23 months ago, by wenzelm
simp rules for conversions
23 months ago, by haftmann
more class operations for the sake of efficient generated code
23 months ago, by haftmann
share cache for parallel sessions;
23 months ago, by wenzelm
clarified signature;
23 months ago, by wenzelm
more caching, notably for build/pide_session;
23 months ago, by wenzelm
removed pointless pide_exports: unused during "build_session" process (reverting 6a64205b491a);
23 months ago, by wenzelm
tuned --- avoid error in IntelliJ IDEA;
23 months ago, by wenzelm
merged
23 months ago, by wenzelm
prefer single name
23 months ago, by haftmann
back to parallel compression: full AFP build does require 16GB Java heap (reverting 107472ccc60d);
23 months ago, by wenzelm
back to pide_session=false for now, requires too many JVM resources (reverting 026de3424c39);
23 months ago, by wenzelm
clarified signature;
23 months ago, by wenzelm
avoid redundant export handling for build;
23 months ago, by wenzelm
more lemmas
23 months ago, by haftmann
build bit operations on word on library theory on bit operations
23 months ago, by haftmann
bit operations as distinctive library theory
23 months ago, by haftmann
tweak for code generation
23 months ago, by haftmann
pragmatically ruled out word types of length zero: a bit string with no bits is not bit string at all
23 months ago, by haftmann
more lemmas and less name space pollution
23 months ago, by haftmann
canonical bit shifts for word type, leaving duplicates as they are at the moment
23 months ago, by haftmann
essential instance about bit structure
23 months ago, by haftmann
more transfer rules
23 months ago, by haftmann
dropped yet another duplicate
23 months ago, by haftmann
fundamental construction of word type following existing transfer rules
23 months ago, by haftmann
replaced mere alias by input abbreviation
23 months ago, by haftmann
replaced mere alias by abbreviation
23 months ago, by haftmann
replaced operation with weak abstraction by input abbreviation
23 months ago, by haftmann
avoid compound operation
23 months ago, by haftmann
formal relationships between operations
23 months ago, by haftmann
eliminated warnings
23 months ago, by haftmann
replaced mere alias by input abbreviation
23 months ago, by haftmann
enable pide_session by default;
23 months ago, by wenzelm
avoid resource problems of JVM by too many parallel XZ compression tasks;
23 months ago, by wenzelm
interpretations for boolean operators
23 months ago, by haftmann
more specific thm reference
23 months ago, by haftmann
clarified errors;
23 months ago, by wenzelm
fixed the utterly weird definitions of asym / asymp, and added many asym lemmas
23 months ago, by paulson
tuned whitespace;
23 months ago, by wenzelm
proper rendering of complex codepoints, e.g. \<^url> code: 0x01F310;
23 months ago, by wenzelm
updated to jedit-5.6pre1 (repository version 25349);
23 months ago, by wenzelm
simplified 'smt_proofs' option to be a binary option (instead of ternary), now that SMT proofs are accepted in the AFP (done with Martin Desharnais)
23 months ago, by blanchet
New Ackermann development
23 months ago, by paulson
tuned document;
23 months ago, by wenzelm
proper latex macros, notably for src/HOL/Examples/Iff_Oracle.thy;
23 months ago, by wenzelm
NEWS;
23 months ago, by wenzelm
clarified sessions;
23 months ago, by wenzelm
clarified sessions: "Notable Examples in Isabelle/HOL";
23 months ago, by wenzelm
derive "xs = []" from "length xs = 0" w/o getting into a loop
draft
23 months ago, by nipkow
clarified sessions: "Notable Examples in Isabelle/Pure";
23 months ago, by wenzelm
NEWS
23 months ago, by haftmann
more theorems
23 months ago, by haftmann
avoid overaggressive default simp rules
23 months ago, by haftmann
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip