testboard: Graph

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

provide bash_process server for Isabelle/ML and other external programs;
9 months ago, by wenzelm
clarified signature;
9 months ago, by wenzelm
clarified signature;
9 months ago, by wenzelm
proper prover_options for batch-build;
9 months ago, by wenzelm
clarified signature;
9 months ago, by wenzelm
clarified signature: more options for bash_process;
9 months ago, by wenzelm
tuned signature;
9 months ago, by wenzelm
clarified signature;
9 months ago, by wenzelm
clarified signature;
9 months ago, by wenzelm
follow phabricator 2021 Week 26;
9 months ago, by wenzelm
tuned signature;
9 months ago, by wenzelm
tuned;
9 months ago, by wenzelm
clarified signature;
9 months ago, by wenzelm
clarified signature;
9 months ago, by wenzelm
unused;
9 months ago, by wenzelm
clarified signature;
9 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
9 months ago, by blanchet
merged
9 months ago, by wenzelm
clarified modules;
9 months ago, by wenzelm
type classes for XML data representation;
9 months ago, by wenzelm
tuned signature;
9 months ago, by wenzelm
clarified types: prefer Isabelle byte strings;
9 months ago, by wenzelm
merged
9 months ago, by desharna
more operations: dest binders;
9 months ago, by wenzelm
fixed $ite syntax in TPTP THX generation draft
9 months ago, by desharna
added option labels to Mirabelle actions
9 months ago, by desharna
clarified abstract and concrete boolean algebras
9 months ago, by haftmann
antiquotation for bundles
9 months ago, by haftmann
prefer persistent hash code for cachable items (see also 72b13af7f266);
9 months ago, by wenzelm
merged
9 months ago, by wenzelm
more operations: record overall exported entities;
9 months ago, by wenzelm
merged
9 months ago, by desharna
merged
9 months ago, by wenzelm
clarified export of formal entities: name space info is always present, but content depends on option "export_theory";
9 months ago, by wenzelm
proper name space "kind": this is a formal name, not comment;
9 months ago, by wenzelm
more uniform signatures in ML and Scala;
9 months ago, by wenzelm
tuned Mirabelle's output subdirectories draft
9 months ago, by desharna
added dummy_fof prover to Sledgehammer
9 months ago, by desharna
fixed malconfigured option output_dir in mirabelle
9 months ago, by desharna
merged
9 months ago, by desharna
simplified hierarchy of type classes for bit operations
9 months ago, by haftmann
obsolete
9 months ago, by haftmann
more operations, notably free and bound variables as in Isabelle/Pure;
9 months ago, by wenzelm
tuned Mirabelle's output subdirectories draft
9 months ago, by desharna
added dummy_fof prover to Sledgehammer draft
9 months ago, by desharna
fixed malconfigured option output_dir in mirabelle draft
9 months ago, by desharna
fixed typo
9 months ago, by desharna
added dummy_thf prover to Sledgehammer
9 months ago, by desharna
more operations on types and terms;
9 months ago, by wenzelm
clarified jEdit java sources;
9 months ago, by wenzelm
clarified build.gradle: "compile" stopped working in gradle 6.x / 7.x for unknown reasons;
9 months ago, by wenzelm
removed junk;
9 months ago, by wenzelm
moved theory Bit_Operations into Main corpus
9 months ago, by haftmann
more operations;
9 months ago, by wenzelm
clarified signature;
9 months ago, by wenzelm
clarified signature;
9 months ago, by wenzelm
organize syntax for word operations in bundles
9 months ago, by haftmann
support for Lazy.Text;
9 months ago, by wenzelm
prefer compact Isabelle.Bytes;
9 months ago, by wenzelm
clarified signature;
9 months ago, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 tip

testboard