Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-120
+120
+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.
updated to polyml-test-a3cfdf648da: performance improvements for GC statistics;
2020-08-25, by wenzelm
NEWS;
2020-08-25, by wenzelm
test HOL-Nitpick_Examples with Isabelle/Scala instead of external process: much faster;
2020-08-25, by wenzelm
updated to kodkodi-1.5.6: more robust treatment of interrupt;
2020-08-25, by wenzelm
removed pointless version checks: Isabelle component integration does the job already;
2020-08-25, by wenzelm
more robust treatment of execution with interrupts;
2020-08-25, by wenzelm
suppress odd warning for context.exit();
2020-08-24, by wenzelm
more explicit treatment of interrupt;
2020-08-24, by wenzelm
tuned;
2020-08-24, by wenzelm
more flexible default for max_threads;
2020-08-24, by wenzelm
proper default for max_threads;
2020-08-24, by wenzelm
a proof of concept for generic conversions
2020-08-24, by haftmann
proper name (amending 742d94015918);
2020-08-22, by wenzelm
invoke Nitpick/Kodkod via Isabelle/Scala (instead of external process);
2020-08-22, by wenzelm
avoid odd PIDE markup, notably in kokodi input;
2020-08-22, by wenzelm
clarified names;
2020-08-22, by wenzelm
clarified signature;
2020-08-22, by wenzelm
clarified signature;
2020-08-22, by wenzelm
proper treatment of timeout: <= 0 means already timed out, but for $KODKODI/bin/kodkodi it would mean NO timeout;
2020-08-22, by wenzelm
proper treatment of absolute deadline vs. relative timeout;
2020-08-22, by wenzelm
clarified session: no parent image for minor theory imports;
2020-08-22, by wenzelm
removed obsolete created_temp_dir: ISABELLE_TMP is always present for the running Isabelle/ML process;
2020-08-22, by wenzelm
more lemmas
2020-08-21, by haftmann
proper syntax declaration
2020-08-21, by haftmann
merged
2020-08-21, by paulson
reversing all the lex crap
2020-08-21, by paulson
tuned;
2020-08-20, by wenzelm
merged
2020-08-20, by wenzelm
preload library;
2020-08-20, by wenzelm
update to kodkodi-1.5.4-1;
2020-08-20, by wenzelm
clarified signature;
2020-08-20, by wenzelm
more realistic kodkod invocation, imitating command-line tool;
2020-08-19, by wenzelm
update to kodkodi-1.5.4;
2020-08-19, by wenzelm
rudiments of Scala interface for Kodkod;
2020-08-18, by wenzelm
updated to kodkodi-1.5.3: include KODKODI_CLASSPATH for Isabelle/Scala;
2020-08-18, by wenzelm
basic integration of Zipperposition 2.0
2020-08-20, by blanchet
tuned Mirabelle comments
2020-08-20, by blanchet
two more lex fixes
2020-08-20, by paulson
more lex fixes
2020-08-19, by paulson
Another go with lex: now lexordp back in class ord
2020-08-19, by paulson
List_Lexorder finally working
2020-08-18, by paulson
lexicographic ordering: new simp setup to prioritise the simpler "less_than" case
2020-08-18, by paulson
merged
2020-08-18, by paulson
fixed for new lex-order. And the effing indentation!
2020-08-18, by paulson
merged
2020-08-17, by paulson
S Holub's proposed generalisation of the lexicographic product of two orderings
2020-08-17, by paulson
allow user-defined server commands via isabelle_scala_service;
2020-08-17, by wenzelm
more systematic support for special directories;
2020-08-17, by wenzelm
proper init of cumulative settings;
2020-08-17, by wenzelm
upgrade phabricator: Promote 2020 Week 31 + subsequent change;
2020-08-16, by wenzelm
clarified management of services: static declarations vs. dynamic instances (e.g. relevant for stateful Session.Protocol_Handler, notably Scala.Handler and session "System");
2020-08-16, by wenzelm
proper protocol init (amending 065dcd80293e);
2020-08-15, by wenzelm
clarified names;
2020-08-15, by wenzelm
provide protocol handlers via isabelle_system_service;
2020-08-15, by wenzelm
prefer formal name;
2020-08-15, by wenzelm
clarified signature;
2020-08-14, by wenzelm
misc tuning;
2020-08-14, by wenzelm
clarified demo functions;
2020-08-14, by wenzelm
clarified protocol: ML worker thread blocks and awaits result from Scala, to avoid excessive replacement threads;
2020-08-14, by wenzelm
more documentation;
2020-08-13, by wenzelm
support JVM runtime statistics;
2020-08-13, by wenzelm
clarified worker threads;
2020-08-13, by wenzelm
misc tuning, based on hints by IntelliJ IDEA;
2020-08-13, by wenzelm
clarified GUI;
2020-08-13, by wenzelm
tuned GUI;
2020-08-13, by wenzelm
tuned GUI;
2020-08-13, by wenzelm
clarified order for GUI;
2020-08-13, by wenzelm
tuned;
2020-08-13, by wenzelm
clarified GUI;
2020-08-13, by wenzelm
show GC progress as "ML cleanup";
2020-08-12, by wenzelm
ML status widget similar to org.gjt.sp.jedit.gui.statusbar.MemoryStatusWidgetFactory;
2020-08-12, by wenzelm
support for Poly/ML memory status;
2020-08-12, by wenzelm
clarified signature;
2020-08-12, by wenzelm
removed pointless option "ML_statistics": always enabled;
2020-08-12, by wenzelm
removed pointless GUI controls for ML_statistics --- no longer part of prover protocol (see also 38a64cc17403);
2020-08-12, by wenzelm
support for GC state;
2020-08-12, by wenzelm
updated to polyml-test-f54aa41240d0;
2020-08-11, by wenzelm
back to polyml-5.8.1 due to ML compiler crash in HOL-Codegenerator_Test;
2020-08-11, by wenzelm
updated to polyml-test-159dc81efc3b;
2020-08-11, by wenzelm
dedicated symbols for code generation, to pave way for generic conversions from and to word
2020-08-10, by haftmann
consolidated names
2020-08-10, by haftmann
reduced prominence od theory Bits_Int
2020-08-10, by haftmann
one last lemma about Total and Restr
2020-08-09, by paulson
adjustments for fewer WO assumptions
2020-08-09, by paulson
elimination of some needless assumptions
2020-08-09, by paulson
merged
2020-08-09, by paulson
iso lemmas
2020-08-08, by paulson
tuned
2020-08-08, by nipkow
tuned
2020-08-08, by nipkow
NEWS;
2020-08-07, by wenzelm
provide POLYSTATSDIR to keep $HOME/.polyml clean (requires Poly/ML 52881757b127, otherwise ignored);
2020-08-07, by wenzelm
adapted to 7b318273a4aa;
2020-08-07, by wenzelm
cache props;
2020-08-07, by wenzelm
clarified names;
2020-08-07, by wenzelm
more thorough protocol_handlers.exit, like file_formats.stop_session;
2020-08-07, by wenzelm
tuned names;
2020-08-07, by wenzelm
temporary workaround for 100% CPU usage in OS.Process.sleep;
2020-08-07, by wenzelm
ML statistics via external process: allows monitoring RTS while ML program sleeps;
2020-08-07, by wenzelm
clarified catch-all handler --- avoid confusion of Interrupt vs. Exn.Interrupt in varying ML contexts;
2020-08-07, by wenzelm
avoid failure of "isabelle build -o skip_proofs";
2020-08-07, by wenzelm
merged
2020-08-06, by wenzelm
recovered stderr for PIDE batch-build, such as "Browser info at ...", "Document at ..." (see also 940195fbb282, 5469bacf5573, 5c4800f6b25a);
2020-08-06, by wenzelm
more compact command_timings, as in former batch-build;
2020-08-06, by wenzelm
unused;
2020-08-06, by wenzelm
unused --- superseded by PIDE messages;
2020-08-06, by wenzelm
more thorough cleanup, e.g. before ML_Heap.save;
2020-08-06, by wenzelm
discontinued old batch-build functionality;
2020-08-06, by wenzelm
tailored towards remaining essence
2020-08-06, by haftmann
merged
2020-08-06, by nipkow
tuned
2020-08-06, by nipkow
added theory Tree23_of_List
2020-08-06, by nipkow
more robust treatment of thm_names, with strict check after all theories are loaded;
2020-08-06, by wenzelm
a few more lemmas
2020-08-06, by paulson
merged
2020-08-05, by paulson
lemmas about sets and the enumerate operator
2020-08-05, by paulson
yet another little lemma
2020-08-05, by paulson
merged
2020-08-05, by paulson
merged
2020-08-04, by paulson
merged
2020-08-03, by paulson
strengthened a lemma
2020-07-31, by paulson
less
more
|
(0)
-30000
-10000
-3000
-1000
-120
+120
+1000
+3000
tip