[isabelle-dev] AFP: PAPP_Impossibility not terminating

[Fabian Huch]

 From Jenkins, the tighter interval is Isabelle/3fb2c47a7605 .. 
Isabelle/1a9decb8bfbc [1,2].


Fabian


[1]: https://ci.isabelle.systems/jenkins/job/isabelle-all/4411/

[2]: https://ci.isabelle.systems/jenkins/job/isabelle-all/4412/

On 4/17/23 14:49, Makarius wrote:
> We have a problem with PAPP_Impossibility for quite some time.
>
> I am presently running a bisection to see better where it actually 
> happens: presently the interval is Isabelle/f5aca3ed1adb .. 
> 69ee23f83884 based on 
> https://isabelle.sketis.net/devel/build_status/AFP/PAPP_Impossibility.csv
>
> Stay tuned ...
>
>
>     Makarius
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev