projects / ieee754fpu.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
run tests in parallel
[ieee754fpu.git] / src / ieee754 / fsgnj /
2020-01-28 Michael NolanUse nmigen's built in formal runner instead of mine tree | commitdiff
2020-01-28 Michael NolanUpdate gitignore in formal directories to ignore proof... tree | commitdiff
2020-01-28 Luke Kenneth Casso... allow fsgnj proof to be run from any location tree | commitdiff
2020-01-28 Michael NolanFSGNJ: expandd formal proof to 16 and 64 bits tree | commitdiff
2020-01-28 Michael NolanFSGNJ: Convert proof to use FPNumDecode tree | commitdiff
2020-01-28 Michael NolanAdd formal proof for FSGNJPipeMod module tree | commitdiff
2020-01-27 Luke Kenneth Casso... remove unneeded comment tree | commitdiff
2020-01-27 Michael NolanFSGNJ: Fix typo in abs tree | commitdiff
2020-01-27 Michael NolanFSGNJ: Remove usage of FPNumDecode tree | commitdiff
2020-01-27 Luke Kenneth Casso... add comments, remove one of the Muxes tree | commitdiff
2020-01-27 Luke Kenneth Casso... reduce linelength <80chars tree | commitdiff
2020-01-27 Michael NolanAdd more/better comments to fsignj.py tree | commitdiff
2020-01-27 Michael NolanFSGNJ: Replace use of Switch() with explicit muxes tree | commitdiff
2020-01-27 Michael NolanFSGNJ: Use Floating point decode module instead of... tree | commitdiff
2020-01-27 Luke Kenneth Casso... add copyright notices tree | commitdiff
2020-01-27 Michael NolanExpand FSGNJ module to 16 and 64 bit floats tree | commitdiff
2020-01-27 Michael NolanPep8 cleanup of FSGNJ module tree | commitdiff
2020-01-27 Michael NolanFSGNJ working now in all three modes tree | commitdiff
2020-01-27 Michael NolanAdd basic test for fsignj pipe tree | commitdiff
2020-01-27 Michael NolanAdd FSGNJ Pipeline stage and overall FSGNJ pipeline tree | commitdiff