Email Gateway (Mar 25 2024 at 13:07): Email Gateway (Mar 25 2024 at 13:07):From: Makarius <makarius@sketis.net>
Dear colleagues,
there have been private questions about recent timing information of
AFP/CakeML_Codegen. I am answering this publicly on the regular isabelle-dev
channel.
The official build status results for Isabelle + AFP are available here:
https://isatest.sketis.net/devel/build_status/index.html
Looking briefly at CakeML_Codegen, I don't see anything suspicious for the
past 30 days. I've also queried the underlying database for 120 days: nothing
to be seen --- at least not for threads=1 that is used here.
Side-remark: Just yesterday, I had to shutdown the AFP test machine (from
LRZ), see Isabelle/1fd5f96e1da3. I hope to find another test setup in the
coming days, so we will be "flying blind" briefly.
Afterwards, the nightly build will dig into old history and provide more and
more data points to recover the charts.
Makarius
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Email Gateway (Mar 25 2024 at 13:12):From: Tobias Nipkow <nipkow@in.tum.de>
On 25/03/2024 13:08, Makarius wrote:
On 25/03/2024 11:48, Tobias Nipkow wrote:
Looking briefly at CakeML_Codegen, I don't see anything suspicious for the
past 30 days. I've also queried the underlying database for 120 days: nothing
to be seen --- at least not for threads=1 that is used here.As I pointed out in that private thread, the problem started 10 months ago
with a partiular changeset. Since then the running times have been stable.I did not see any changeset ids in that private threads. Looking more closely,
here they are: AFP/fccdd28b5d84 which says "adapted to Isabelle/84a7a0029c82".
You had to look more closely, i.e. follow the link I posted.
Tobias
Makarius
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Email Gateway (Mar 25 2024 at 13:17):From: Tobias Nipkow <nipkow@in.tum.de>
On 25/03/2024 11:38, Makarius wrote:
Dear colleagues,
there have been private questions about recent timing information of
AFP/CakeML_Codegen. I am answering this publicly on the regular isabelle-dev
channel.The official build status results for Isabelle + AFP are available here:
https://isatest.sketis.net/devel/build_status/index.htmlLooking briefly at CakeML_Codegen, I don't see anything suspicious for the past
30 days. I've also queried the underlying database for 120 days: nothing to be
seen --- at least not for threads=1 that is used here.
As I pointed out in that private thread, the problem started 10 months ago with
a partiular changeset. Since then the running times have been stable.
Tobias
Side-remark: Just yesterday, I had to shutdown the AFP test machine (from LRZ),
see Isabelle/1fd5f96e1da3. I hope to find another test setup in the coming days,
so we will be "flying blind" briefly.Afterwards, the nightly build will dig into old history and provide more and
more data points to recover the charts.Makarius
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Email Gateway (Mar 25 2024 at 13:26):From: Makarius <makarius@sketis.net>
I did not see any changeset ids in that private threads. Looking more closely,
here they are: AFP/fccdd28b5d84 which says "adapted to Isabelle/84a7a0029c82".
Makarius
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Last updated: Apr 27 2024 at 20:14 UTC