Hi all, I tried to build (my own version of) JinjaThreads with the Isabelle repository version 8cce3a34c122, but it failed with the error message "Failed to prepare dependency graph". The log of the run ends with:
Loading theory "JinjaThreads" ### Rule already declared as safe introduction (intro!) ### [| ~ contains_insync ?b; ~ contains_insync ?e |] ### ==> bisim ?Vs (while (?b) ?e) (while (compE1 ?Vs ?b) compE1 ?Vs ?e) ?xs val it = () : unit val it = () : unit val it = () : unit val it = () : unit val it = () : unit val it = () : unit *** Failed to prepare dependency graph Does anyone know what might have gone wrong here and how to generate a heap and the dependence graph? Regards, Andreas
