Page MenuHomeIsabelle/Phabricator
Feed Advanced Search

Mon, Mar 25

makarius updated the post content for Blog Post: Release Candidates for Isabelle2024.
Mon, Mar 25, 3:42 PM · isabelle-release

Wed, Mar 6

makarius created Blog Post: Release Candidates for Isabelle2024.
Wed, Mar 6, 11:33 AM · isabelle-release

Jan 13 2024

makarius added a comment to T8: Clarify underlying Mercurial version.

See recent Updates for Mercurial's HTTP protocol: https://we.phorge.it/D25471

Jan 13 2024, 4:28 PM · isabelle-release, phabricator-setup

Jan 9 2024

makarius updated the post content for Blog Post: Plan for Isabelle2024 release.
Jan 9 2024, 11:18 AM · isabelle-release

Sep 12 2023

makarius updated the post content for Blog Post: Release Candidates for Isabelle2023.
Sep 12 2023, 7:01 PM · isabelle-release

Sep 9 2023

makarius added a project to Blog Post: Release Candidates for Isabelle2023: isabelle-release.
Sep 9 2023, 12:45 PM · isabelle-release
makarius created Blog Post: Plan for Isabelle2024 release.
Sep 9 2023, 12:45 PM · isabelle-release

Oct 25 2022

makarius updated the post content for Blog Post: Release Candidates for Isabelle2022.
Oct 25 2022, 2:35 PM · isabelle-release

Oct 18 2022

makarius updated the post content for Blog Post: Release Candidates for Isabelle2022.
Oct 18 2022, 12:06 PM · isabelle-release

Oct 2 2022

makarius updated the post content for Blog Post: Release Candidates for Isabelle2022.
Oct 2 2022, 8:19 PM · isabelle-release

Sep 18 2022

makarius updated the post content for Blog Post: Release Candidates for Isabelle2022.
Sep 18 2022, 4:00 PM · isabelle-release

Sep 11 2022

makarius updated the post content for Blog Post: Release Candidates for Isabelle2022.
Sep 11 2022, 12:48 PM · isabelle-release
makarius updated the post content for Blog Post: Release Candidates for Isabelle2022.
Sep 11 2022, 12:48 PM · isabelle-release
makarius updated the post content for Blog Post: Release Candidates for Isabelle2022.
Sep 11 2022, 12:42 PM · isabelle-release

Aug 22 2022

makarius updated the post content for Blog Post: Release Candidates for Isabelle2022.
Aug 22 2022, 11:24 AM · isabelle-release

Aug 21 2022

makarius updated the post content for Blog Post: Release Candidates for Isabelle2022.
Aug 21 2022, 11:39 AM · isabelle-release

Nov 27 2021

makarius added a comment to T31: Improve robustness of multithreaded Kodkod in Isabelle/Scala.

Back to external Java process for Isabelle2021-1 release (see 91ee232b4211).

Nov 27 2021, 3:30 PM · isabelle-release

Nov 8 2021

makarius closed T39: External MiniSat tends to crash on Windows as Resolved.

See Isabelle/f345da8defff.

Nov 8 2021, 8:48 PM · isabelle-release

Nov 1 2021

makarius triaged T39: External MiniSat tends to crash on Windows as Normal priority.
Nov 1 2021, 10:57 PM · isabelle-release
makarius created T39: External MiniSat tends to crash on Windows.
Nov 1 2021, 8:45 PM · isabelle-release

Oct 19 2021

makarius closed T34: Update component for Vampire as Resolved.

See Isabelle/d4c2a9191cd1

Oct 19 2021, 10:08 PM · provers, isabelle-release
makarius added a comment to T31: Improve robustness of multithreaded Kodkod in Isabelle/Scala.

This requires to go through the Java implementation of Kodkod and SAT4j, and ensure that interrupts (or timeouts) are treated properly.

Oct 19 2021, 10:07 PM · isabelle-release
makarius closed T24: Missing minisat.dll for nitpick/kodkod on Windows (and Apple Silicon) as Resolved.
Oct 19 2021, 10:06 PM · provers, isabelle-release
makarius added a comment to T24: Missing minisat.dll for nitpick/kodkod on Windows (and Apple Silicon).

See also Isabelle/74a36aae067a and Isabelle/2d089ff0e03b --- minisat is provided as external executable on all platforms.

Oct 19 2021, 10:06 PM · provers, isabelle-release

Jan 26 2021

makarius closed T37: macOS app bundle cannot access folders Desktop, Documents, Downloads as Resolved.

It works by using an x86_64-darwin executable that invokes a shell script: the executable is accepted by Apple "Files and Folders" security, while still being able to launch arm64-darwin Java properly.

Jan 26 2021, 11:14 PM · isabelle-release

Jan 25 2021

makarius moved T37: macOS app bundle cannot access folders Desktop, Documents, Downloads from Backlog to TODO on the isabelle-release board.
Jan 25 2021, 6:11 PM · isabelle-release
makarius added a comment to T37: macOS app bundle cannot access folders Desktop, Documents, Downloads.

See also:

Jan 25 2021, 5:51 PM · isabelle-release
makarius triaged T37: macOS app bundle cannot access folders Desktop, Documents, Downloads as Normal priority.
Jan 25 2021, 5:37 PM · isabelle-release

Jan 18 2021

makarius closed T35: Isabelle/jEdit full-screen problem with macOS Big Sur as Resolved.

See Isabelle/96d87b9c2b42: https://isabelle.sketis.net/repos/isabelle-release/rev/96d87b9c2b42

Jan 18 2021, 7:44 PM · isabelle-release
makarius added a comment to T35: Isabelle/jEdit full-screen problem with macOS Big Sur.

See also https://youtrack.jetbrains.com/issue/IDEA-245026 especially the screenshot https://youtrack.jetbrains.com/api/files/74-974262?sign=MTYxMTIzODgwMDAwMHwxMS0xfDc0LTk3NDI2MnxfU3Bhekt2c3Y1QW5nUEdiajllTTdZMV9TUkg1%0D%0AcHRJOUwzcUh2aHRjNzNFDQo%0D%0A&updated=1607579744434

Jan 18 2021, 3:25 PM · isabelle-release
makarius added a comment to T35: Isabelle/jEdit full-screen problem with macOS Big Sur.

See also https://issues.apache.org/jira/browse/NETBEANS-5037

Jan 18 2021, 2:48 PM · isabelle-release

Jan 10 2021

makarius lowered the priority of T35: Isabelle/jEdit full-screen problem with macOS Big Sur from High to Normal.

Works better with work-around, as documented in Isabelle/6345ad861a36.

Jan 10 2021, 4:03 PM · isabelle-release

Jan 9 2021

makarius closed T32: Odd font rendering problem with jdk-11.0.9 on Windows as Resolved.

Avoid problem by using FlatLaf: Isabelle/efc58b56a6c7.

Jan 9 2021, 1:17 AM · isabelle-release

Jan 7 2021

makarius closed T33: Update to jdk-11.0.10, notably for macOS Big Sur as Resolved.
Jan 7 2021, 2:02 PM · isabelle-release
makarius moved T34: Update component for Vampire from TODO to Backlog on the isabelle-release board.
Jan 7 2021, 1:51 PM · provers, isabelle-release
makarius added a comment to T35: Isabelle/jEdit full-screen problem with macOS Big Sur.

It is unclear how to address this properly, without an update by Apple or OpenJDK (not to be expected too soon).

Jan 7 2021, 1:51 PM · isabelle-release
makarius moved T35: Isabelle/jEdit full-screen problem with macOS Big Sur from Backlog to TODO on the isabelle-release board.
Jan 7 2021, 1:48 PM · isabelle-release
makarius triaged T35: Isabelle/jEdit full-screen problem with macOS Big Sur as High priority.
Jan 7 2021, 1:48 PM · isabelle-release
makarius moved T31: Improve robustness of multithreaded Kodkod in Isabelle/Scala from TODO to Backlog on the isabelle-release board.
Jan 7 2021, 1:39 PM · isabelle-release
makarius renamed T24: Missing minisat.dll for nitpick/kodkod on Windows (and Apple Silicon) from Missing minisat.dll for nitpick/kodkod on Windows to Missing minisat.dll for nitpick/kodkod on Windows (and Apple Silicon).
Jan 7 2021, 1:37 PM · provers, isabelle-release
makarius added a comment to T24: Missing minisat.dll for nitpick/kodkod on Windows (and Apple Silicon).

Also missing: arm64-linux, arm64-darwin (relavant for native JDK on macOS).

Jan 7 2021, 1:18 PM · provers, isabelle-release

Jan 1 2021

makarius added a comment to T33: Update to jdk-11.0.10, notably for macOS Big Sur.

Full-screen problem: https://bugs.openjdk.java.net/browse/JDK-8256465

Jan 1 2021, 4:53 PM · isabelle-release
makarius added a comment to T33: Update to jdk-11.0.10, notably for macOS Big Sur.

See also OpenJDK 16 development items:

Jan 1 2021, 4:46 PM · isabelle-release

Dec 27 2020

makarius added a comment to T31: Improve robustness of multithreaded Kodkod in Isabelle/Scala.

Disabled now (notably Isabelle2021-RC1), see Isabelle/6ead333e450d and AFP/2bccd7c8634c.

Dec 27 2020, 1:29 PM · isabelle-release
makarius added a comment to T33: Update to jdk-11.0.10, notably for macOS Big Sur.

For improved portability (also for arm64-darwin) it might be better to exchange the app launcher as well, using a plain shell script instead of native executable.

Dec 27 2020, 1:26 PM · isabelle-release

Dec 18 2020

makarius moved T34: Update component for Vampire from Backlog to TODO on the provers board.
Dec 18 2020, 12:16 PM · provers, isabelle-release
makarius moved T31: Improve robustness of multithreaded Kodkod in Isabelle/Scala from Backlog to TODO on the isabelle-release board.
Dec 18 2020, 11:54 AM · isabelle-release
makarius moved T32: Odd font rendering problem with jdk-11.0.9 on Windows from Backlog to TODO on the isabelle-release board.
Dec 18 2020, 11:54 AM · isabelle-release
makarius moved T33: Update to jdk-11.0.10, notably for macOS Big Sur from Backlog to TODO on the isabelle-release board.
Dec 18 2020, 11:54 AM · isabelle-release
makarius moved T34: Update component for Vampire from Backlog to TODO on the isabelle-release board.
Dec 18 2020, 11:54 AM · provers, isabelle-release
makarius moved T34: Update component for Vampire from TODO to Backlog on the isabelle-release board.
Dec 18 2020, 11:51 AM · provers, isabelle-release
makarius moved T13: Isabelle/jEdit indenting from TODO to Backlog on the isabelle-release board.
Dec 18 2020, 11:51 AM
makarius moved T31: Improve robustness of multithreaded Kodkod in Isabelle/Scala from TODO to Backlog on the isabelle-release board.
Dec 18 2020, 11:51 AM · isabelle-release
makarius moved T24: Missing minisat.dll for nitpick/kodkod on Windows (and Apple Silicon) from TODO to Backlog on the isabelle-release board.
Dec 18 2020, 11:51 AM · provers, isabelle-release
makarius moved T32: Odd font rendering problem with jdk-11.0.9 on Windows from TODO to Backlog on the isabelle-release board.
Dec 18 2020, 11:51 AM · isabelle-release
makarius moved T33: Update to jdk-11.0.10, notably for macOS Big Sur from TODO to Backlog on the isabelle-release board.
Dec 18 2020, 11:51 AM · isabelle-release
makarius moved T31: Improve robustness of multithreaded Kodkod in Isabelle/Scala from Backlog to TODO on the isabelle-release board.
Dec 18 2020, 11:51 AM · isabelle-release
makarius moved T33: Update to jdk-11.0.10, notably for macOS Big Sur from Backlog to TODO on the isabelle-release board.
Dec 18 2020, 11:51 AM · isabelle-release
makarius moved T34: Update component for Vampire from Backlog to TODO on the isabelle-release board.
Dec 18 2020, 11:51 AM · provers, isabelle-release
makarius moved T24: Missing minisat.dll for nitpick/kodkod on Windows (and Apple Silicon) from Backlog to TODO on the isabelle-release board.
Dec 18 2020, 11:51 AM · provers, isabelle-release
makarius moved T32: Odd font rendering problem with jdk-11.0.9 on Windows from Backlog to TODO on the isabelle-release board.
Dec 18 2020, 11:51 AM · isabelle-release
makarius moved T13: Isabelle/jEdit indenting from Backlog to TODO on the isabelle-release board.
Dec 18 2020, 11:51 AM
makarius added a comment to T32: Odd font rendering problem with jdk-11.0.9 on Windows.

Isabelle/21ff9c1a4644 is not sufficient. Its needs reconsideration, e.g. by patching jEdit.

Dec 18 2020, 11:25 AM · isabelle-release
makarius added a comment to T33: Update to jdk-11.0.10, notably for macOS Big Sur.

An alternative is to switch to jdk-15 ("medium term support"), provided by Azul/Zulu.

Dec 18 2020, 11:23 AM · isabelle-release

Dec 13 2020

makarius added a comment to T34: Update component for Vampire.

Isabelle/6751057a64b1 provides isabelle build_vampire for two versions: regular (stable) vampire, and experimental (latest) vampire_polymorphic. The latter does not build on Windows/Cygwin, though:

scope
  489 |         case DT_REG:
      |              ^~~~~~
/tmp/isabelle-wenzelm/build3185647966287583615/vampire/Lib/System.cpp:492:14:
error: ÔÇÿDT_DIRÔÇÖ was not declared in this scope
  492 |         case DT_DIR:
      |              ^~~~~~
make[2]: *** [CMakeFiles/obj.dir/build.make:304:
CMakeFiles/obj.dir/Lib/System.cpp.o] Error 1
make[2]: *** Waiting for unfinished jobs....
/tmp/isabelle-wenzelm/build3185647966287583615/vampire/Lib/Timer.cpp: In
static member function ÔÇÿstatic void Lib::Timer::suspendTimerBeforeFork()ÔÇÖ:
/tmp/isabelle-wenzelm/build3185647966287583615/vampire/Lib/Timer.cpp:155:11:
error: ÔÇÿsetitimerÔÇÖ was not declared in this scope
  155 |   int res=setitimer(ITIMER_REAL, &tv1, &tv2);
      |           ^~~~~~~~~
Dec 13 2020, 12:55 PM · provers, isabelle-release

Dec 4 2020

makarius claimed T34: Update component for Vampire.
Dec 4 2020, 12:43 PM · provers, isabelle-release
makarius triaged T34: Update component for Vampire as Normal priority.
Dec 4 2020, 12:43 PM · provers, isabelle-release

Nov 30 2020

makarius triaged T33: Update to jdk-11.0.10, notably for macOS Big Sur as Normal priority.
Nov 30 2020, 3:08 PM · isabelle-release
makarius added a comment to T32: Odd font rendering problem with jdk-11.0.9 on Windows.

Is Isabelle/21ff9c1a4644 good enough?

Nov 30 2020, 1:17 PM · isabelle-release

Nov 22 2020

makarius closed T28: Update component for CVC4 as Resolved.

Isabelle/dcc0022f0179 provides a manually assembled component, without isabelle build_cvc4 tool.

Nov 22 2020, 1:45 PM · provers, isabelle-release

Nov 7 2020

makarius triaged T32: Odd font rendering problem with jdk-11.0.9 on Windows as Normal priority.
Nov 7 2020, 4:00 PM · isabelle-release

Oct 31 2020

mathias.fleury closed T25: Update component for veriT as Resolved.

The veriT version is sufficient for the next release.

Oct 31 2020, 7:18 AM · provers, isabelle-release

Oct 29 2020

makarius triaged T26: Update component for E prover as Normal priority.
Oct 29 2020, 5:52 PM · provers, isabelle-release
makarius added a project to T24: Missing minisat.dll for nitpick/kodkod on Windows (and Apple Silicon): provers.
Oct 29 2020, 5:19 PM · provers, isabelle-release
makarius added a project to T25: Update component for veriT: provers.
Oct 29 2020, 5:18 PM · provers, isabelle-release
makarius added a project to T27: Update component for SPASS: provers.
Oct 29 2020, 5:18 PM · provers, isabelle-release
makarius added a project to T28: Update component for CVC4: provers.
Oct 29 2020, 5:18 PM · provers, isabelle-release
makarius added a project to T26: Update component for E prover: provers.
Oct 29 2020, 5:17 PM · provers, isabelle-release
makarius triaged T31: Improve robustness of multithreaded Kodkod in Isabelle/Scala as Normal priority.
Oct 29 2020, 4:36 PM · isabelle-release
makarius triaged T28: Update component for CVC4 as Normal priority.
Oct 29 2020, 2:40 PM · provers, isabelle-release
makarius closed T27: Update component for SPASS as Resolved.

Done in Isabelle/c2b44fb3add4, already sufficient for Isabelle2021 release.

Oct 29 2020, 2:35 PM · provers, isabelle-release
makarius triaged T27: Update component for SPASS as Normal priority.
Oct 29 2020, 2:32 PM · provers, isabelle-release
makarius closed T26: Update component for E prover as Resolved.

Isabelle/cd3419427cd3 already has E prover 2.5 for production use.

Oct 29 2020, 2:30 PM · provers, isabelle-release
makarius created T26: Update component for E prover.
Oct 29 2020, 2:24 PM · provers, isabelle-release
makarius assigned T25: Update component for veriT to mathias.fleury.

Isabelle/e4d707eb7d1b already includes fairly stable Isabelle/ML tool setup and component.

Oct 29 2020, 2:22 PM · provers, isabelle-release
makarius triaged T25: Update component for veriT as Normal priority.
Oct 29 2020, 2:21 PM · provers, isabelle-release
makarius added a project to T13: Isabelle/jEdit indenting: isabelle-release.

Another attempt for Isabelle2021 ...

Oct 29 2020, 2:15 PM
makarius added a project to T24: Missing minisat.dll for nitpick/kodkod on Windows (and Apple Silicon): isabelle-release.

It would be great to know more for the forthcoming Isabelle2021 release, although this is not mission critial for it.

Oct 29 2020, 2:14 PM · provers, isabelle-release

Jun 26 2020

makarius closed T12: Hosting of Isabelle/AFP after Jun-2020 as Resolved.

See https://foss.heptapod.net/isa-afp and https://sketis.net/2020/mercurial-hosting-of-isabelle-afp-on-heptapod

Jun 26 2020, 4:39 PM · isabelle-release

May 6 2020

makarius updated the task description for T12: Hosting of Isabelle/AFP after Jun-2020.
May 6 2020, 12:13 PM · isabelle-release

Apr 2 2020

makarius closed T17: Proper treatment of hidden polymorphism in proof terms as Resolved.

Resolved in Isabelle/4269db8981b8 and Isabelle/d7175626d61e.

Apr 2 2020, 1:11 PM · isabelle-release
makarius closed T19: More robust isabelle dump (notably for AFP) as Resolved.

Works fine in Isabelle/6db526adccac.

Apr 2 2020, 1:08 PM · isabelle-release

Mar 12 2020

makarius triaged T18: Isabelle/jEdit default font sizes for Linux/Metal, to work better with UHD/4K as Normal priority.
Mar 12 2020, 11:09 PM · isabelle-release
makarius closed T18: Isabelle/jEdit default font sizes for Linux/Metal, to work better with UHD/4K as Resolved.

See Isabelle/e76692ec6e5

Mar 12 2020, 11:08 PM · isabelle-release

Mar 8 2020

makarius triaged T19: More robust isabelle dump (notably for AFP) as Normal priority.
Mar 8 2020, 3:49 PM · isabelle-release

Mar 4 2020

makarius created T18: Isabelle/jEdit default font sizes for Linux/Metal, to work better with UHD/4K.
Mar 4 2020, 7:37 PM · isabelle-release

Feb 26 2020

makarius closed T3: Adapt Isabelle/VSCode to Webview API as Resolved.

See Isabelle/be84312a2d53 to Isabelle/aa7b0a5e9fe3

Feb 26 2020, 4:30 PM · isabelle-release

Feb 25 2020

makarius triaged T17: Proper treatment of hidden polymorphism in proof terms as Normal priority.
Feb 25 2020, 12:00 PM · isabelle-release
makarius updated the task description for T13: Isabelle/jEdit indenting.
Feb 25 2020, 11:25 AM

Feb 17 2020

makarius edited Description on isabelle-release.
Feb 17 2020, 2:27 PM