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.
tuned signature;
12 months ago, by wenzelm
tuned comments;
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
consolidation of rules for bit operations
12 months ago, by haftmann
fixed $ite syntax in TPTP TFX generation
12 months ago, by desharna
more Haskell operations;
12 months ago, by wenzelm
merged
12 months ago, by wenzelm
revert 0faa68dedce5: very slow;
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
add/rename some theorems about Map(pings)
12 months ago, by Lukas Stevens
support configuration options "show_results";
12 months ago, by wenzelm
consolidate_body more thoroughly, e.g. for reduced ML_Heap.obj_size;
12 months ago, by wenzelm
Add/Refactor some theorems about Map(pings)
draft
12 months ago, by Lukas Stevens
merged
12 months ago, by desharna
tuned signature;
12 months ago, by wenzelm
more scalable data structures;
12 months ago, by wenzelm
more scalable data structures;
12 months ago, by wenzelm
more scalable data structures;
12 months ago, by wenzelm
fixed $ite syntax in TPTP THX generation
12 months ago, by desharna
proper position information for Context.theory_data_size;
12 months ago, by wenzelm
provide bash_process server for Isabelle/ML and other external programs;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
proper prover_options for batch-build;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
clarified signature: more options for bash_process;
12 months ago, by wenzelm
tuned signature;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
follow phabricator 2021 Week 26;
12 months ago, by wenzelm
tuned signature;
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
unused;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
disabled 'ite' in Zipperposition until we upgrade to a version of Zip that supports it and we generate the proper syntax
draft
12 months ago, by blanchet
merged
12 months ago, by wenzelm
clarified modules;
12 months ago, by wenzelm
type classes for XML data representation;
12 months ago, by wenzelm
tuned signature;
12 months ago, by wenzelm
clarified types: prefer Isabelle byte strings;
12 months ago, by wenzelm
merged
12 months ago, by desharna
more operations: dest binders;
12 months ago, by wenzelm
fixed $ite syntax in TPTP THX generation
draft
12 months ago, by desharna
added option labels to Mirabelle actions
12 months ago, by desharna
clarified abstract and concrete boolean algebras
12 months ago, by haftmann
antiquotation for bundles
12 months ago, by haftmann
prefer persistent hash code for cachable items (see also 72b13af7f266);
12 months ago, by wenzelm
merged
12 months ago, by wenzelm
more operations: record overall exported entities;
12 months ago, by wenzelm
merged
12 months ago, by desharna
merged
12 months ago, by wenzelm
clarified export of formal entities: name space info is always present, but content depends on option "export_theory";
12 months ago, by wenzelm
proper name space "kind": this is a formal name, not comment;
12 months ago, by wenzelm
more uniform signatures in ML and Scala;
12 months ago, by wenzelm
tuned Mirabelle's output subdirectories
draft
12 months ago, by desharna
added dummy_fof prover to Sledgehammer
12 months ago, by desharna
fixed malconfigured option output_dir in mirabelle
12 months ago, by desharna
merged
12 months ago, by desharna
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip