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

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