Page MenuHomeIsabelle/Phabricator

Open Tasks

Low (6)

Wishlist (1)

Active Repositories

Recent Activity

Today

Walter Guttmann <walter.guttmann@canterbury.ac.nz> committed rAFP7b56a9ce5619: Relational_Disjoint_Set_Forests: updated metadata to reflect added theory.
Relational_Disjoint_Set_Forests: updated metadata to reflect added theory
Sat, Jun 19, 7:57 AM
Walter Guttmann <walter.guttmann@canterbury.ac.nz> committed rAFP98c7aa03457d: Relational_Disjoint_Set_Forests: add theory More_Disjoint_Set_Forests.
Relational_Disjoint_Set_Forests: add theory More_Disjoint_Set_Forests
Sat, Jun 19, 7:00 AM

Yesterday

makarius committed rISABELLE66bff50bc5f1: tuned --- following hints by IntelliJ;.
tuned --- following hints by IntelliJ;
Fri, Jun 18, 4:29 PM
makarius committed rISABELLE4e94ceabaaad: tuned signature;.
tuned signature;
Fri, Jun 18, 4:29 PM
makarius committed rISABELLE9594d8e33c57: tuned;.
tuned;
Fri, Jun 18, 2:25 PM
makarius committed rISABELLEac5a72740f3a: tuned;.
tuned;
Fri, Jun 18, 2:25 PM
makarius committed rISABELLE38fe15a42ff2: tuned signature;.
tuned signature;
Fri, Jun 18, 2:25 PM
makarius committed rISABELLEaa0b1fbe6be3: tuned;.
tuned;
Fri, Jun 18, 2:25 PM
makarius committed rISABELLEdfac078e5444: tuned signature (see 2d6a489adb01);.
tuned signature (see 2d6a489adb01);
Fri, Jun 18, 2:25 PM
desharna committed rISABELLEbc263f1f68cd: added support for TFX's and THF's $ite to Sledgehammer.
added support for TFX's and THF's $ite to Sledgehammer
Fri, Jun 18, 9:06 AM
desharna committed rISABELLE4538d6ffafbd: tuned Mirabelle documentation.
tuned Mirabelle documentation
Fri, Jun 18, 9:06 AM

Thu, Jun 17

desharna committed rISABELLEa88427e55371: shortened long lines.
shortened long lines
Thu, Jun 17, 10:46 AM
desharna committed rISABELLE07675be65227: fixed typos.
fixed typos
Thu, Jun 17, 10:44 AM
desharna committed rISABELLEc55980cf7374: updated Mirabelle documentation.
updated Mirabelle documentation
Thu, Jun 17, 10:39 AM
desharna committed rISABELLEeab5cd9c7862: changed Mirabelle's filter to use short theory names.
changed Mirabelle's filter to use short theory names
Thu, Jun 17, 10:39 AM
florian.haftmann committed rAFP06eb6c7d6c76: lemma grooming.
lemma grooming
Thu, Jun 17, 8:22 AM

Wed, Jun 16

florian.haftmann committed rISABELLE52b829b18066: more lemmas.
more lemmas
Wed, Jun 16, 10:33 AM
florian.haftmann committed rAFPc2595f7c289f: no duplicates of shift operations.
no duplicates of shift operations
Wed, Jun 16, 10:23 AM

Tue, Jun 15

kleing committed rAFP2e179108e08f: merge Jinja/Isar work.
merge Jinja/Isar work
Tue, Jun 15, 2:56 AM

Mon, Jun 14

desharna committed rAFP5e24878a9118: updated change history for Interpreter_Optimization.
updated change history for Interpreter_Optimization
Mon, Jun 14, 3:04 PM
paulson committed rAFP29da90822fc7: merged.
merged
Mon, Jun 14, 2:00 PM
paulson <lp15@cam.ac.uk> committed rAFPa51be9ca4b87: updated, replacing axiomatizations by proper locales.
updated, replacing axiomatizations by proper locales
Mon, Jun 14, 2:00 PM
desharna committed rAFP95f457f69761: added basic blocks.
added basic blocks
Mon, Jun 14, 11:33 AM

Sat, Jun 12

desharna committed rISABELLEadb34395b622: added support for unbounded max calls to Mirabelle.
added support for unbounded max calls to Mirabelle
Sat, Jun 12, 3:38 PM
desharna committed rISABELLEbb277f37c34a: added warnings when defining unamed or redefining Mirabelle action.
added warnings when defining unamed or redefining Mirabelle action
Sat, Jun 12, 3:16 PM
makarius committed rISABELLE93228ff7aa67: tuned whitespace;.
tuned whitespace;
Sat, Jun 12, 12:27 PM

Fri, Jun 11

desharna committed rISABELLE4eac16052a94: tuned Mirabelle.
tuned Mirabelle
Fri, Jun 11, 9:38 AM
desharna committed rISABELLE77306bf4e1ee: merged.
merged
Fri, Jun 11, 9:38 AM
desharna committed rISABELLE58f6b41efe88: refactored Mirabelle to produce output in real time.
refactored Mirabelle to produce output in real time
Fri, Jun 11, 9:38 AM

Thu, Jun 10

Asta Halkjær From <andro.from@gmail.com> committed rAFP0730332cf9f6: Fix typo in date.
Fix typo in date
Thu, Jun 10, 4:40 PM
florian.haftmann committed rISABELLEbfce186331be: more succint interfaces.
more succint interfaces
Thu, Jun 10, 9:08 AM
florian.haftmann committed rISABELLE9447668d1b77: global interpretation into nested targets.
global interpretation into nested targets
Thu, Jun 10, 9:08 AM

Wed, Jun 9

makarius created Blog Post: Reactivated ML profiling.
Wed, Jun 9, 12:11 PM
makarius committed rISABELLE8a9fd2ffb81d: merged.
merged
Wed, Jun 9, 11:57 AM
makarius committed rISABELLE014b944f4972: tuned messages;.
tuned messages;
Wed, Jun 9, 11:57 AM
makarius committed rISABELLE9134ae401ad5: NEWS;.
NEWS;
Wed, Jun 9, 11:57 AM
makarius committed rISABELLE95484bd7e1ec: proper profiling within command execution: messages require PIDE id;.
proper profiling within command execution: messages require PIDE id;
Wed, Jun 9, 11:57 AM
makarius committed rISABELLEa5200fa7cb4c: more systematic treatment of profiling mode;.
more systematic treatment of profiling mode;
Wed, Jun 9, 11:57 AM
makarius committed rISABELLE0638fa8c01bc: tuned message;.
tuned message;
Wed, Jun 9, 11:57 AM
makarius committed rISABELLE0e6a5a6cc767: prefer less intrusive tracing message;.
prefer less intrusive tracing message;
Wed, Jun 9, 11:57 AM