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

Sun, Jan 10

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.

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

Sat, Jan 9

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

Avoid problem by using FlatLaf: Isabelle/efc58b56a6c7.

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

Thu, Jan 7

makarius closed T33: Update to jdk-11.0.10, notably for macOS Big Sur as Resolved.
Thu, Jan 7, 2:02 PM · isabelle-release
makarius moved T34: Update component for Vampire from TODO to Backlog on the isabelle-release board.
Thu, Jan 7, 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).

Thu, Jan 7, 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.
Thu, Jan 7, 1:48 PM · isabelle-release
makarius triaged T35: Isabelle/jEdit full-screen problem with macOS Big Sur as High priority.
Thu, Jan 7, 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.
Thu, Jan 7, 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).
Thu, Jan 7, 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).

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

Fri, Jan 1

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

Fri, Jan 1, 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:

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

Sun, Dec 27

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.

Sun, Dec 27, 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.

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

Fri, Dec 18

makarius moved T34: Update component for Vampire from Backlog to TODO on the provers board.
Fri, Dec 18, 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.
Fri, Dec 18, 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.
Fri, Dec 18, 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.
Fri, Dec 18, 11:54 AM · isabelle-release
makarius moved T34: Update component for Vampire from Backlog to TODO on the isabelle-release board.
Fri, Dec 18, 11:54 AM · provers, isabelle-release
makarius moved T34: Update component for Vampire from TODO to Backlog on the isabelle-release board.
Fri, Dec 18, 11:51 AM · provers, isabelle-release
makarius moved T13: Isabelle/jEdit indenting from TODO to Backlog on the isabelle-release board.
Fri, Dec 18, 11:51 AM
makarius moved T31: Improve robustness of multithreaded Kodkod in Isabelle/Scala from TODO to Backlog on the isabelle-release board.
Fri, Dec 18, 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.
Fri, Dec 18, 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.
Fri, Dec 18, 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.
Fri, Dec 18, 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.
Fri, Dec 18, 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.
Fri, Dec 18, 11:51 AM · isabelle-release
makarius moved T34: Update component for Vampire from Backlog to TODO on the isabelle-release board.
Fri, Dec 18, 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.
Fri, Dec 18, 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.
Fri, Dec 18, 11:51 AM · isabelle-release
makarius moved T13: Isabelle/jEdit indenting from Backlog to TODO on the isabelle-release board.
Fri, Dec 18, 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.

Fri, Dec 18, 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.

Fri, Dec 18, 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