Page MenuHomeIsabelle/Phabricator

Open Tasks

Normal (5)

Low (6)

Wishlist (4)

Recent Activity

Yesterday

makarius committed rISABELLE95c2853dd616: updated certificates to make it work again after recent changes to smt/z3 setup;.
updated certificates to make it work again after recent changes to smt/z3 setup;
Wed, Sep 30, 11:40 PM
makarius committed rISABELLE7d3a96acae28: merged.
merged
Wed, Sep 30, 11:34 PM
makarius committed rISABELLEe7284278796b: clarified signature;.
clarified signature;
Wed, Sep 30, 11:34 PM
makarius committed rISABELLEe18e15b9e2ab: updated to sqlite-jdbc-3.32.3.2;.
updated to sqlite-jdbc-3.32.3.2;
Wed, Sep 30, 11:34 PM
makarius committed rISABELLE93e533198bf6: build Isabelle sqlite-jdbc component from official download;.
build Isabelle sqlite-jdbc component from official download;
Wed, Sep 30, 11:34 PM
makarius committed rISABELLE14be5c341377: support arm64-linux;.
support arm64-linux;
Wed, Sep 30, 11:34 PM
makarius committed rISABELLE728da67527b9: detect arm64-linux platform;.
detect arm64-linux platform;
Wed, Sep 30, 11:34 PM
desharna committed rISABELLE478b7599a1a0: Effectively disable timeout for smt method/tactic.
Effectively disable timeout for smt method/tactic
Wed, Sep 30, 6:37 PM
desharna committed rISABELLE4195e75a92ef: [mirabelle] add initial documentation in Sledgehammer's doc.
[mirabelle] add initial documentation in Sledgehammer's doc
Wed, Sep 30, 10:05 AM

Tue, Sep 29

makarius committed rISABELLE676066aa4798: clarified signature;.
clarified signature;
Tue, Sep 29, 8:14 PM
makarius committed rISABELLE0973a594be72: clarified names;.
clarified names;
Tue, Sep 29, 8:14 PM
makarius committed rISABELLE626920749f5d: tuned signature;.
tuned signature;
Tue, Sep 29, 7:55 PM
makarius committed rISABELLE54871a086193: formal platform information, notably for ssh;.
formal platform information, notably for ssh;
Tue, Sep 29, 7:55 PM
makarius committed rISABELLE41a4352c5240: more robust executor policy after shutdown;.
more robust executor policy after shutdown;
Tue, Sep 29, 4:07 PM
makarius committed rISABELLE4075560b3d5c: clarified message;.
clarified message;
Tue, Sep 29, 4:07 PM
makarius committed rISABELLEb8708212bdd5: clarified message;.
clarified message;
Tue, Sep 29, 4:07 PM
makarius committed rISABELLE6916b48b375c: clarified names;.
clarified names;
Tue, Sep 29, 4:07 PM
makarius committed rISABELLE0823524eea1e: more reactive kodkod execution: avoid confusion about timeout/deadline;.
more reactive kodkod execution: avoid confusion about timeout/deadline;
Tue, Sep 29, 4:07 PM
makarius committed rISABELLE850ba6d47300: clarified default (see also 0c7a74a1c6d9);.
clarified default (see also 0c7a74a1c6d9);
Tue, Sep 29, 4:07 PM
makarius committed rISABELLE319dd5c618a5: allow Scala function execution on separate thread: better reactivity, but….
allow Scala function execution on separate thread: better reactivity, but…
Tue, Sep 29, 4:07 PM
makarius committed rISABELLE562445121de7: tuned;.
tuned;
Tue, Sep 29, 4:07 PM
makarius committed rISABELLE6255e532aa36: obsolete --- Java is always present via component;.
obsolete --- Java is always present via component;
Tue, Sep 29, 4:07 PM
makarius committed rISABELLE7cb0c5fbe2d9: obsolete --- KODKODI is always present via component;.
obsolete --- KODKODI is always present via component;
Tue, Sep 29, 4:07 PM
makarius committed rISABELLEda2cbe54e53e: obsolete --- ML module Nitpick resides within theory Nitpick (see also….
obsolete --- ML module Nitpick resides within theory Nitpick (see also…
Tue, Sep 29, 4:07 PM
desharna committed rAFPc0be5562644a: [VeriComp] Change load from a function to a relation.
[VeriComp] Change load from a function to a relation
Tue, Sep 29, 1:04 PM
paulson committed rISABELLE4750ea34603e: merged.
merged
Tue, Sep 29, 10:46 AM
paulson <lp15@cam.ac.uk> committed rISABELLE7bb074cceefe: de-applying.
de-applying
Tue, Sep 29, 10:46 AM
paulson committed rISABELLEfb6295a224f8: merged.
merged
Tue, Sep 29, 10:46 AM

Mon, Sep 28

makarius committed rAFP561e06b5a682: more standard and more robust, following hints on the Net --- diffpdf says that….
more standard and more robust, following hints on the Net --- diffpdf says that…
Mon, Sep 28, 10:26 PM
makarius committed rAFP33c5d584ff1f: more robust: avoid spurious timeout of nitpick/kodkod within Isabelle/Scala;.
more robust: avoid spurious timeout of nitpick/kodkod within Isabelle/Scala;
Mon, Sep 28, 10:26 PM
makarius committed rISABELLEe36f94e2eb6b: some support for document preparation in Isabelle/Scala;.
some support for document preparation in Isabelle/Scala;
Mon, Sep 28, 10:26 PM
makarius committed rISABELLE9bb16dcb9ed8: unused (see 7b318273a4aa);.
unused (see 7b318273a4aa);
Mon, Sep 28, 10:26 PM
makarius committed rISABELLE09d1d7332185: unused (see 564012e31db1);.
unused (see 564012e31db1);
Mon, Sep 28, 10:26 PM
makarius committed rISABELLEc695d0b89586: more standard and more robust, following hints on the Net;.
more standard and more robust, following hints on the Net;
Mon, Sep 28, 10:26 PM
makarius committed rISABELLE76bb6dd505c0: obsolete, T1 fonts are fine in lualatex (see also cc71f01f9fde);.
obsolete, T1 fonts are fine in lualatex (see also cc71f01f9fde);
Mon, Sep 28, 10:26 PM
makarius committed rAFP4a1dc59e5b87: merged.
merged
Mon, Sep 28, 4:21 PM
makarius committed rAFP94bcc3a69217: prefer old-fashioned {\ss} to prevent problems with encoding in lualatex;.
prefer old-fashioned {\ss} to prevent problems with encoding in lualatex;
Mon, Sep 28, 4:21 PM
makarius committed rISABELLEbc97bd4c0474: prefer old-fashioned {\ss} to prevent problems with encoding in lualatex;.
prefer old-fashioned {\ss} to prevent problems with encoding in lualatex;
Mon, Sep 28, 4:21 PM
makarius committed rISABELLEd24a8cea343b: proper Windows 32bit platform;.
proper Windows 32bit platform;
Mon, Sep 28, 4:21 PM
makarius committed rISABELLE3cc6aa405858: clarified "isabelle logo", after discontinuation of DVI output (see….
clarified "isabelle logo", after discontinuation of DVI output (see…
Mon, Sep 28, 4:21 PM