Reverse Engineering der NLT II

[HenneNWH]

In erster Linie muss es zuverlässig funktionieren.
Die Originalimplementierung dieser Funktion hat mit GCC/Clang falsche Werte geliefert.
Auch der BCC hat mit eingeschaltener Optimierung nicht korrekten Code erzeugt.
Korrektheitsbeweise sind sehr praktisch.

Was genau möchtest du mir/ uns damit mitteilen?