Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Dropout in Iptables_Semantics_Examples_Big...

view this post on Zulip Email Gateway (Aug 05 2020 at 06:33):

From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
I will have a look after it. Seems to be related to suboptimal code
equations for word operations.

Florian
signature.asc

Last updated: Jan 07 2026 at 16:34 UTC