projects
/
ieee754fpu.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
add PartitionedAll operator, based on PartitionedBase
[ieee754fpu.git]
/
src
/
ieee754
/
part_cmp
/
experiments
/
2021-10-02
Luke Kenneth Casso...
add PartitionedAll operator, based on PartitionedBase
tree
|
commitdiff
2021-01-16
Luke Kenneth Casso...
convert EQCombiner to general-purpose, create XORCombiner
tree
|
commitdiff
2021-01-10
Cesar Strauss
Use styles in write_gtkw to simplify the trace description
tree
|
commitdiff
2021-01-10
Cesar Strauss
Factor-out the code to make equally spaced partition...
tree
|
commitdiff
2021-01-09
Cesar Strauss
Post-process PartitionedEq to ripple the LSB
tree
|
commitdiff
2021-01-09
Cesar Strauss
Implement formal verification of PartitionedEq based...
tree
|
commitdiff
2020-02-05
Michael Nolan
move unused partitioned comparison modules to experiments/
tree
|
commitdiff
2020-02-05
Michael Nolan
move gt_combiner out of experiments/
tree
|
commitdiff
2020-02-05
Luke Kenneth Casso...
whitespace
tree
|
commitdiff
2020-02-05
Michael Nolan
Add module to handle partitioned eq, gt, and ge comparisons
tree
|
commitdiff
2020-02-05
Michael Nolan
Reverse order of gt combiner so it works MSB first
tree
|
commitdiff
2020-02-05
Michael Nolan
Add a signal to disable the gt inputs to gt_combiner
tree
|
commitdiff
2020-02-04
Luke Kenneth Casso...
add experiments __init__.py
tree
|
commitdiff
2020-02-04
Luke Kenneth Casso...
bit of whitespace
tree
|
commitdiff
2020-02-04
Luke Kenneth Casso...
using format is a bit long for 1 argument, just use %d
tree
|
commitdiff
2020-02-04
Michael Nolan
Modify gt experiment to handle eq as well
tree
|
commitdiff
2020-02-03
Michael Nolan
Add proof for using the greater than combiner to do...
tree
|
commitdiff
2020-02-03
Michael Nolan
Add tree-based greater than experiment
tree
|
commitdiff
2020-02-03
Michael Nolan
Move experiments with partition methods to a separate...
tree
|
commitdiff