projects
/
ieee754fpu.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
remove usage of m.If() in fpmax and replace with Mux
[ieee754fpu.git]
/
src
/
ieee754
/
fsgnj
/
2020-01-28
Michael Nolan
Update 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 Nolan
FSGNJ: expandd formal proof to 16 and 64 bits
tree
|
commitdiff
2020-01-28
Michael Nolan
FSGNJ: Convert proof to use FPNumDecode
tree
|
commitdiff
2020-01-28
Michael Nolan
Add formal proof for FSGNJPipeMod module
tree
|
commitdiff
2020-01-27
Luke Kenneth Casso...
remove unneeded comment
tree
|
commitdiff
2020-01-27
Michael Nolan
FSGNJ: Fix typo in abs
tree
|
commitdiff
2020-01-27
Michael Nolan
FSGNJ: 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 Nolan
Add more/better comments to fsignj.py
tree
|
commitdiff
2020-01-27
Michael Nolan
FSGNJ: Replace use of Switch() with explicit muxes
tree
|
commitdiff
2020-01-27
Michael Nolan
FSGNJ: Use Floating point decode module instead of...
tree
|
commitdiff
2020-01-27
Luke Kenneth Casso...
add copyright notices
tree
|
commitdiff
2020-01-27
Michael Nolan
Expand FSGNJ module to 16 and 64 bit floats
tree
|
commitdiff
2020-01-27
Michael Nolan
Pep8 cleanup of FSGNJ module
tree
|
commitdiff
2020-01-27
Michael Nolan
FSGNJ working now in all three modes
tree
|
commitdiff
2020-01-27
Michael Nolan
Add basic test for fsignj pipe
tree
|
commitdiff
2020-01-27
Michael Nolan
Add FSGNJ Pipeline stage and overall FSGNJ pipeline
tree
|
commitdiff