projects
/
ieee754fpu.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
add extra tests, find out whats going on with eq_gt_ge
[ieee754fpu.git]
/
src
/
ieee754
/
part_cmp
/
experiments
/
formal
/
proof_gt.py
2020-02-05
Michael Nolan
Reverse order of gt combiner so it works MSB first
blob
|
commitdiff
|
raw
2020-02-05
Michael Nolan
Add a signal to disable the gt inputs to gt_combiner
blob
|
commitdiff
|
raw
|
diff to current
2020-02-04
Michael Nolan
Modify gt experiment to handle eq as well
blob
|
commitdiff
|
raw
|
diff to current
2020-02-03
Michael Nolan
Add proof for using the greater than combiner to do...
blob
|
commitdiff
|
raw
|
diff to current
2020-02-03
Michael Nolan
Add tree-based greater than experiment
blob
|
commitdiff
|
raw
|
diff to current