Stream: Mirror: Isabelle Development Mailing List

Topic: Total build failure in AFP

Email Gateway (Apr 05 2025 at 12:50):

From: Florian Haftmann <florian.haftmann@cit.tum.de>

isabelle: bb1f2a03b370 tip
afp: 47552dd60f7c tip

$ isabelle build Worklist_Algorithms
*** Cannot load theory "Timed_Automata.More_List"
*** The error(s) above occurred for theory "Timed_Automata.More_List"
*** (required by "Worklist_Algorithms.Worklist_Algorithms_Subsumption_Graphs") (line 6 of "/home/haftmann/data/tum/afp/devel/thys/Worklist_Algorithms/Worklist_Algorithms_Subsumption_Graphs.thy")
*** Cannot load theory "Timed_Automata.More_List"
*** No such file: "Timed_Automata.More_List"
*** The error(s) above occurred in session "Worklist_Algorithms" (line 3 of "/home/haftmann/data/tum/afp/devel/thys/Worklist_Algorithms/ROOT")

Florian

OpenPGP_0xA707172232CFA4E9.asc
OpenPGP_signature.asc

Last updated: May 31 2025 at 01:44 UTC