Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-240
+240
+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.
localized command 'syntax' and 'no_syntax';
2021-09-20, by wenzelm
tuned;
2021-09-20, by wenzelm
clarified signature;
2021-09-20, by wenzelm
clarified signature;
2021-09-20, by wenzelm
merged
2021-09-20, by desharna
proper constants in TPTP $let binding
2021-09-20, by desharna
more operations from Isabelle/ML;
2021-09-20, by wenzelm
merged
2021-09-20, by wenzelm
tuned proofs --- eliminated 'guess';
2021-09-20, by wenzelm
tuned proofs;
2021-09-20, by wenzelm
clarified antiquotations;
2021-09-20, by wenzelm
proper firstorderization in Sledgehammer
2021-09-20, by desharna
clarified signature;
2021-09-19, by wenzelm
clarified antiquotations;
2021-09-19, by wenzelm
clarified signature -- prefer antiquotations (with subtle change of exception content);
2021-09-19, by wenzelm
more control symbols;
2021-09-19, by wenzelm
support ML antiquotations with fn abstraction;
2021-09-19, by wenzelm
unused;
2021-09-19, by wenzelm
clarified operations: follow Isabelle/ML more closely;
2021-09-16, by wenzelm
provide current vampire-4.5.1: presently unused in Sledgehammer, but relevant for Isabelle/Naproche;
2021-09-15, by wenzelm
obsolete;
2021-09-15, by wenzelm
tuned;
2021-09-15, by wenzelm
clarified name and options for old vampire-4.2.2;
2021-09-15, by wenzelm
clarified signature;
2021-09-13, by wenzelm
explicit predicate for confined bit range avoids cyclic rewriting in presence of extensionality rule for bit values (contributed by Thomas Sewell)
2021-09-13, by haftmann
more latex macros;
2021-09-13, by wenzelm
tuned;
2021-09-13, by wenzelm
clarified signature;
2021-09-13, by wenzelm
more antiquotations;
2021-09-12, by wenzelm
more antiquotations;
2021-09-12, by wenzelm
more antiquotations;
2021-09-12, by wenzelm
more antiquotations;
2021-09-12, by wenzelm
more antiquotations;
2021-09-12, by wenzelm
clarified antiquotations;
2021-09-12, by wenzelm
more antiquotations;
2021-09-12, by wenzelm
more antiquotations;
2021-09-12, by wenzelm
more antiquotations;
2021-09-11, by wenzelm
clarified antiquotation;
2021-09-11, by wenzelm
more antiquotations;
2021-09-11, by wenzelm
more antiquotations;
2021-09-11, by wenzelm
more antiquotations;
2021-09-11, by wenzelm
tuned;
2021-09-11, by wenzelm
ML antiquotations for type constructors and term constants;
2021-09-11, by wenzelm
more antiquotations;
2021-09-11, by wenzelm
tuned;
2021-09-10, by wenzelm
NEWS;
2021-09-10, by wenzelm
miscellaneous examples and experiments for Isabelle/Pure;
2021-09-10, by wenzelm
tuned comments;
2021-09-10, by wenzelm
unused;
2021-09-10, by wenzelm
clarified order of extra TFrees: underlying fast_string_ord coincides with Name.invent (e.g. from type inference);
2021-09-10, by wenzelm
NEWS;
2021-09-10, by wenzelm
clarified signature: more scalable operations;
2021-09-10, by wenzelm
more scalable operations;
2021-09-09, by wenzelm
more scalable operations;
2021-09-09, by wenzelm
clarified order of extra type variables, following names more often than occurrences;
2021-09-09, by wenzelm
clarified signature;
2021-09-09, by wenzelm
tuned;
2021-09-09, by wenzelm
more scalable operations;
2021-09-09, by wenzelm
omit obsolete field "xs": originally from fd0f8fa2b6bd, but later unused;
2021-09-09, by wenzelm
clarified signature;
2021-09-09, by wenzelm
more robust: client could have terminated already;
2021-09-09, by wenzelm
clarified signature;
2021-09-09, by wenzelm
clarified signature;
2021-09-09, by wenzelm
clarified modules;
2021-09-09, by wenzelm
clarified set of items with order of addition;
2021-09-09, by wenzelm
tuned message;
2021-09-09, by wenzelm
tuned whitespace;
2021-09-09, by wenzelm
clarified signature;
2021-09-09, by wenzelm
tuned;
2021-09-09, by wenzelm
simplified: uniqueness check happens in export_consumer;
2021-09-08, by wenzelm
more markup, e.g. to locate defining theory node in formal document output;
2021-09-07, by wenzelm
tuned signature;
2021-09-07, by wenzelm
export other entities, e.g. relevant for formal document output;
2021-09-07, by wenzelm
pointer_eq_ord: minor performance tuning;
2021-09-07, by wenzelm
more robust: progress.stopped means that build has failed;
2021-09-07, by wenzelm
more reactive interrupt;
2021-09-07, by wenzelm
more reactive interrupt;
2021-09-07, by wenzelm
more robust: retain length of results;
2021-09-07, by wenzelm
more reactive interrupt;
2021-09-07, by wenzelm
tuned signature;
2021-09-07, by wenzelm
tuned signature;
2021-09-07, by wenzelm
tuned signature;
2021-09-07, by wenzelm
tuned;
2021-09-07, by wenzelm
merged
2021-09-07, by wenzelm
clarified modules;
2021-09-06, by wenzelm
more scalable operations;
2021-09-06, by wenzelm
more scalable operations;
2021-09-06, by wenzelm
tuned;
2021-09-06, by wenzelm
clarified modules;
2021-09-06, by wenzelm
clarified signature;
2021-09-06, by wenzelm
more scalable operations;
2021-09-06, by wenzelm
unused;
2021-09-06, by wenzelm
more efficient operations: traverse hyps only when required;
2021-09-06, by wenzelm
more robust signature: result has no particular order;
2021-09-05, by wenzelm
more scalable operations;
2021-09-05, by wenzelm
unused;
2021-09-05, by wenzelm
more scalable operations;
2021-09-05, by wenzelm
clarified;
2021-09-04, by wenzelm
tuned signature;
2021-09-04, by wenzelm
clarified signature;
2021-09-04, by wenzelm
more scalable operations;
2021-09-04, by wenzelm
clarified signature;
2021-09-04, by wenzelm
tuned signature;
2021-09-04, by wenzelm
more scalable operations;
2021-09-04, by wenzelm
more scalable operations;
2021-09-04, by wenzelm
more scalable operations;
2021-09-04, by wenzelm
more scalable operations;
2021-09-04, by wenzelm
white space
2021-09-04, by paulson
merged
2021-09-03, by paulson
some fixes connected with card_Diff_singleton
2021-09-03, by paulson
strengthened a few lemmas about finite sets and added a code equation for complex_of_real
2021-09-03, by paulson
tuned;
2021-09-03, by wenzelm
proper inst table;
2021-09-03, by wenzelm
more scalable data structure (but: rarely used many arguments);
2021-09-03, by wenzelm
minor performance tuning: fewer allocations;
2021-09-03, by wenzelm
tuned;
2021-08-31, by wenzelm
more Isabelle/Haskell operations;
2021-08-30, by wenzelm
more Isabelle/Haskell operations;
2021-08-30, by wenzelm
avoid change of existing file, notably rebuild via ghc_stack;
2021-08-30, by wenzelm
tuned signature;
2021-08-30, by wenzelm
more Isabelle/Haskell operations;
2021-08-29, by wenzelm
clarified process description;
2021-08-29, by wenzelm
more Isabelle/Haskell operations;
2021-08-28, by wenzelm
clarified signature;
2021-08-28, by wenzelm
more Isabelle/Haskell;
2021-08-27, by wenzelm
made sure lambda-lifting works well with native let binders in Sledgehammer
2021-08-27, by blanchet
handle Zipperposition's ResourceOut gracefully
2021-08-27, by blanchet
disabled 'ite' in Zipperposition until we upgrade to a version of Zip that supports it and we generate the proper syntax
2021-08-27, by blanchet
proper test for type constructor;
2021-08-26, by wenzelm
more Isabelle/Haskell operations;
2021-08-26, by wenzelm
more Isabelle/Haskell operations;
2021-08-26, by wenzelm
merged
2021-08-26, by wenzelm
tuned;
2021-08-26, by wenzelm
more scalable data structure (but: rarely used with > 5 arguments);
2021-08-26, by wenzelm
Backed out changeset d4af818e0880
2021-08-26, by Kevin Kappelmann
merged
2021-08-25, by wenzelm
more Isabelle/Haskell operations;
2021-08-25, by wenzelm
more Isabelle/Haskell operations;
2021-08-25, by wenzelm
tuned;
2021-08-25, by wenzelm
more Isabelle/Haskell operations;
2021-08-25, by wenzelm
reflect moved theories
2021-08-25, by nipkow
unhide canonical function def examples
2021-08-25, by nipkow
merged
2021-08-25, by nipkow
merged
2021-08-18, by nipkow
Backed out changeset fe8d0f4da0e6
2021-07-09, by nipkow
more Isabelle/Haskell operations;
2021-08-25, by wenzelm
more Isabelle/Haskell operations;
2021-08-24, by wenzelm
more Isabelle/Haskell operations;
2021-08-24, by wenzelm
more Isabelle/Haskell operations;
2021-08-24, by wenzelm
clarified signature;
2021-08-24, by wenzelm
clarified signature;
2021-08-24, by wenzelm
minor performance tuning;
2021-08-24, by wenzelm
tuned;
2021-08-24, by wenzelm
tuned;
2021-08-24, by wenzelm
tuned signature;
2021-08-24, by wenzelm
tuned comments;
2021-08-24, by wenzelm
treat Symbol.eof as in ML (but: presently unused);
2021-08-23, by wenzelm
tuned;
2021-08-23, by wenzelm
minor performance tuning;
2021-08-23, by wenzelm
clarified signature;
2021-08-23, by wenzelm
proper Isabelle symbol positions;
2021-08-23, by wenzelm
more Haskell operations;
2021-08-23, by wenzelm
clarified signature;
2021-08-23, by wenzelm
tuned;
2021-08-23, by wenzelm
tuned;
2021-08-23, by wenzelm
tuned signature: prefer existing Haskell operations;
2021-08-22, by wenzelm
more Haskell operations;
2021-08-22, by wenzelm
tuned signature;
2021-08-22, by wenzelm
tuned comments;
2021-08-22, by wenzelm
tuned;
2021-08-22, by wenzelm
consolidation of rules for bit operations
2021-08-21, by haftmann
fixed $ite syntax in TPTP TFX generation
2021-08-20, by desharna
more Haskell operations;
2021-08-19, by wenzelm
merged
2021-08-19, by wenzelm
revert 0faa68dedce5: very slow;
2021-08-19, by wenzelm
tuned;
2021-08-19, by wenzelm
add/rename some theorems about Map(pings)
2021-08-19, by Lukas Stevens
support configuration options "show_results";
2021-08-18, by wenzelm
consolidate_body more thoroughly, e.g. for reduced ML_Heap.obj_size;
2021-08-18, by wenzelm
merged
2021-08-16, by desharna
fixed $ite syntax in TPTP THX generation
2021-08-16, by desharna
tuned signature;
2021-08-16, by wenzelm
more scalable data structures;
2021-08-16, by wenzelm
more scalable data structures;
2021-08-16, by wenzelm
more scalable data structures;
2021-08-16, by wenzelm
proper position information for Context.theory_data_size;
2021-08-15, by wenzelm
provide bash_process server for Isabelle/ML and other external programs;
2021-08-12, by wenzelm
clarified signature;
2021-08-12, by wenzelm
clarified signature;
2021-08-12, by wenzelm
proper prover_options for batch-build;
2021-08-12, by wenzelm
clarified signature;
2021-08-12, by wenzelm
clarified signature: more options for bash_process;
2021-08-07, by wenzelm
tuned signature;
2021-08-07, by wenzelm
clarified signature;
2021-08-07, by wenzelm
clarified signature;
2021-08-07, by wenzelm
follow phabricator 2021 Week 26;
2021-08-07, by wenzelm
tuned signature;
2021-08-06, by wenzelm
tuned;
2021-08-06, by wenzelm
clarified signature;
2021-08-06, by wenzelm
clarified signature;
2021-08-06, by wenzelm
unused;
2021-08-06, by wenzelm
clarified signature;
2021-08-06, by wenzelm
merged
2021-08-05, by wenzelm
clarified modules;
2021-08-05, by wenzelm
type classes for XML data representation;
2021-08-05, by wenzelm
tuned signature;
2021-08-05, by wenzelm
clarified types: prefer Isabelle byte strings;
2021-08-05, by wenzelm
merged
2021-08-05, by desharna
added option labels to Mirabelle actions
2021-08-05, by desharna
more operations: dest binders;
2021-08-05, by wenzelm
clarified abstract and concrete boolean algebras
2021-08-05, by haftmann
antiquotation for bundles
2021-08-05, by haftmann
prefer persistent hash code for cachable items (see also 72b13af7f266);
2021-08-04, by wenzelm
merged
2021-08-04, by wenzelm
more operations: record overall exported entities;
2021-08-04, by wenzelm
merged
2021-08-04, by desharna
added dummy_fof prover to Sledgehammer
2021-08-04, by desharna
fixed malconfigured option output_dir in mirabelle
2021-08-03, by desharna
merged
2021-08-04, by wenzelm
clarified export of formal entities: name space info is always present, but content depends on option "export_theory";
2021-08-04, by wenzelm
proper name space "kind": this is a formal name, not comment;
2021-08-03, by wenzelm
more uniform signatures in ML and Scala;
2021-08-03, by wenzelm
merged
2021-08-04, by desharna
fixed typo
2021-08-03, by desharna
added dummy_thf prover to Sledgehammer
2021-08-03, by desharna
simplified hierarchy of type classes for bit operations
2021-08-03, by haftmann
obsolete
2021-08-03, by haftmann
more operations, notably free and bound variables as in Isabelle/Pure;
2021-08-03, by wenzelm
more operations on types and terms;
2021-08-02, by wenzelm
clarified jEdit java sources;
2021-08-02, by wenzelm
clarified build.gradle: "compile" stopped working in gradle 6.x / 7.x for unknown reasons;
2021-08-02, by wenzelm
removed junk;
2021-08-02, by wenzelm
moved theory Bit_Operations into Main corpus
2021-08-02, by haftmann
more operations;
2021-08-01, by wenzelm
clarified signature;
2021-08-01, by wenzelm
clarified signature;
2021-08-01, by wenzelm
organize syntax for word operations in bundles
2021-08-01, by haftmann
support for Lazy.Text;
2021-07-31, by wenzelm
prefer compact Isabelle.Bytes;
2021-07-31, by wenzelm
clarified signature;
2021-07-31, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-240
+240
+1000
+3000
tip