Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2021-1-RC3 available for testing


view this post on Zulip Email Gateway (Nov 12 2021 at 20:27):

From: Makarius <makarius@sketis.net>
Dear Isabelle users,

please see https://isabelle.sketis.net/website-Isabelle2021-1-RC3 and
https://isabelle-dev.sketis.net/phame/post/view/53/release_candidates_for_isabelle2021-1
for further progress on the release process.

There is now a proper download for Linux (ARM), and the "isabelle
build_docker" tools works for it (relevant on Apple M1 hardware).

This is also the fork-point of the isabelle-dev repository, which continues
for the time after this release:
https://isabelle.sketis.net/repos/isabelle/rev/4f1c1c7eb95f

Reminder: Any feedback about release candidates should be posted with a meaningful
Subject (not just a clone of the announcement).

We have approx. 4 weeks left until final lift-off: afterwards there will be no
more changes on this line.

Makarius

view this post on Zulip Email Gateway (Nov 14 2021 at 20:49):

From: Peter Lammich <lammich@in.tum.de>
Hi List.

Following my experience report on porting isabelle-llvm from 2021 to
2021-1-RC3.
Summary: roughly 7h work for 70kLOC.
Fixing violations of context discipline took a while, and bigger
changes in word library (again) were getting a little annoying.
Otherwise, everything worked well.

Apart from the separate emails I already sent, one minor point I
noticed: substitutions work with a more efficient data structure now.
However, the existing NEWS entry does not mention Variable.import,
where this change caused type errors for me at several points.
Thus, I needed some time to find the relevant NEWS entry.

view this post on Zulip Email Gateway (Nov 15 2021 at 11:09):

From: y.nemouchi@ensbiotech.edu.dz
Hi,

Is the OOM killer still be able to kill PolyML process for no reason? or
this issue does not exist anymore with Isabelle 2021-1?

I stopped using Isabelle 2021 just because of that! It was annoying to
have the same error every 5 min!

Best wishes,

Yakoub.


Last updated: Jul 15 2022 at 23:21 UTC