projects
/
ieee754fpu.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
fix syntax errors for test_partsig
2020-02-07
Michael Nolan
Fix != implementation in partsig.py
commit
|
commitdiff
|
tree
2020-02-07
Michael Nolan
Modify test_partsig to handle the new changes to reorder_bit...
commit
|
commitdiff
|
tree
2020-02-07
Michael Nolan
modify reorder_bits to copy the MSB of the partition...
commit
|
commitdiff
|
tree
2020-02-06
Michael Nolan
Fix test_partsig's invalid result for the equals test
commit
|
commitdiff
|
tree
2020-02-06
Michael Nolan
Add 0 assertions to the proof for eq_gt_ge
commit
|
commitdiff
|
tree
2020-02-05
Michael Nolan
Fix order of results from PartitionedEqGtGe
commit
|
commitdiff
|
tree
2020-02-05
Michael Nolan
move unused partitioned comparison modules to experiments/
commit
|
commitdiff
|
tree
2020-02-05
Michael Nolan
move gt_combiner out of experiments/
commit
|
commitdiff
|
tree
2020-02-05
Michael Nolan
Add module to handle partitioned eq, gt, and ge comparisons
commit
|
commitdiff
|
tree
2020-02-05
Michael Nolan
Reverse order of gt combiner so it works MSB first
commit
|
commitdiff
|
tree
2020-02-05
Michael Nolan
Add a signal to disable the gt inputs to gt_combiner
commit
|
commitdiff
|
tree
2020-02-05
Michael Nolan
Add proof for equals module
commit
|
commitdiff
|
tree
2020-02-04
Michael Nolan
Modify gt experiment to handle eq as well
commit
|
commitdiff
|
tree
2020-02-03
Michael Nolan
Add proof for using the greater than combiner to do...
commit
|
commitdiff
|
tree
2020-02-03
Michael Nolan
Add tree-based greater than experiment
commit
|
commitdiff
|
tree
2020-02-03
Michael Nolan
Move experiments with partition methods to a separate...
commit
|
commitdiff
|
tree
2020-02-03
Michael Nolan
Add tree based partitioned equals module
commit
|
commitdiff
|
tree
2020-02-03
Michael Nolan
Rename partition_combiner to eq_combiner
commit
|
commitdiff
|
tree
2020-02-03
Michael Nolan
Add an alternative partitioned equals combiner module
commit
|
commitdiff
|
tree
2020-02-02
Michael Nolan
Handle -0 and +0 equals and <
commit
|
commitdiff
|
tree
2020-02-02
Michael Nolan
Add test case for NaN and -0 handling to fpmax
commit
|
commitdiff
|
tree
2020-02-02
Michael Nolan
Replace If and Switch statements with muxes in fpcmp.py
commit
|
commitdiff
|
tree
2020-02-02
Michael Nolan
Add formal proof for FLT and FLE for FPCMP
commit
|
commitdiff
|
tree
2020-02-02
Michael Nolan
Add FLT and FLE functionality to FPCMP
commit
|
commitdiff
|
tree
2020-02-02
Michael Nolan
Handle NaNs for FPCMP
commit
|
commitdiff
|
tree
2020-02-02
Michael Nolan
Add feq functionality to fpcmp
commit
|
commitdiff
|
tree
2020-02-02
Michael Nolan
Begin adding formal proof for fpcmp
commit
|
commitdiff
|
tree
2020-02-02
Michael Nolan
Begin adding FPCMP module (FEQ, FLT, FLE)
commit
|
commitdiff
|
tree
2020-01-31
Michael Nolan
Fix nmigen "domain" error when trying to run unit tests
commit
|
commitdiff
|
tree
2020-01-28
Michael Nolan
Use nmigen's built in formal runner instead of mine
commit
|
commitdiff
|
tree
2020-01-28
Michael Nolan
Fix handling of the .sby file directory when running...
commit
|
commitdiff
|
tree
2020-01-28
Michael Nolan
Use anyconst for the inputs of the dut in FMax formal...
commit
|
commitdiff
|
tree
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