Page MenuHomeIsabelle/Phabricator

isabelle-releaseProject
ActivePublic

Watchers

  • This project does not have any watchers.
  • View All

Details

Description

Support for the Isabelle release process, see also the blog.

Main repository fork (read-only): https://isabelle.sketis.net/repos/isabelle-release

Isabelle releases are time-based: every 8-10 months the repository state is consolidated into a stable version that can serve end-users for a few years. That process typically takes 4-8 weeks, with 3-5 public release candidates. After a release is finalized, there are no further updates nor "patches'' to it.

When the release train is about to depart, only finished and consolidated features will make it on the trip. Anything that is not properly working will be postponed to a future release (deactivated or just not announced).

Recent Activity

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