projects
/
ieee754fpu.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
ieee754fpu.git
2021-06-05
R Veera Kumar
Initial addition of sphinx documentation system.
commit
|
commitdiff
|
tree
2021-04-12
Luke Kenneth...
corrections to setup.py for classifier, for pypi upload
commit
|
commitdiff
|
tree
2021-04-12
Luke Kenneth...
update for upload to pypi
commit
|
commitdiff
|
tree
2021-01-23
Cesar Strauss
Convert add and sub to return PartitionedSignal
commit
|
commitdiff
|
tree
2021-01-23
Cesar Strauss
Revert order of operations in PartitionedSignal.implies()
commit
|
commitdiff
|
tree
2021-01-23
Cesar Strauss
Clarify comment about operations returning plain Signals
commit
|
commitdiff
|
tree
2021-01-23
Cesar Strauss
Convert all bitwise logical ops to return PartitionedSignal
commit
|
commitdiff
|
tree
2021-01-23
Cesar Strauss
Also copy the module in PartotionSignal.like()
commit
|
commitdiff
|
tree
2021-01-23
Cesar Strauss
Return a PartitionedSignal from the bitwise "not" operation
commit
|
commitdiff
|
tree
2021-01-23
Cesar Strauss
Implement PartitionedSignal.like()
commit
|
commitdiff
|
tree
2021-01-23
Cesar Strauss
Use z3 solver instead of yices2 when convenient
commit
|
commitdiff
|
tree
2021-01-20
Cesar Strauss
Add tests for bitwise logical operators
commit
|
commitdiff
|
tree
2021-01-20
Cesar Strauss
Reverse order of operations in implies()
commit
|
commitdiff
|
tree
2021-01-18
Cesar Strauss
Do not register carry-out on the PartitionedAdder
commit
|
commitdiff
|
tree
2021-01-17
Cesar Strauss
Fix PartitionedSignal.neg and its test case
commit
|
commitdiff
|
tree
2021-01-17
Cesar Strauss
Allow the proof driver to check operations with integer...
commit
|
commitdiff
|
tree
2021-01-16
Cesar Strauss
Use RipleLSB in PartitionedXOR, and invert outputs
ls180-24jan2020
commit
|
commitdiff
|
tree
2021-01-16
Luke Kenneth...
add first cut at formal proof for PartitionedXOR
commit
|
commitdiff
|
tree
2021-01-16
Luke Kenneth...
add PartitionedXOR to PartitionedSignal (xor operator)
commit
|
commitdiff
|
tree
2021-01-16
Cesar Strauss
Check PartitionedSignal.any().
commit
|
commitdiff
|
tree
2021-01-16
Luke Kenneth...
add first cut (untested) of PartitionedXOR
commit
|
commitdiff
|
tree
2021-01-16
Luke Kenneth...
convert EQCombiner to general-purpose, create XORCombiner
commit
|
commitdiff
|
tree
2021-01-16
Luke Kenneth...
add partitioned signal any() operator
commit
|
commitdiff
|
tree
2021-01-16
Cesar Strauss
Allow a variable number of operands in the proof driver
commit
|
commitdiff
|
tree
2021-01-11
Cesar Strauss
Apparently PartitionedEqGtGe is already conformant
commit
|
commitdiff
|
tree
2021-01-10
Cesar Strauss
Implement checks for all the rest of the comparison...
commit
|
commitdiff
|
tree
2021-01-10
Cesar Strauss
Generate and check expected values for all possible...
commit
|
commitdiff
|
tree
2021-01-10
Cesar Strauss
Generate shifted down input and outputs
commit
|
commitdiff
|
tree
2021-01-10
Cesar Strauss
Use styles in write_gtkw to simplify the trace description
commit
|
commitdiff
|
tree
2021-01-10
Cesar Strauss
Add the Gate Generator to the ComparisonOpDriver
commit
|
commitdiff
|
tree
2021-01-10
Cesar Strauss
Factor-out the code to make equally spaced partition...
commit
|
commitdiff
|
tree
2021-01-10
Cesar Strauss
Start proof for PartitionedSignal equals operator
commit
|
commitdiff
|
tree
2021-01-10
Cesar Strauss
Update Simulator interface to current nMigen
commit
|
commitdiff
|
tree
2021-01-10
Cesar Strauss
Use len(sig) instead of sig.shape()[0]
commit
|
commitdiff
|
tree
2021-01-09
Cesar Strauss
Use the correct class name
commit
|
commitdiff
|
tree
2021-01-09
Cesar Strauss
Check all possible opcodes for PartitionedEqGtGe
commit
|
commitdiff
|
tree
2021-01-09
Cesar Strauss
Formal verification of PartitionedEqGtGe (EQ only)
commit
|
commitdiff
|
tree
2021-01-09
Cesar Strauss
Post-process PartitionedEq to ripple the LSB
commit
|
commitdiff
|
tree
2021-01-09
Cesar Strauss
Implement formal verification of PartitionedEq based...
commit
|
commitdiff
|
tree
2021-01-08
Cesar Strauss
Calculate the expected value, test and assert
commit
|
commitdiff
|
tree
2021-01-08
Cesar Strauss
Split-out the gate generator from the proof
commit
|
commitdiff
|
tree
2021-01-07
Cesar Strauss
Compare the expected output for all partition sizes
commit
|
commitdiff
|
tree
2021-01-06
Cesar Strauss
Generate shifted down outputs
commit
|
commitdiff
|
tree
2021-01-05
Cesar Strauss
Generate the bit pattern of gates corresponding to...
commit
|
commitdiff
|
tree
2021-01-04
Cesar Strauss
Work only with nibbles on the ascending cascade
commit
|
commitdiff
|
tree
2021-01-04
Cesar Strauss
Fill the second nibble of the pattern
commit
|
commitdiff
|
tree
2021-01-04
Cesar Strauss
Restart the pattern at partition boundaries
commit
|
commitdiff
|
tree
2021-01-04
Cesar Strauss
Start work on improving formal verification of Partitio...
commit
|
commitdiff
|
tree
2020-12-28
Luke Kenneth...
partsig: redirect bool to any for now, and use a =...
commit
|
commitdiff
|
tree
2020-12-27
Luke Kenneth...
comment PartitionedSignal lt/le
commit
|
commitdiff
|
tree
2020-07-20
Jacob Lifshay
disable faulty bit_width reduction logic in DivPipeCore
commit
|
commitdiff
|
tree
2020-07-20
Jacob Lifshay
fix mismatched comb process delays
commit
|
commitdiff
|
tree
2020-07-20
Jacob Lifshay
add process tracing
commit
|
commitdiff
|
tree
2020-07-15
Luke Kenneth...
remove FPPipeContext (moved to nmutil), name-substitute...
commit
|
commitdiff
|
tree
2020-07-13
Jacob Lifshay
working on fixing DivPipeCore's test cases
commit
|
commitdiff
|
tree
2020-07-13
Jacob Lifshay
clean up DivPipeCoreConfig API
commit
|
commitdiff
|
tree
2020-07-10
Luke Kenneth...
whoops missed set up of temp variable bw
commit
|
commitdiff
|
tree
2020-07-10
Luke Kenneth...
only pass in lhs bit_width * 2 for UDivRem
commit
|
commitdiff
|
tree
2020-07-06
Luke Kenneth...
add arguments to MulPipe_8_16_32_64
commit
|
commitdiff
|
tree
2020-07-06
Luke Kenneth...
fix test_mul_pipe.py unit test
commit
|
commitdiff
|
tree
2020-07-04
Luke Kenneth...
continue reducing length of signals in div core
commit
|
commitdiff
|
tree
2020-07-04
Luke Kenneth...
attempt to get simulation for div test_core.py running
commit
|
commitdiff
|
tree
2020-07-04
Luke Kenneth...
reduce compare lengths to *2 rather than *3
commit
|
commitdiff
|
tree
2020-07-04
Luke Kenneth...
whoops set pass_flag[0] always true
commit
|
commitdiff
|
tree
2020-07-04
Luke Kenneth...
add feedback_width argument to runfp for testing
commit
|
commitdiff
|
tree
2020-07-03
Luke Kenneth...
allow arrangement for feedback loops to be possible...
commit
|
commitdiff
|
tree
2020-07-03
Luke Kenneth...
cut top trial comparison
commit
|
commitdiff
|
tree
2020-07-03
Luke Kenneth...
remove use of Array, replace with treereduce
commit
|
commitdiff
|
tree
2020-07-03
Luke Kenneth...
cut root_times_radicand if not doing Sqrt
commit
|
commitdiff
|
tree
2020-07-03
Luke Kenneth...
add "supported" option to div core
commit
|
commitdiff
|
tree
2020-06-09
Luke Kenneth...
fix imports (allows test command to be run from non...
commit
|
commitdiff
|
tree
2020-06-04
Jacob Lifshay
move mulAddRecFN.py and nmigen_div_experiment.py to...
commit
|
commitdiff
|
tree
2020-05-22
Jacob Lifshay
add DivPipeOp in fpdiv/op.py
commit
|
commitdiff
|
tree
2020-05-16
Michael Nolan
Fix handling of FPPipeContext.ports()
commit
|
commitdiff
|
tree
2020-05-08
Michael Nolan
Allow partsig to take in a PartitionPoints directly
commit
|
commitdiff
|
tree
2020-05-05
Michael Nolan
Add in FPPipeContext to the cordic pipeline
commit
|
commitdiff
|
tree
2020-05-05
Michael Nolan
Use clz.py from nmutil
commit
|
commitdiff
|
tree
2020-05-05
Luke Kenneth...
track down error in CORDIC pipe_data, "yield from"...
commit
|
commitdiff
|
tree
2020-05-05
Luke Kenneth...
whoops cant output .il at the moment
commit
|
commitdiff
|
tree
2020-05-05
Luke Kenneth...
add progress counter
commit
|
commitdiff
|
tree
2020-05-05
Luke Kenneth...
allow rtlil file to be created in cordic
commit
|
commitdiff
|
tree
2020-05-05
Michael Nolan
Add renormalize.py (oops!)
commit
|
commitdiff
|
tree
2020-05-05
Luke Kenneth...
remove extraneous whitespace
commit
|
commitdiff
|
tree
2020-05-04
Michael Nolan
Remove print statements from clz.py
commit
|
commitdiff
|
tree
2020-05-04
Michael Nolan
Add asserts to fp pipe test
commit
|
commitdiff
|
tree
2020-05-04
Michael Nolan
Sorta working FP renormalization in cordic
commit
|
commitdiff
|
tree
2020-05-04
Michael Nolan
Extend clz to work with odd widths
commit
|
commitdiff
|
tree
2020-05-04
Michael Nolan
Extend CLZ to work over even, non powers of 2
commit
|
commitdiff
|
tree
2020-05-04
Michael Nolan
Add proof for clz.py
commit
|
commitdiff
|
tree
2020-05-04
Michael Nolan
Add count leading zeros module (should probably go...
commit
|
commitdiff
|
tree
2020-05-04
Michael Nolan
Have sin_cos pipeline use bigfloat calculated atan...
commit
|
commitdiff
|
tree
2020-05-04
Michael Nolan
Add cordic stages to fp cordic pipeline
commit
|
commitdiff
|
tree
2020-05-04
Michael Nolan
Add stage to convert input float to fixed point number
commit
|
commitdiff
|
tree
2020-05-04
Michael Nolan
Begin adding floating point cordic pipeline
commit
|
commitdiff
|
tree
2020-05-04
Michael Nolan
Allow cordic to work with 64 bit floats
commit
|
commitdiff
|
tree
2020-05-01
Luke Kenneth...
move ripple.py to nmutil
commit
|
commitdiff
|
tree
2020-04-17
Jacob Lifshay
add libmpfr-dev to .gitlab-ci.yml
commit
|
commitdiff
|
tree
2020-04-17
Michael Nolan
Change tabs to spaces in .gitlab-ci.yml
commit
|
commitdiff
|
tree
2020-04-17
Michael Nolan
Add libgmp-dev to .gitlab-ci.yml
commit
|
commitdiff
|
tree
2020-04-17
Michael Nolan
Use python bigfloat to calculate atan tables
commit
|
commitdiff
|
tree
next