Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] RC-1 – ad 8bd5999133d4 – »code_deps needs cycles«


view this post on Zulip Email Gateway (Aug 22 2022 at 09:19):

From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
This should not be the case. Have you an example at hand where this did
fail with the new graph browser?

The code_deps command is somewhat neglected and old-fashioned, so
something might be lurking here.

Cheers,
Florian
signature.asc

view this post on Zulip Email Gateway (Aug 22 2022 at 09:27):

From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
The problem should be resolved by the first attached patch. The old
graph browser by accident accepted (and effectively ignored) recursive
dependencies.

The second patch adda actual content to the nodes.

I am a little uncertain how critical these patches are for the upcoming
release. The fact that code_deps seems to be used rarely is both an
argument for as well as against including them.

Cheers,
Florian
code_deps
code_deps_content
signature.asc


Last updated: Apr 18 2024 at 08:19 UTC