Page MenuHomeIsabelle/Phabricator

Open Tasks

Normal (6)

Wishlist (4)

Active Repositories

Recent Activity

Today

Fabian Huch <huch@in.tum.de> committed rISABELLE08b83f91a1b2: disable taskset for now: performance impact is negative;.
disable taskset for now: performance impact is negative;
Tue, Mar 19, 12:44 AM
Fabian Huch <huch@in.tum.de> committed rISABELLEcdc87eed26c7: allow specifying initial schedule;.
allow specifying initial schedule;
Tue, Mar 19, 12:44 AM
Fabian Huch <huch@in.tum.de> committed rISABELLE4359257218ce: clarify use of num_threads vs. max_cpus;.
clarify use of num_threads vs. max_cpus;
Tue, Mar 19, 12:44 AM
Fabian Huch <huch@in.tum.de> committed rISABELLEdc4a387a6f02: clarified host: pre-load max threads;.
clarified host: pre-load max threads;
Tue, Mar 19, 12:44 AM
Fabian Huch <huch@in.tum.de> committed rISABELLE26b571c90808: clarified: more operations;.
clarified: more operations;
Tue, Mar 19, 12:44 AM

Yesterday

desharna committed rAFP15aad96054f8: Remove stuff following Isabelle/d0205dde00bb and related changesets.
Remove stuff following Isabelle/d0205dde00bb and related changesets
Mon, Mar 18, 4:10 PM
desharna committed rAFP290c21126e86: fixed broken definitions and proofs following Isabelle/8d153846f65f.
fixed broken definitions and proofs following Isabelle/8d153846f65f
Mon, Mar 18, 9:09 AM
Emin Karayel <me@eminkarayel.de> committed rAFPec670862e318: Universal_Hash_Families: Remove accidental duplication of pmf_of_set_prod_eq..
Universal_Hash_Families: Remove accidental duplication of pmf_of_set_prod_eq.
Mon, Mar 18, 8:24 AM

Sun, Mar 17

desharna committed rISABELLE8d153846f65f: added alias wfp for wfP.
added alias wfp for wfP
Sun, Mar 17, 11:09 PM
desharna committed rISABELLE6fc9c4344df4: merged.
merged
Sun, Mar 17, 7:31 PM
desharna committed rISABELLEcaa9dbffd712: added lemmas wf_on_antimono, wf_on_antimono_strong, wfp_on_antimono….
added lemmas wf_on_antimono, wf_on_antimono_strong, wfp_on_antimono…
Sun, Mar 17, 7:31 PM
Fabian Huch <huch@in.tum.de> committed rISABELLE1966578feff8: start scheduled jobs earlier, if possible;.
start scheduled jobs earlier, if possible;
Sun, Mar 17, 5:01 PM
desharna committed rISABELLE91b7695c92cf: tuned proofs.
tuned proofs
Sun, Mar 17, 2:29 PM
desharna committed rISABELLE65e0682cca63: added lemmas wfP_iff_ex_minimal, wf_iff_ex_minimal, wf_onE_pf, wf_onI_pf….
added lemmas wfP_iff_ex_minimal, wf_iff_ex_minimal, wf_onE_pf, wf_onI_pf…
Sun, Mar 17, 2:29 PM
desharna committed rISABELLE87a04ce7e3c3: merged.
merged
Sun, Mar 17, 7:46 AM
desharna committed rISABELLEd0205dde00bb: added definitions wf_on and wfp_on as restricted versions of wf and wfP….
added definitions wf_on and wfp_on as restricted versions of wf and wfP…
Sun, Mar 17, 7:46 AM

Sat, Mar 16

Fabian Huch <huch@in.tum.de> committed rISABELLEcfeb3a8f241d: read/write proper schedule date (amending 9da3019e1ee5);.
read/write proper schedule date (amending 9da3019e1ee5);
Sat, Mar 16, 9:42 PM
Fabian Huch <huch@in.tum.de> committed rISABELLE40d2f9ce29fc: allow read/write of schedule in build (read via option, write from tool);.
allow read/write of schedule in build (read via option, write from tool);
Sat, Mar 16, 6:23 PM
Fabian Huch <huch@in.tum.de> committed rISABELLE9da3019e1ee5: file representation for schedule (e.g., for generating from external tool);.
file representation for schedule (e.g., for generating from external tool);
Sat, Mar 16, 6:23 PM
Fabian Huch <huch@in.tum.de> committed rISABELLE82bddaf3bd33: proper median/mean time;.
proper median/mean time;
Sat, Mar 16, 3:03 PM
Fabian Huch <huch@in.tum.de> committed rISABELLEfe96a842f065: remove schedule outdated limit: delay is sufficient;.
remove schedule outdated limit: delay is sufficient;
Sat, Mar 16, 2:46 PM
Fabian Huch <huch@in.tum.de> committed rISABELLEcb06884f1040: tuned whitespace;.
tuned whitespace;
Sat, Mar 16, 11:48 AM
Fabian Huch <huch@in.tum.de> committed rISABELLEfbfa7d25749a: tie-breaking in schedule optimization to pick best schedule even when run-time….
tie-breaking in schedule optimization to pick best schedule even when run-time…
Sat, Mar 16, 11:48 AM
Fabian Huch <huch@in.tum.de> committed rISABELLE18969501a13e: tuned;.
tuned;
Sat, Mar 16, 11:48 AM
Fabian Huch <huch@in.tum.de> committed rISABELLEc50c15bd304b: remove old build before generating schedule;.
remove old build before generating schedule;
Sat, Mar 16, 11:48 AM
Fabian Huch <huch@in.tum.de> committed rISABELLE01652fac1039: unused;.
unused;
Sat, Mar 16, 11:48 AM

Fri, Mar 15

desharna committed rISABELLEe6f0a93e2edd: merged.
merged
Fri, Mar 15, 8:24 PM
desharna committed rISABELLE1f509d01c9e3: added lemmas antisymp_on_image, asymp_on_image, irreflp_on_image….
added lemmas antisymp_on_image, asymp_on_image, irreflp_on_image…
Fri, Mar 15, 8:24 PM
makarius committed rISABELLE1cfc913987d9: clarified names;.
clarified names;
Fri, Mar 15, 7:17 PM
Simon Wimmer <wimmers@in.tum.de> committed rISABELLE0d5c41ea208a: sketch & explore: reduce unnecessary type constraints.
sketch & explore: reduce unnecessary type constraints
Fri, Mar 15, 6:59 PM
Simon Wimmer <wimmers@in.tum.de> committed rISABELLEd3811cf07da6: sketch & explore: TODO comments are addressed in parent commits.
sketch & explore: TODO comments are addressed in parent commits
Fri, Mar 15, 6:59 PM
Simon Wimmer <wimmers@in.tum.de> committed rISABELLE54e9875e491f: sketch & explore: replace functionality of `sketch` by more useful `nxsketch`….
sketch & explore: replace functionality of `sketch` by more useful `nxsketch`…
Fri, Mar 15, 6:59 PM
Simon Wimmer <wimmers@in.tum.de> committed rISABELLE8f0ff2847ba8: sketch & explore: use Active.sendback_markup_command to preserve indentation of….
sketch & explore: use Active.sendback_markup_command to preserve indentation of…
Fri, Mar 15, 6:59 PM
Fabian Huch <huch@in.tum.de> committed rISABELLEc73a36081b1c: change benchmark session to FOLP-ex (faster and less mean squared error than ZF….
change benchmark session to FOLP-ex (faster and less mean squared error than ZF…
Fri, Mar 15, 6:00 PM

Thu, Mar 14

Fabian Huch <huch@in.tum.de> committed rISABELLEdb9a45e05b5b: unused;.
unused;
Thu, Mar 14, 6:10 PM
Fabian Huch <huch@in.tum.de> committed rISABELLE2c9c5ae99a09: proper IPC for scheduled builds, following 7ae25372ab04;.
proper IPC for scheduled builds, following 7ae25372ab04;
Thu, Mar 14, 5:32 PM
Fabian Huch <huch@in.tum.de> committed rISABELLE661fb7db57ca: tuned;.
tuned;
Thu, Mar 14, 5:32 PM
Fabian Huch <huch@in.tum.de> committed rISABELLE4ec26ed6f481: proper check (amending 9aef1d1535ff);.
proper check (amending 9aef1d1535ff);
Thu, Mar 14, 5:32 PM
Fabian Huch <huch@in.tum.de> committed rISABELLE3acbfeec4a95: more synced options (following 6e5397fcc41b);.
more synced options (following 6e5397fcc41b);
Thu, Mar 14, 5:32 PM
florian.haftmann committed rISABELLE7ea70796acaa: avoid [no_atp] declations shadowing propositions from sledgehammer.
avoid [no_atp] declations shadowing propositions from sledgehammer
Thu, Mar 14, 5:17 PM