[isabelle-dev] Fwd: status (AFP)
One error in JinjaThreads was fixed, here is the next one: *** Unknown fact list_all2_update_cong2 (line 467 of /mnt/nfsbroy/home/isatest/afp/devel/thys/JinjaThreads/BV/BVSpecTypeSafe.thy) *** At command apply (line 467 of /mnt/nfsbroy/home/isatest/afp/devel/thys/JinjaThreads/BV/BVSpecTypeSafe.thy) Exception- TOPLEVEL_ERROR raised Tobias Original-Nachricht Betreff: status (AFP) Datum: Sun, 11 Mar 2012 08:31:25 +0100 (CET) Von: isat...@macbroy2.informatik.tu-muenchen.de (Isabelle ) An: undisclosed-recipients:; The status of the following AFP entries changed or remains FAIL: [JinjaThreads] is still on FAIL. Full entry status at http://afp.sourceforge.net/status.shtml AFP version: development -- hg id c0877261b9e2 Isabelle version: devel -- hg id b190913c3c41 Test ended on: macbroy2, Sun Mar 11 08:31:25 CET 2012. Have a nice day, isatest ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Fwd: status (AFP)
I hope changeset 2cdf5c71b818 in the AFP solves the issue. Lukas On 03/11/2012 01:02 PM, Brian Huffman wrote: On Sun, Mar 11, 2012 at 12:09 PM, Tobias Nipkownip...@in.tum.de wrote: One error in JinjaThreads was fixed, here is the next one: *** Unknown fact list_all2_update_cong2 (line 467 of /mnt/nfsbroy/home/isatest/afp/devel/thys/JinjaThreads/BV/BVSpecTypeSafe.thy) *** At command apply (line 467 of /mnt/nfsbroy/home/isatest/afp/devel/thys/JinjaThreads/BV/BVSpecTypeSafe.thy) Exception- TOPLEVEL_ERROR raised I guess this has to do with the following changeset: changeset: 46665:c1d2ab32174a user:bulwahn date:Sat Feb 25 09:07:37 2012 +0100 summary: one general list_all2_update_cong instead of two special ones http://isabelle.in.tum.de/repos/isabelle/rev/c1d2ab32174a ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev