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.
rudiments of Scala interface for Kodkod;
21 months ago, by wenzelm
updated to kodkodi-1.5.3: include KODKODI_CLASSPATH for Isabelle/Scala;
21 months ago, by wenzelm
basic integration of Zipperposition 2.0
21 months ago, by blanchet
tuned Mirabelle comments
21 months ago, by blanchet
reversing all the lex crap
21 months ago, by paulson
two more lex fixes
21 months ago, by paulson
more lex fixes
21 months ago, by paulson
Another go with lex: now lexordp back in class ord
21 months ago, by paulson
List_Lexorder finally working
21 months ago, by paulson
lexicographic ordering: new simp setup to prioritise the simpler "less_than" case
21 months ago, by paulson
merged
21 months ago, by paulson
allow user-defined server commands via isabelle_scala_service;
21 months ago, by wenzelm
more systematic support for special directories;
21 months ago, by wenzelm
proper init of cumulative settings;
21 months ago, by wenzelm
fixed for new lex-order. And the effing indentation!
21 months ago, by paulson
merged
21 months ago, by paulson
upgrade phabricator: Promote 2020 Week 31 + subsequent change;
21 months ago, by wenzelm
S Holub's proposed generalisation of the lexicographic product of two orderings
21 months ago, by paulson
clarified management of services: static declarations vs. dynamic instances (e.g. relevant for stateful Session.Protocol_Handler, notably Scala.Handler and session "System");
21 months ago, by wenzelm
proper protocol init (amending 065dcd80293e);
21 months ago, by wenzelm
clarified names;
21 months ago, by wenzelm
provide protocol handlers via isabelle_system_service;
21 months ago, by wenzelm
prefer formal name;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
misc tuning;
21 months ago, by wenzelm
clarified demo functions;
21 months ago, by wenzelm
clarified protocol: ML worker thread blocks and awaits result from Scala, to avoid excessive replacement threads;
21 months ago, by wenzelm
more documentation;
21 months ago, by wenzelm
support JVM runtime statistics;
21 months ago, by wenzelm
clarified worker threads;
21 months ago, by wenzelm
misc tuning, based on hints by IntelliJ IDEA;
21 months ago, by wenzelm
clarified GUI;
21 months ago, by wenzelm
tuned GUI;
21 months ago, by wenzelm
tuned GUI;
21 months ago, by wenzelm
clarified order for GUI;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
clarified GUI;
21 months ago, by wenzelm
show GC progress as "ML cleanup";
21 months ago, by wenzelm
ML status widget similar to org.gjt.sp.jedit.gui.statusbar.MemoryStatusWidgetFactory;
21 months ago, by wenzelm
support for Poly/ML memory status;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
removed pointless option "ML_statistics": always enabled;
21 months ago, by wenzelm
removed pointless GUI controls for ML_statistics --- no longer part of prover protocol (see also 38a64cc17403);
21 months ago, by wenzelm
support for GC state;
21 months ago, by wenzelm
updated to polyml-test-f54aa41240d0;
21 months ago, by wenzelm
back to polyml-5.8.1 due to ML compiler crash in HOL-Codegenerator_Test;
21 months ago, by wenzelm
updated to polyml-test-159dc81efc3b;
21 months ago, by wenzelm
dedicated symbols for code generation, to pave way for generic conversions from and to word
21 months ago, by haftmann
consolidated names
21 months ago, by haftmann
reduced prominence od theory Bits_Int
21 months ago, by haftmann
one last lemma about Total and Restr
21 months ago, by paulson
adjustments for fewer WO assumptions
21 months ago, by paulson
elimination of some needless assumptions
21 months ago, by paulson
merged
21 months ago, by paulson
tuned
21 months ago, by nipkow
tuned
21 months ago, by nipkow
iso lemmas
21 months ago, by paulson
NEWS;
21 months ago, by wenzelm
provide POLYSTATSDIR to keep $HOME/.polyml clean (requires Poly/ML 52881757b127, otherwise ignored);
21 months ago, by wenzelm
adapted to 7b318273a4aa;
21 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip