projects / ieee754fpu.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
switch to exact version of cython
[ieee754fpu.git] / src / ieee754 / fsgnj / formal / proof_fsgnj_mod.py
2022-05-11 Jacob Lifshayfix some borked imports blob | commitdiff | raw | diff to current
2020-01-28 Michael NolanUse nmigen's built in formal runner instead of mine blob | commitdiff | raw
2020-01-28 Luke Kenneth Casso... allow fsgnj proof to be run from any location blob | commitdiff | raw | diff to current
2020-01-28 Michael NolanFSGNJ: expandd formal proof to 16 and 64 bits blob | commitdiff | raw | diff to current
2020-01-28 Michael NolanFSGNJ: Convert proof to use FPNumDecode blob | commitdiff | raw | diff to current
2020-01-28 Michael NolanAdd formal proof for FSGNJPipeMod module blob | commitdiff | raw | diff to current