| Author | Object | Transaction | Date |
|---|
| makarius | rAFPc7318a9475e5: tuned signature, following Isabelle/069f6b2c5a07; | | Aug 16 2021, 12:41 PM |
| makarius | rISABELLE069f6b2c5a07: tuned signature; | | Aug 16 2021, 11:49 AM |
| makarius | rISABELLEc3b3517ef4ba: more scalable data structures; | | Aug 16 2021, 11:24 AM |
| makarius | rISABELLEde12016ffefb: more scalable data structures; | | Aug 16 2021, 11:22 AM |
| makarius | rISABELLE9e73600ec75d: more scalable data structures; | | Aug 16 2021, 11:21 AM |
| makarius | rISABELLEa97d5356f1d9: proper position information for Context.theory_data_size; | | Aug 15 2021, 3:26 PM |
| Andreas Lochbihler <mail@andreas-lochbihler.de> | rAFP34754976c5bf: metadata update for MFMC_Countable | | Aug 13 2021, 3:52 PM |
| Andreas Lochbihler <mail@andreas-lochbihler.de> | rAFP3c85bb52bbe6: derive rel_pmf characterization from bounded and unbounded MFMC theorem | | Aug 13 2021, 3:50 PM |
| Andreas Lochbihler <mail@andreas-lochbihler.de> | rAFPce3d74fa5ddf: merged | | Aug 13 2021, 1:42 PM |
| Andreas Lochbihler <mail@andreas-lochbihler.de> | rAFPe43bebc4bcb3: drop boundedness requirement for the sink | | Aug 13 2021, 1:42 PM |
| makarius | rAFPa471fb8c85c4: avoid global tmp file: pointless due to implicit theory export; | | Aug 12 2021, 8:59 PM |
| Thomas Bauereiss <thomas@bauereiss.name> | rAFP43e8d0e799d7: Update Bounded_Deducibility_Security | | Aug 12 2021, 6:53 PM |
| florian.haftmann | rAFPd8cd1583a4f6: repaired syntax | | Aug 12 2021, 4:18 PM |
| makarius | rAFP7924e625acd8: tuned signature, following Isabelle/d030b988d470; | | Aug 12 2021, 2:57 PM |
| makarius | rISABELLEd030b988d470: provide bash_process server for Isabelle/ML and other external programs; | | Aug 12 2021, 2:18 PM |
| makarius | rISABELLEdd1639961016: clarified signature; | | Aug 12 2021, 1:55 PM |
| makarius | rISABELLE608f8ae89cac: clarified signature; | | Aug 12 2021, 1:19 PM |
| makarius | rISABELLEf9f6a31cc99c: proper prover_options for batch-build; | | Aug 12 2021, 1:14 PM |
| makarius | rISABELLE8d20b1cf0d5d: clarified signature; | | Aug 12 2021, 1:13 PM |
| Rene Thiemann <rene.thiemann@uibk.ac.at> | rAFPbd6c4c7c76ec: generalized gt_rat_sign_change to square-free polynomials | | Aug 12 2021, 8:50 AM |
| dcjm | rPOLYMLabc301a646a2: Add profile data when constructing tuples. Also used for closures in native… | | Aug 11 2021, 6:19 PM |
| dcjm | rPOLYMLf5adcb2f18fb: Merge branch 'master' into LiveDataProfiling | | Aug 11 2021, 1:48 PM |
| dcjm | rPOLYML5878b95a2fd1: Merge branch 'master' of https://github.com/polyml/polyml | | Aug 11 2021, 1:47 PM |
| GitHub <noreply@github.com> | rPOLYML277f0dd4af8a: Merge pull request #159 from jamesjer/master | | Aug 11 2021, 1:43 PM |
| Walter Guttmann <walter.guttmann@canterbury.ac.nz> | rAFPf9d3e8ed8c17: minor updates to bibliography | | Aug 10 2021, 3:46 AM |
| Jerry James <loganjerry@gmail.com> | rPOLYML3e27444bea77: Adapt to nonconstant PTHREAD_STACK_MIN in glibc 2.34+ | | Aug 9 2021, 11:37 PM |
| dcjm | rPOLYML688c4f43db10: Move the switch for live allocation profiling into the top level of the code… | | Aug 9 2021, 5:29 PM |
| dcjm | rPOLYMLa31dc77d217c: Allocate the profiling object for a function at the top level of the code… | | Aug 9 2021, 4:37 PM |
| dcjm | rPOLYML15f241698314: Treat closures as word data when generating live-data profile. This deals with… | | Aug 9 2021, 3:57 PM |
| dcjm | rPOLYML5e417b013b47: Merge branch 'pclayton-add-c-size-conversions' | | Aug 8 2021, 6:33 PM |
| dcjm | rPOLYML490eb7327dcf: Merge branch 'add-c-size-conversions' of https://github.com/pclayton/polyml… | | Aug 8 2021, 6:32 PM |
| dcjm | rPOLYMLcdccb12d70cf: Change Foreign.LowLevel.cTypeUint and cTypeULong to use CTypeUnsignedInt. This… | | Aug 8 2021, 5:48 PM |
| nipkow | rAFP5315e266f0f9: New entry: Relational_Forests | | Aug 8 2021, 10:55 AM |
| makarius | rAFPc3e0fa187981: clarified signature; | | Aug 7 2021, 10:32 PM |
| makarius | rISABELLE0f051404f487: clarified signature: more options for bash_process; | | Aug 7 2021, 10:23 PM |
| makarius | rISABELLEbba35ad317ab: tuned signature; | | Aug 7 2021, 9:25 PM |
| makarius | rISABELLE8a5e02ef975c: clarified signature; | | Aug 7 2021, 7:58 PM |
| makarius | rISABELLE3314559ef095: clarified signature; | | Aug 7 2021, 7:29 PM |
| makarius | rISABELLEcdac9e1f9bd1: follow phabricator 2021 Week 26; | | Aug 7 2021, 3:20 PM |
| makarius | rISABELLE49fd45ffd43f: tuned signature; | | Aug 6 2021, 11:12 PM |
| makarius | rISABELLE7bbac3eb8adf: tuned; | | Aug 6 2021, 9:05 PM |
| makarius | rISABELLE6a16f7a67193: clarified signature; | | Aug 6 2021, 8:41 PM |
| makarius | rISABELLEede8a01f063a: clarified signature; | | Aug 6 2021, 8:33 PM |
| makarius | rISABELLEb701251205d2: unused; | | Aug 6 2021, 2:12 PM |
| makarius | rISABELLE9f18eb2a8039: clarified signature; | | Aug 6 2021, 1:18 PM |
| makarius | rISABELLEe4575152b525: merged | | Aug 5 2021, 8:57 PM |
| makarius | rISABELLE54a108beed3e: clarified modules; | | Aug 5 2021, 8:57 PM |
| desharna | rISABELLE5fc391938873: merged | | Aug 5 2021, 8:27 PM |
| makarius | rISABELLEc3794f56a2e2: type classes for XML data representation; | | Aug 5 2021, 8:24 PM |
| makarius | rISABELLE17e84ae97562: tuned signature; | | Aug 5 2021, 6:53 PM |
| makarius | rISABELLE9e97833a0bf0: clarified types: prefer Isabelle byte strings; | | Aug 5 2021, 6:40 PM |
| desharna | rISABELLE94c27a7a0d39: added option labels to Mirabelle actions | | Aug 5 2021, 1:44 PM |
| makarius | rISABELLEd36e40f3c171: more operations: dest binders; | | Aug 5 2021, 12:56 PM |
| florian.haftmann | rAFPd4adf5def3dd: clarified abstract and concrete boolean algebras | | Aug 5 2021, 9:12 AM |
| florian.haftmann | rAFP393bd86c18ea: antiquotation for bundles | | Aug 5 2021, 9:12 AM |
| florian.haftmann | rISABELLE7d3e818fe21f: antiquotation for bundles | | Aug 5 2021, 9:12 AM |
| florian.haftmann | rISABELLE7c5842b06114: clarified abstract and concrete boolean algebras | | Aug 5 2021, 9:12 AM |
| makarius | rISABELLE72b13af7f266: persistent hash code: much faster caching; | | Aug 4 2021, 10:43 PM |
| makarius | rISABELLEbc03b0b82fe6: prefer persistent hash code for cachable items (see also 72b13af7f266); | | Aug 4 2021, 10:43 PM |
| makarius | rISABELLEbc03b0b82fe6: prefer persistent hash code for cachable items (see also 72b13af7f266); | | Aug 4 2021, 10:20 PM |
| makarius | rISABELLE21ddf56ac140: merged | | Aug 4 2021, 9:49 PM |
| desharna | rISABELLE49884e54f13a: merged | | Aug 4 2021, 9:48 PM |
| makarius | rISABELLE342d0298e164: more operations: record overall exported entities; | | Aug 4 2021, 9:03 PM |
| makarius | rISABELLE8752420f3377: merged | | Aug 4 2021, 9:00 PM |
| makarius | rISABELLE700e5bd59c7d: clarified export of formal entities: name space info is always present, but… | | Aug 4 2021, 7:41 PM |
| desharna | rISABELLE58e208ad4bcf: merged | | Aug 4 2021, 8:27 AM |
| desharna | rISABELLE30ab39ab4117: added dummy_fof prover to Sledgehammer | | Aug 4 2021, 8:23 AM |
| florian.haftmann | rAFP13152a0c7b0c: simplified hierarchy of type classes for bit operations | | Aug 3 2021, 3:53 PM |
| florian.haftmann | rISABELLE2ab5dacdb1f6: obsolete | | Aug 3 2021, 3:53 PM |
| florian.haftmann | rISABELLE3146646a43a7: simplified hierarchy of type classes for bit operations | | Aug 3 2021, 3:53 PM |
| makarius | rISABELLE228adc502803: proper name space "kind": this is a formal name, not comment; | | Aug 3 2021, 1:40 PM |
| makarius | rISABELLEd0527bb2e590: more uniform signatures in ML and Scala; | | Aug 3 2021, 1:08 PM |
| makarius | rISABELLE4984fad0e91d: more operations, notably free and bound variables as in Isabelle/Pure; | | Aug 3 2021, 12:39 PM |
| desharna | rISABELLE5cd8b5cd0451: fixed malconfigured option output_dir in mirabelle | | Aug 3 2021, 10:33 AM |
| desharna | rISABELLE6c7feeef0ff2: fixed typo | | Aug 3 2021, 10:14 AM |
| desharna | rISABELLEed1f576df9c4: added dummy_thf prover to Sledgehammer | | Aug 3 2021, 9:22 AM |
| makarius | rISABELLEd3d6e01a6b00: more operations on types and terms; | | Aug 2 2021, 5:20 PM |
| florian.haftmann | rAFPda7fd1ac6b66: restored executable conversions | | Aug 2 2021, 5:15 PM |
| florian.haftmann | rAFP7f4f3900fd58: dropped junk | | Aug 2 2021, 5:15 PM |
| makarius | rISABELLEfa92c5f8af86: clarified jEdit java sources; | | Aug 2 2021, 2:08 PM |
| makarius | rISABELLE3b56d00ac333: clarified build.gradle: "compile" stopped working in gradle 6.x / 7.x for… | | Aug 2 2021, 1:50 PM |
| makarius | rISABELLE0572c733d12d: removed junk; | | Aug 2 2021, 1:30 PM |
| florian.haftmann | rAFPc341fdde0cba: moved theory Bit_Operations into Main corpus | | Aug 2 2021, 12:01 PM |
| florian.haftmann | rISABELLEd804e93ae9ff: moved theory Bit_Operations into Main corpus | | Aug 2 2021, 12:01 PM |
| makarius | rISABELLEfb9c119e5b49: more operations; | | Aug 1 2021, 11:18 PM |
| makarius | rISABELLE0bda15b1b937: clarified signature; | | Aug 1 2021, 6:12 PM |
| makarius | rISABELLE5aaccec7c1a1: clarified signature; | | Aug 1 2021, 4:12 PM |
| florian.haftmann | rAFPfc03e8f2954c: organize syntax for word operations in bundles | | Aug 1 2021, 12:20 PM |
| florian.haftmann | rISABELLE6d7be1227d02: organize syntax for word operations in bundles | | Aug 1 2021, 12:20 PM |
| makarius | rISABELLEcb64ccdc3ac1: support for Lazy.Text; | | Jul 31 2021, 11:15 PM |
| makarius | rISABELLEcc23b4e66dce: prefer compact Isabelle.Bytes; | | Jul 31 2021, 10:03 PM |
| florian.haftmann | rAFP82cfa5e04c85: more systematic approach for instantiation | | Jul 31 2021, 5:51 PM |
| florian.haftmann | rAFPf5bee47345aa: avoid seemingly unused transfer rules | | Jul 31 2021, 5:51 PM |
| makarius | rISABELLE6113f1db4342: clarified signature; | | Jul 31 2021, 3:44 PM |
| makarius | rISABELLEdc962d4248ca: clarified signature --- more operations; | | Jul 31 2021, 12:48 PM |
| makarius | rISABELLE1d26f1a49480: tuned; | | Jul 31 2021, 12:24 PM |
| makarius | rISABELLE5721f1843e93: clarified order of modules; | | Jul 31 2021, 12:23 PM |
| makarius | rISABELLEc26f4ec59835: more operations; | | Jul 31 2021, 12:14 PM |
| makarius | rISABELLEbe6b813926d1: tuned; | | Jul 31 2021, 11:40 AM |
| makarius | rISABELLE6d8674ffb962: clarified signature; | | Jul 30 2021, 11:00 PM |