See recent Updates for Mercurial's HTTP protocol: https://we.phorge.it/D25471
- Queries
- All Stories
- Search
- Advanced Search
- Transactions
- Transaction Logs
Advanced Search
Mon, Mar 25
Wed, Mar 6
Jan 13 2024
Jan 9 2024
Sep 12 2023
Sep 9 2023
Oct 25 2022
Oct 18 2022
Oct 2 2022
Sep 18 2022
Sep 11 2022
Aug 22 2022
Aug 21 2022
Nov 27 2021
Back to external Java process for Isabelle2021-1 release (see 91ee232b4211).
Nov 8 2021
See Isabelle/f345da8defff.
Nov 1 2021
Oct 19 2021
See Isabelle/d4c2a9191cd1
This requires to go through the Java implementation of Kodkod and SAT4j, and ensure that interrupts (or timeouts) are treated properly.
See also Isabelle/74a36aae067a and Isabelle/2d089ff0e03b --- minisat is provided as external executable on all platforms.
Jan 26 2021
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 25 2021
See also:
Jan 18 2021
Jan 10 2021
Works better with work-around, as documented in Isabelle/6345ad861a36.
Jan 9 2021
Avoid problem by using FlatLaf: Isabelle/efc58b56a6c7.
Jan 7 2021
- use jdk-15 in Isabelle/af54129abd9e
- OK: arm64-darwin and portable app launcher, e.g. see Isabelle/d08cbc36a99a
- OK: file associations work properly
- OPEN: full-screen mode, see T35: Isabelle/jEdit full-screen problem with macOS Big Sur
- OPEN: JTabbedPane, see T36: Bad rendering of JTabbedPane on macOS BigSur
It is unclear how to address this properly, without an update by Apple or OpenJDK (not to be expected too soon).
Also missing: arm64-linux, arm64-darwin (relavant for native JDK on macOS).
Jan 1 2021
Full-screen problem: https://bugs.openjdk.java.net/browse/JDK-8256465
See also OpenJDK 16 development items:
Dec 27 2020
Disabled now (notably Isabelle2021-RC1), see Isabelle/6ead333e450d and AFP/2bccd7c8634c.
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 18 2020
Isabelle/21ff9c1a4644 is not sufficient. Its needs reconsideration, e.g. by patching jEdit.
An alternative is to switch to jdk-15 ("medium term support"), provided by Azul/Zulu.
Dec 13 2020
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 4 2020
Nov 30 2020
Is Isabelle/21ff9c1a4644 good enough?
Nov 22 2020
Isabelle/dcc0022f0179 provides a manually assembled component, without isabelle build_cvc4 tool.
Nov 7 2020
Oct 31 2020
The veriT version is sufficient for the next release.
Oct 29 2020
Done in Isabelle/c2b44fb3add4, already sufficient for Isabelle2021 release.
Isabelle/cd3419427cd3 already has E prover 2.5 for production use.
Isabelle/e4d707eb7d1b already includes fairly stable Isabelle/ML tool setup and component.
Another attempt for Isabelle2021 ...
It would be great to know more for the forthcoming Isabelle2021 release, although this is not mission critial for it.
Jun 26 2020
May 6 2020
Apr 2 2020
Resolved in Isabelle/4269db8981b8 and Isabelle/d7175626d61e.
Works fine in Isabelle/6db526adccac.
Mar 12 2020
See Isabelle/e76692ec6e5
Mar 8 2020
Mar 4 2020
Feb 26 2020
See Isabelle/be84312a2d53 to Isabelle/aa7b0a5e9fe3