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: Feb 24 2024 at 04:17 UTC