projects / ieee754fpu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e13b049) | patch
FSGNJ: Convert proof to use FPNumDecode
authorMichael Nolan <mtnolan2640@gmail.com>
Tue, 28 Jan 2020 00:23:12 +0000 (19:23 -0500)
committerMichael Nolan <mtnolan2640@gmail.com>
Tue, 28 Jan 2020 00:23:12 +0000 (19:23 -0500)
commit91f4b9f9838751ec69348ca9c10112da3d850411
tree16f8556c640764c33357188f9326e37d1c383440tree
parente13b049cbef724d4513a9dd30270af91d9292889commit | diff
FSGNJ: Convert proof to use FPNumDecode

This uses FPNumDecode in the formal proof of the FSGNJPipeMod to
ensure that the bit indexing method is correct by going about the
proof in a different way
src/ieee754/fsgnj/formal/proof_fsgnj_mod.py diff | blob | history