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
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.
merged
17 months ago, by Peter Lammich
removed redundant T_xxx_bound_aux lemmas
17 months ago, by Peter Lammich
don't generate not-fully-defined bit-vector constants in SMT problems
17 months ago, by Mathias Fleury
don't generate not-fully-defined bit vector constants in SMT problems
draft
17 months ago, by Mathias Fleury
don't generate not-fully-defined bit vector constants in SMT problems
draft
17 months ago, by Mathias Fleury
add option to specify spy file name
draft
17 months ago, by Mathias Fleury
improve and activate compression for veriT proof reconstruction
17 months ago, by Mathias Fleury
unused (see 29566b6810f7);
17 months ago, by wenzelm
proper argument --- amending 908d8be90533;
17 months ago, by wenzelm
tuned;
17 months ago, by wenzelm
tuned signature;
17 months ago, by wenzelm
tuned signature;
17 months ago, by wenzelm
tuned signature;
17 months ago, by wenzelm
tuned signature;
17 months ago, by wenzelm
clarified signature: more explicit types;
17 months ago, by wenzelm
tuned signature;
17 months ago, by wenzelm
tuned imports;
17 months ago, by wenzelm
tuned messages;
17 months ago, by wenzelm
minor updates on look-and-feel;
17 months ago, by wenzelm
update on platforms;
17 months ago, by wenzelm
updated "macOS" terminology: current Big Sur is already version 11;
17 months ago, by wenzelm
updated test machines;
17 months ago, by wenzelm
full PIDE reports in batch build: see how it impacts overall performance;
17 months ago, by wenzelm
purge build dir;
17 months ago, by wenzelm
parallel jobs for make;
17 months ago, by wenzelm
back to uniform build, using latest repository version for vampire_polymorphic;
17 months ago, by wenzelm
prefer cmake build for standard version: more portable;
17 months ago, by wenzelm
clarified default name;
17 months ago, by wenzelm
build Isabelle Vampire component from repository;
17 months ago, by wenzelm
accommodate OpenJDK 15;
17 months ago, by wenzelm
merged
17 months ago, by nipkow
tuned
17 months ago, by nipkow
more informative error;
17 months ago, by wenzelm
proper else statement;
17 months ago, by wenzelm
tuned;
17 months ago, by wenzelm
clarified session log file: avoid erratic messages;
17 months ago, by wenzelm
clarified messages;
17 months ago, by wenzelm
clarified messages;
17 months ago, by wenzelm
NEWS and documentation for "isabelle log";
17 months ago, by wenzelm
clarified messages;
17 months ago, by wenzelm
clarified types;
17 months ago, by wenzelm
clarified Pretty.Metric, as for build errors;
17 months ago, by wenzelm
clarified types;
17 months ago, by wenzelm
tuned;
17 months ago, by wenzelm
clarified: omit presumably pointless Markup.Serial (see also 0b9334adcf05);
17 months ago, by wenzelm
clarified signature: more specific types;
17 months ago, by wenzelm
tuned messages;
17 months ago, by wenzelm
clarified output of Isabelle symbols;
17 months ago, by wenzelm
tuned signature;
17 months ago, by wenzelm
clarified file sources: take from build database instead of file-system;
17 months ago, by wenzelm
tuned;
17 months ago, by wenzelm
tuned messages;
17 months ago, by wenzelm
merged
17 months ago, by wenzelm
clarified protocol: support "isabelle log" on failed theories as well;
17 months ago, by wenzelm
tuned comments;
17 months ago, by wenzelm
clarified signature;
17 months ago, by wenzelm
added "isabelle log": print messages from build database;
17 months ago, by wenzelm
clarified signature;
17 months ago, by wenzelm
clarified signature;
17 months ago, by wenzelm
tuned signature;
17 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip