projects
/
ieee754fpu.git
/ search
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
2020-01-28
Michael Nolan
remove usage of m.If() in fpmax and replace with Mux
commit
|
commitdiff
|
tree
2020-01-28
Michael Nolan
Flesh out the formal proof for fmax
commit
|
commitdiff
|
tree
2020-01-28
Michael Nolan
Update gitignore in formal directories to ignore proof...
commit
|
commitdiff
|
tree
2020-01-28
Michael Nolan
Add rudimentary proof to fpmax
commit
|
commitdiff
|
tree
2020-01-28
Michael Nolan
Add fpmin handling to fpmax module
commit
|
commitdiff
|
tree
2020-01-28
Michael Nolan
Add FPMAX module
commit
|
commitdiff
|
tree
2020-01-28
Michael Nolan
FSGNJ: expandd formal proof to 16 and 64 bits
commit
|
commitdiff
|
tree
2020-01-28
Michael Nolan
FSGNJ: Convert proof to use FPNumDecode
commit
|
commitdiff
|
tree
2020-01-28
Michael Nolan
Add formal proof for FSGNJPipeMod module
commit
|
commitdiff
|
tree
2020-01-27
Michael Nolan
FSGNJ: Fix typo in abs
commit
|
commitdiff
|
tree
2020-01-27
Michael Nolan
FSGNJ: Remove usage of FPNumDecode
commit
|
commitdiff
|
tree
2020-01-27
Michael Nolan
Add more/better comments to fsignj.py
commit
|
commitdiff
|
tree
2020-01-27
Michael Nolan
FSGNJ: Replace use of Switch() with explicit muxes
commit
|
commitdiff
|
tree
2020-01-27
Michael Nolan
FSGNJ: Use Floating point decode module instead of...
commit
|
commitdiff
|
tree
2020-01-27
Michael Nolan
Move patches in README to separate files
commit
|
commitdiff
|
tree
2020-01-27
Michael Nolan
Expand FSGNJ module to 16 and 64 bit floats
commit
|
commitdiff
|
tree
2020-01-27
Michael Nolan
Pep8 cleanup of FSGNJ module
commit
|
commitdiff
|
tree
2020-01-27
Michael Nolan
FSGNJ working now in all three modes
commit
|
commitdiff
|
tree
2020-01-27
Michael Nolan
Add basic test for fsignj pipe
commit
|
commitdiff
|
tree
2020-01-27
Michael Nolan
Add FSGNJ Pipeline stage and overall FSGNJ pipeline
commit
|
commitdiff
|
tree