projects
/
ieee754fpu.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Split-out the gate generator from the proof
[ieee754fpu.git]
/
src
/
ieee754
/
part
/
test
/
2020-02-26
Luke Kenneth Casso...
update comments on test partitioned signal
tree
|
commitdiff
2020-02-26
Michael Nolan
Add shift right to test_partsig and partsig
tree
|
commitdiff
2020-02-21
Luke Kenneth Casso...
use alternative class as an experiment for coriolis2
tree
|
commitdiff
2020-02-19
Luke Kenneth Casso...
test shift against scalar b input
tree
|
commitdiff
2020-02-14
Luke Kenneth Casso...
fix the shift-test to truncate b-input
tree
|
commitdiff
2020-02-14
Luke Kenneth Casso...
reduce range of b in shift test
tree
|
commitdiff
2020-02-14
Luke Kenneth Casso...
add beginnings of shift unit test for partsig
tree
|
commitdiff
2020-02-10
Michael Nolan
Fix line length
tree
|
commitdiff
2020-02-10
Michael Nolan
Fix carry output of adder/subtracter
tree
|
commitdiff
2020-02-10
Michael Nolan
Fix flake8 errors in test_partsig
tree
|
commitdiff
2020-02-10
Michael Nolan
Minor cleanup
tree
|
commitdiff
2020-02-10
Michael Nolan
Add neg operator to partsig.py
tree
|
commitdiff
2020-02-10
Michael Nolan
Add subtraction to partsig.py
tree
|
commitdiff
2020-02-09
Luke Kenneth Casso...
add placeholder for test sub in partsig
tree
|
commitdiff
2020-02-09
Luke Kenneth Casso...
add 100 random integer tests to partitioned add
tree
|
commitdiff
2020-02-09
Luke Kenneth Casso...
add 100 random integer tests to partitioned add
tree
|
commitdiff
2020-02-09
Michael Nolan
Convert partsig to use the existing add_op function
tree
|
commitdiff
2020-02-09
Michael Nolan
Add rudimentary test for partitioned add with carry
tree
|
commitdiff
2020-02-07
Luke Kenneth Casso...
fix muxop test in part_sig test
tree
|
commitdiff
2020-02-07
Luke Kenneth Casso...
fix syntax errors for test_partsig
tree
|
commitdiff
2020-02-07
Michael Nolan
Fix != implementation in partsig.py
tree
|
commitdiff
2020-02-07
Michael Nolan
Modify test_partsig to handle the new changes to reorde...
tree
|
commitdiff
2020-02-07
Luke Kenneth Casso...
add unit test for part_mux
tree
|
commitdiff
2020-02-07
Luke Kenneth Casso...
ripple of LSB from compare-operations, successful
tree
|
commitdiff
2020-02-06
Luke Kenneth Casso...
make common function for testing comparators
tree
|
commitdiff
2020-02-06
Luke Kenneth Casso...
fix partsig gt test, add ge test
tree
|
commitdiff
2020-02-06
Luke Kenneth Casso...
add gt part_sig operator
tree
|
commitdiff
2020-02-06
Michael Nolan
Fix test_partsig's invalid result for the equals test
tree
|
commitdiff
2020-02-05
Luke Kenneth Casso...
debug string for part-eq is an eq not +
tree
|
commitdiff
2020-01-30
Luke Kenneth Casso...
working partitioned eqs function
tree
|
commitdiff
2020-01-30
Luke Kenneth Casso...
whoops overwrote input variable
tree
|
commitdiff
2020-01-30
Luke Kenneth Casso...
add comments
tree
|
commitdiff
2020-01-24
Luke Kenneth Casso...
debug eq partition
tree
|
commitdiff
2020-01-24
Luke Kenneth Casso...
add beginnings of partitioned eq into unit test
tree
|
commitdiff
2020-01-24
Luke Kenneth Casso...
convert to partition mask rather than partition points
tree
|
commitdiff
2020-01-24
Luke Kenneth Casso...
de-modulify PartitionedSignal, call "set_module" to...
tree
|
commitdiff
2020-01-22
Luke Kenneth Casso...
add partition test add unit test
tree
|
commitdiff