Mercurial
Mercurial
>
repos
>
isabelle
/ 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.
made another two tactics more robust in presence of BNFs nesting live variables (reported by Wolfgang Jeltsch)
17 months ago, by traytel
made tactic more robust in presence of BNFs nesting live variables (reported by Wolfgang Jeltsch)
17 months ago, by traytel
systematic testing of arm64_32-darwin;
17 months ago, by wenzelm
more hardware details;
17 months ago, by wenzelm
update to polyml-219e0a248f70, with more robust support for ARM64;
17 months ago, by wenzelm
tuned generated README;
17 months ago, by wenzelm
merged
17 months ago, by paulson
Tidied up more messy proofs
17 months ago, by paulson
hints on "hg bisect";
17 months ago, by wenzelm
no hardwired timeout in Isabelle distribution (unlike on AFP): reverting part of 74c75da4cb01 -- without further tinkering it breaks isabelle_cronjob builds;
17 months ago, by wenzelm
Removal of ugly old proofs
17 months ago, by paulson
merged
17 months ago, by paulson
More cosmetic changes
17 months ago, by paulson
Cosmetic polishing of proofs
17 months ago, by paulson
remove debug printing
17 months ago, by Mathias Fleury
merged
17 months ago, by nipkow
added mbox-like latex sugar
17 months ago, by nipkow
Added tag Isabelle2023-RC2 for changeset 53b59fa42696
17 months ago, by wenzelm
prefer Output.writeln for theory "results", as opposed to Output.state for genuine proof states (see f8c412a45af8, c668735fb8b5, ecf80e37ed1a);
17 months ago, by wenzelm
revert adhoc change ab9cc7cda0ec: lacks reasoning (and discussion);
18 months ago, by wenzelm
output panel: don't discard already filtered messages
18 months ago, by kleing
merged
18 months ago, by wenzelm
tuned signature: more operations;
18 months ago, by wenzelm
avoid excessive accumulation of garbage, for profiling of huge sessions;
18 months ago, by wenzelm
clarified signature: systematic use of Properties.make_string;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
support for let in Alethe name bindings;
18 months ago, by Mathias Fleury
merged
18 months ago, by paulson
A few more cosmetic changes to proofs
18 months ago, by paulson
merged
18 months ago, by paulson
tidying a few proofs a bit more
18 months ago, by paulson
partly tidied some truly horrible proofs
18 months ago, by paulson
update for release;
18 months ago, by wenzelm
back out 9d5e2a08ba1b, hoping the server room stays sufficiently cool;
18 months ago, by wenzelm
performance tuning: prefer static simpset within functional closure of morphism (with notable impact on specifications "in" class, e.g. AFP/No_FTL_observers);
18 months ago, by wenzelm
clarified statistics;
18 months ago, by wenzelm
show more build history for AFP;
18 months ago, by wenzelm
more statistics;
18 months ago, by wenzelm
proper base_thys;
18 months ago, by wenzelm
more thorough context tracing;
18 months ago, by wenzelm
proper check;
18 months ago, by wenzelm
proper symbolic hostname, as provided via Build_Cluster.Host;
18 months ago, by wenzelm
unused;
18 months ago, by wenzelm
clarified signature: Build_Cluster.Session.build_context;
18 months ago, by wenzelm
clarified exception handling and return_code;
18 months ago, by wenzelm
tuned signature: more operations;
18 months ago, by wenzelm
more robust;
18 months ago, by wenzelm
support for Build_Cluster.Session.init (rsync + Admin/init);
18 months ago, by wenzelm
prefer Process_Result.RC.merge: strict treatment of interrupt;
18 months ago, by wenzelm
clarified signature: more operations;
18 months ago, by wenzelm
proper afp_root;
18 months ago, by wenzelm
clarified signature: more "object-oriented" style;
18 months ago, by wenzelm
more flexible Build.Engine.process_options: e.g. to manipulate "process_policy" for ML process;
18 months ago, by wenzelm
clarified signature: delegate policies to Build_Cluster implementation, potentially provided by Build.Engine via Build_Process.open_build_cluster;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
clarified option (see also b66b6cc1eb8c);
18 months ago, by wenzelm
more build_cluster management: open SSH connections in parallel, but synchronously;
18 months ago, by wenzelm
tuned signature: more options;
18 months ago, by wenzelm
clarified signature: more operations;
18 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip