projects
/
ieee754fpu.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
add correct NaN propagation to the fadd pipeline and formal proof
[ieee754fpu.git]
/
src
/
ieee754
/
fpadd
/
specialcases.py
2022-06-28
Jacob Lifshay
add correct NaN propagation to the fadd pipeline and...
blob
|
commitdiff
|
raw
2019-08-25
Luke Kenneth Casso...
rewrite fpadd specialcases to use Mux instead of m...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-25
Luke Kenneth Casso...
code-morph on add special-cases
blob
|
commitdiff
|
raw
|
diff to current
2019-08-25
Luke Kenneth Casso...
remove weirdness
blob
|
commitdiff
|
raw
|
diff to current
2019-07-31
Luke Kenneth Casso...
rename FPADDBaseData to FPBaseData and move to separate...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-31
Luke Kenneth Casso...
rename FPModBase* to PipeModBase*
blob
|
commitdiff
|
raw
|
diff to current
2019-07-31
Luke Kenneth Casso...
move FPModBase and FPModBaseChain to nmutil
blob
|
commitdiff
|
raw
|
diff to current
2019-07-31
Luke Kenneth Casso...
remove unneeded imports
blob
|
commitdiff
|
raw
|
diff to current
2019-07-31
Luke Kenneth Casso...
tidyup, use FPModBaseChain and FPModBase
blob
|
commitdiff
|
raw
|
diff to current
2019-07-31
Luke Kenneth Casso...
cleanup and add a new common class, FPModBase
blob
|
commitdiff
|
raw
|
diff to current
2019-07-31
Luke Kenneth Casso...
convert to DynamicPipe (default class in PipelineSpec...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-31
Luke Kenneth Casso...
use DynamicPipe instead of SimpleHandshake
blob
|
commitdiff
|
raw
|
diff to current
2019-07-28
Luke Kenneth Casso...
simplify code
blob
|
commitdiff
|
raw
|
diff to current
2019-07-14
Jacob Lifshay
switch pspec from dict to PipelineSpec
blob
|
commitdiff
|
raw
|
diff to current
2019-07-05
Luke Kenneth Casso...
big (single-purpose) update: move width arg into pspec
blob
|
commitdiff
|
raw
|
diff to current
2019-07-02
Luke Kenneth Casso...
use new FPBaseData as a "spec" (context), initialised...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-01
Luke Kenneth Casso...
add operand down pipeline chain
blob
|
commitdiff
|
raw
|
diff to current
2019-06-16
Luke Kenneth Casso...
fix up FPNumBase by creating a Record class (not derive...
blob
|
commitdiff
|
raw
|
diff to current
2019-06-16
Luke Kenneth Casso...
elaboratable cases
blob
|
commitdiff
|
raw
|
diff to current
2019-05-02
Luke Kenneth Casso...
more code-shuffle
blob
|
commitdiff
|
raw
|
diff to current
2019-05-02
Luke Kenneth Casso...
move test_buf_pipe.py unit test, shuffle nmutil
blob
|
commitdiff
|
raw
|
diff to current
2019-05-02
Luke Kenneth Casso...
reorganise imports
blob
|
commitdiff
|
raw
|
diff to current
2019-05-02
Luke Kenneth Casso...
move fpadd to top level
blob
|
commitdiff
|
raw
|
diff to current