nipkow committed rAFP7bd41cfb12ad: merged.

makarius committed rISABELLE7b93dc3f2b34: tuned;.

florian.haftmann committed rISABELLEafe3c8ae1624: consolidation of rules for bit operations.

florian.haftmann committed rAFP897dc683c2ec: consolidation of rules for bit operations.

nipkow committed rAFPdd34e0937e25: tuned name.

desharna committed rISABELLE304f22435bc7: fixed $ite syntax in TPTP TFX generation.

makarius committed rISABELLE3f371ba2b4fc: more Haskell operations;.

makarius committed rISABELLEb5eba4717648: merged.

makarius added a reverting change for rISABELLE0faa68dedce5: consolidate_body more thoroughly, e.g. for reduced ML_Heap.obj_size;: rISABELLEc6bce3633c53: revert 0faa68dedce5: very slow;.

makarius committed rISABELLEc6bce3633c53: revert 0faa68dedce5: very slow;.

makarius committed rISABELLE1cb0ad6f9a2d: tuned;.

Thomas Bauereiss <thomas@bauereiss.name> committed rAFP6feef30fcece: Fix typo.

Thomas Bauereiss <thomas@bauereiss.name> committed rAFPb31669de2911: Tune references.

Thomas Bauereiss <thomas@bauereiss.name> committed rAFP717cfc6afe61: Remove redundant license.

lukasstevens committed rISABELLE8e2355ddce1b: add/rename some theorems about Map(pings).

makarius committed rAFP1ac7f6375fda: more realistic timeout: approx. 5min CPU time;.

makarius committed rISABELLEecf80e37ed1a: support configuration options "show_results";.

makarius committed rISABELLE0faa68dedce5: consolidate_body more thoroughly, e.g. for reduced ML_Heap.obj_size;.

nipkow committed rAFP5f1b030dfbb8: cleaning up.

nipkow committed rAFP398749a3e273: New entry CoSMeDis.

nipkow committed rAFPe6b510d24af4: New entry CoSMed.

nipkow committed rAFP145cd3dec7a3: New entry: BD_Security_Compositional.

nipkow committed rAFP91b1c09c8f85: New entry: CoCon.

nipkow committed rAFP1e5afc21efae: updated to devel.

nipkow committed rAFP7ca6a77befba: merge from AFP 2021.

nipkow committed rAFPdec422b384e4: New entry Fresh_Identifiers.

nipkow committed rAFP5315e266f0f9: New entry: Relational_Forests.

nipkow committed rAFPe18a11ed5f49: cleaning up.

nipkow committed rAFPaea7c129bfe6: merged.

nipkow committed rAFP64560b22b6c9: cleaning up.

Thomas Bauereiss <thomas@bauereiss.name> committed rAFP43e8d0e799d7: Update Bounded_Deducibility_Security.

desharna committed rISABELLE62b0577123a5: merged.

desharna committed rISABELLE46f66e821f5c: fixed $ite syntax in TPTP THX generation.

makarius committed rAFPc7318a9475e5: tuned signature, following Isabelle/069f6b2c5a07;.

makarius committed rISABELLE069f6b2c5a07: tuned signature;.

makarius committed rISABELLEc3b3517ef4ba: more scalable data structures;.

makarius committed rISABELLEde12016ffefb: more scalable data structures;.

makarius committed rISABELLE9e73600ec75d: more scalable data structures;.

makarius committed rISABELLEa97d5356f1d9: proper position information for Context.theory_data_size;.

Andreas Lochbihler <mail@andreas-lochbihler.de> committed rAFP34754976c5bf: metadata update for MFMC_Countable.

Andreas Lochbihler <mail@andreas-lochbihler.de> committed rAFP3c85bb52bbe6: derive rel_pmf characterization from bounded and unbounded MFMC theorem.

Andreas Lochbihler <mail@andreas-lochbihler.de> committed rAFPe43bebc4bcb3: drop boundedness requirement for the sink.

Andreas Lochbihler <mail@andreas-lochbihler.de> committed rAFPce3d74fa5ddf: merged.

makarius committed rAFPa471fb8c85c4: avoid global tmp file: pointless due to implicit theory export;.

florian.haftmann committed rAFPd8cd1583a4f6: repaired syntax.

makarius committed rISABELLEd030b988d470: provide bash_process server for Isabelle/ML and other external programs;.

makarius committed rISABELLEdd1639961016: clarified signature;.

makarius committed rISABELLE608f8ae89cac: clarified signature;.

makarius committed rISABELLEf9f6a31cc99c: proper prover_options for batch-build;.

makarius committed rISABELLE8d20b1cf0d5d: clarified signature;.

makarius committed rAFP7924e625acd8: tuned signature, following Isabelle/d030b988d470;.

dcjm committed rPOLYMLabc301a646a2: Add profile data when constructing tuples. Also used for closures in native… (authored by dcjm).

dcjm committed rPOLYMLf5adcb2f18fb: Merge branch 'master' into LiveDataProfiling (authored by dcjm).

dcjm committed rPOLYML688c4f43db10: Move the switch for live allocation profiling into the top level of the code… (authored by dcjm).

dcjm committed rPOLYMLa31dc77d217c: Allocate the profiling object for a function at the top level of the code… (authored by dcjm).

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPbd6c4c7c76ec: generalized gt_rat_sign_change to square-free polynomials.

dcjm committed rPOLYML5878b95a2fd1: Merge branch 'master' of https://github.com/polyml/polyml (authored by dcjm).

dcjm committed rPOLYML15f241698314: Treat closures as word data when generating live-data profile. This deals with… (authored by dcjm).

GitHub <noreply@github.com> committed rPOLYML277f0dd4af8a: Merge pull request #159 from jamesjer/master (authored by dcjm).

Jerry James <loganjerry@gmail.com> committed rPOLYML3e27444bea77: Adapt to nonconstant PTHREAD_STACK_MIN in glibc 2.34+ (authored by Jerry James <loganjerry@gmail.com>).

Walter Guttmann <walter.guttmann@canterbury.ac.nz> committed rAFPf9d3e8ed8c17: minor updates to bibliography.

dcjm committed rPOLYML5e417b013b47: Merge branch 'pclayton-add-c-size-conversions' (authored by dcjm).

Phil Clayton <phil.clayton@veonix.com> committed rPOLYML6d1e35a697c6: Add FFI conversions for C size types (authored by Phil Clayton <phil.clayton@veonix.com>).

dcjm committed rPOLYML490eb7327dcf: Merge branch 'add-c-size-conversions' of https://github.com/pclayton/polyml… (authored by dcjm).

dcjm committed rPOLYMLcdccb12d70cf: Change Foreign.LowLevel.cTypeUint and cTypeULong to use CTypeUnsignedInt. This… (authored by dcjm).

makarius committed rAFPc3e0fa187981: clarified signature;.

makarius committed rISABELLE0f051404f487: clarified signature: more options for bash_process;.

makarius committed rISABELLEbba35ad317ab: tuned signature;.

makarius committed rISABELLE3314559ef095: clarified signature;.

makarius committed rISABELLE8a5e02ef975c: clarified signature;.

makarius committed rISABELLEcdac9e1f9bd1: follow phabricator 2021 Week 26;.

makarius committed rISABELLE49fd45ffd43f: tuned signature;.

makarius committed rISABELLE7bbac3eb8adf: tuned;.

makarius committed rISABELLE6a16f7a67193: clarified signature;.

makarius committed rISABELLEede8a01f063a: clarified signature;.

makarius committed rISABELLEb701251205d2: unused;.

makarius committed rISABELLE9f18eb2a8039: clarified signature;.

makarius committed rISABELLEe4575152b525: merged.

makarius committed rISABELLE54a108beed3e: clarified modules;.

makarius committed rISABELLEc3794f56a2e2: type classes for XML data representation;.

makarius committed rISABELLE17e84ae97562: tuned signature;.

makarius committed rISABELLE9e97833a0bf0: clarified types: prefer Isabelle byte strings;.

desharna committed rISABELLE94c27a7a0d39: added option labels to Mirabelle actions.

desharna committed rISABELLE5fc391938873: merged.

makarius committed rISABELLEd36e40f3c171: more operations: dest binders;.

florian.haftmann committed rAFP393bd86c18ea: antiquotation for bundles.

florian.haftmann committed rAFPd4adf5def3dd: clarified abstract and concrete boolean algebras.

florian.haftmann committed rISABELLE7c5842b06114: clarified abstract and concrete boolean algebras.

florian.haftmann committed rISABELLE7d3e818fe21f: antiquotation for bundles.

makarius committed rISABELLEbc03b0b82fe6: prefer persistent hash code for cachable items (see also 72b13af7f266);.

makarius committed rISABELLE21ddf56ac140: merged.

makarius committed rISABELLE342d0298e164: more operations: record overall exported entities;.

desharna committed rISABELLE5cd8b5cd0451: fixed malconfigured option output_dir in mirabelle.

desharna committed rISABELLE30ab39ab4117: added dummy_fof prover to Sledgehammer.

desharna committed rISABELLE49884e54f13a: merged.

makarius committed rISABELLE8752420f3377: merged.

makarius committed rISABELLE700e5bd59c7d: clarified export of formal entities: name space info is always present, but….

makarius committed rISABELLE228adc502803: proper name space "kind": this is a formal name, not comment;.

makarius committed rISABELLEd0527bb2e590: more uniform signatures in ML and Scala;.

desharna committed rISABELLE58e208ad4bcf: merged.