Open Tasks
Open Tasks
Normal (6)
Normal (6)
- Nov 27 2021, 3:30 PM
Low (5)
Low (5)
Wishlist (4)
Wishlist (4)
Active Repositories
Active Repositories
Recent Activity
Recent Activity
Today
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;
Fabian Huch <huch@in.tum.de> committed rISABELLEcdc87eed26c7: allow specifying initial schedule;.
allow specifying initial schedule;
Fabian Huch <huch@in.tum.de> committed rISABELLE4359257218ce: clarify use of num_threads vs. max_cpus;.
clarify use of num_threads vs. max_cpus;
Fabian Huch <huch@in.tum.de> committed rISABELLEdc4a387a6f02: clarified host: pre-load max threads;.
clarified host: pre-load max threads;
Fabian Huch <huch@in.tum.de> committed rISABELLE26b571c90808: clarified: more operations;.
clarified: more operations;
Yesterday
Yesterday
desharna committed rAFP15aad96054f8: Remove stuff following Isabelle/d0205dde00bb and related changesets.
Remove stuff following Isabelle/d0205dde00bb and related changesets
desharna committed rAFP290c21126e86: fixed broken definitions and proofs following Isabelle/8d153846f65f.
fixed broken definitions and proofs following Isabelle/8d153846f65f
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.
Sun, Mar 17
Sun, Mar 17
desharna committed rISABELLE8d153846f65f: added alias wfp for wfP.
added alias wfp for wfP
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…
Fabian Huch <huch@in.tum.de> committed rISABELLE1966578feff8: start scheduled jobs earlier, if possible;.
start scheduled jobs earlier, if possible;
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…
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…
Sat, Mar 16
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);
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);
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);
Fabian Huch <huch@in.tum.de> committed rISABELLE82bddaf3bd33: proper median/mean time;.
proper median/mean time;
Fabian Huch <huch@in.tum.de> committed rISABELLEfe96a842f065: remove schedule outdated limit: delay is sufficient;.
remove schedule outdated limit: delay is sufficient;
Fabian Huch <huch@in.tum.de> committed rISABELLEcb06884f1040: tuned whitespace;.
tuned whitespace;
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…
Fabian Huch <huch@in.tum.de> committed rISABELLEc50c15bd304b: remove old build before generating schedule;.
remove old build before generating schedule;
Fri, Mar 15
Fri, Mar 15
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…
Simon Wimmer <wimmers@in.tum.de> committed rISABELLE0d5c41ea208a: sketch & explore: reduce unnecessary type constraints.
sketch & explore: reduce unnecessary type constraints
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
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`…
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…
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…
Thu, Mar 14
Thu, Mar 14
Fabian Huch <huch@in.tum.de> committed rISABELLE2c9c5ae99a09: proper IPC for scheduled builds, following 7ae25372ab04;.
proper IPC for scheduled builds, following 7ae25372ab04;
Fabian Huch <huch@in.tum.de> committed rISABELLE4ec26ed6f481: proper check (amending 9aef1d1535ff);.
proper check (amending 9aef1d1535ff);
Fabian Huch <huch@in.tum.de> committed rISABELLE3acbfeec4a95: more synced options (following 6e5397fcc41b);.
more synced options (following 6e5397fcc41b);
florian.haftmann committed rISABELLE7ea70796acaa: avoid [no_atp] declations shadowing propositions from sledgehammer.
avoid [no_atp] declations shadowing propositions from sledgehammer