projects / ieee754fpu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 91f4b9f) | patch
FSGNJ: expandd formal proof to 16 and 64 bits
authorMichael Nolan <mtnolan2640@gmail.com>
Tue, 28 Jan 2020 00:27:12 +0000 (19:27 -0500)
committerMichael Nolan <mtnolan2640@gmail.com>
Tue, 28 Jan 2020 00:27:12 +0000 (19:27 -0500)
commit77e0ea68615b5cadb9bb76fccad33fc5828afa25
tree4c55421f50519323f02b94bbec09aac8e346e144tree
parent91f4b9f9838751ec69348ca9c10112da3d850411commit | diff
FSGNJ: expandd formal proof to 16 and 64 bits
src/ieee754/fsgnj/formal/proof_fsgnj_mod.py diff | blob | history