ieee754fpu.git
2021-01-10 Cesar StraussStart proof for PartitionedSignal equals operator
2021-01-10 Cesar StraussUpdate Simulator interface to current nMigen
2021-01-10 Cesar StraussUse len(sig) instead of sig.shape()[0]
2021-01-09 Cesar StraussUse the correct class name
2021-01-09 Cesar StraussCheck all possible opcodes for PartitionedEqGtGe
2021-01-09 Cesar StraussFormal verification of PartitionedEqGtGe (EQ only)
2021-01-09 Cesar StraussPost-process PartitionedEq to ripple the LSB
2021-01-09 Cesar StraussImplement formal verification of PartitionedEq based...
2021-01-08 Cesar StraussCalculate the expected value, test and assert
2021-01-08 Cesar StraussSplit-out the gate generator from the proof
2021-01-07 Cesar StraussCompare the expected output for all partition sizes
2021-01-06 Cesar StraussGenerate shifted down outputs
2021-01-05 Cesar StraussGenerate the bit pattern of gates corresponding to...
2021-01-04 Cesar StraussWork only with nibbles on the ascending cascade
2021-01-04 Cesar StraussFill the second nibble of the pattern
2021-01-04 Cesar StraussRestart the pattern at partition boundaries
2021-01-04 Cesar StraussStart work on improving formal verification of Partitio...
2020-12-28 Luke Kenneth... partsig: redirect bool to any for now, and use a =...
2020-12-27 Luke Kenneth... comment PartitionedSignal lt/le
2020-07-20 Jacob Lifshaydisable faulty bit_width reduction logic in DivPipeCore
2020-07-20 Jacob Lifshayfix mismatched comb process delays
2020-07-20 Jacob Lifshayadd process tracing
2020-07-15 Luke Kenneth... remove FPPipeContext (moved to nmutil), name-substitute...
2020-07-13 Jacob Lifshayworking on fixing DivPipeCore's test cases
2020-07-13 Jacob Lifshayclean up DivPipeCoreConfig API
2020-07-10 Luke Kenneth... whoops missed set up of temp variable bw
2020-07-10 Luke Kenneth... only pass in lhs bit_width * 2 for UDivRem
2020-07-06 Luke Kenneth... add arguments to MulPipe_8_16_32_64
2020-07-06 Luke Kenneth... fix test_mul_pipe.py unit test
2020-07-04 Luke Kenneth... continue reducing length of signals in div core
2020-07-04 Luke Kenneth... attempt to get simulation for div test_core.py running
2020-07-04 Luke Kenneth... reduce compare lengths to *2 rather than *3
2020-07-04 Luke Kenneth... whoops set pass_flag[0] always true
2020-07-04 Luke Kenneth... add feedback_width argument to runfp for testing
2020-07-03 Luke Kenneth... allow arrangement for feedback loops to be possible...
2020-07-03 Luke Kenneth... cut top trial comparison
2020-07-03 Luke Kenneth... remove use of Array, replace with treereduce
2020-07-03 Luke Kenneth... cut root_times_radicand if not doing Sqrt
2020-07-03 Luke Kenneth... add "supported" option to div core
2020-06-09 Luke Kenneth... fix imports (allows test command to be run from non...
2020-06-04 Jacob Lifshaymove mulAddRecFN.py and nmigen_div_experiment.py to...
2020-05-22 Jacob Lifshayadd DivPipeOp in fpdiv/op.py
2020-05-16 Michael NolanFix handling of FPPipeContext.ports()
2020-05-08 Michael NolanAllow partsig to take in a PartitionPoints directly
2020-05-05 Michael NolanAdd in FPPipeContext to the cordic pipeline
2020-05-05 Michael NolanUse clz.py from nmutil
2020-05-05 Luke Kenneth... track down error in CORDIC pipe_data, "yield from"...
2020-05-05 Luke Kenneth... whoops cant output .il at the moment
2020-05-05 Luke Kenneth... add progress counter
2020-05-05 Luke Kenneth... allow rtlil file to be created in cordic
2020-05-05 Michael NolanAdd renormalize.py (oops!)
2020-05-05 Luke Kenneth... remove extraneous whitespace
2020-05-04 Michael NolanRemove print statements from clz.py
2020-05-04 Michael NolanAdd asserts to fp pipe test
2020-05-04 Michael NolanSorta working FP renormalization in cordic
2020-05-04 Michael NolanExtend clz to work with odd widths
2020-05-04 Michael NolanExtend CLZ to work over even, non powers of 2
2020-05-04 Michael NolanAdd proof for clz.py
2020-05-04 Michael NolanAdd count leading zeros module (should probably go...
2020-05-04 Michael NolanHave sin_cos pipeline use bigfloat calculated atan...
2020-05-04 Michael NolanAdd cordic stages to fp cordic pipeline
2020-05-04 Michael NolanAdd stage to convert input float to fixed point number
2020-05-04 Michael NolanBegin adding floating point cordic pipeline
2020-05-04 Michael NolanAllow cordic to work with 64 bit floats
2020-05-01 Luke Kenneth... move ripple.py to nmutil
2020-04-17 Jacob Lifshayadd libmpfr-dev to .gitlab-ci.yml
2020-04-17 Michael NolanChange tabs to spaces in .gitlab-ci.yml
2020-04-17 Michael NolanAdd libgmp-dev to .gitlab-ci.yml
2020-04-17 Michael NolanUse python bigfloat to calculate atan tables
2020-04-17 Michael NolanRevert "Use higher precision arithmetic when calculatin...
2020-04-17 Michael NolanUse higher precision arithmetic when calculating the...
2020-04-16 Michael Nolanchange test_fpsin to use 32 bit floats
2020-04-16 Michael NolanRun the cordic for the proper number of iterations
2020-04-16 Michael NolanWorking (ish) fpsin iterative cordic
2020-04-16 Michael NolanAssert that fpsin_cos converts floats to fixed correctly
2020-04-16 Michael NolanBegin working on multi cycle float cordic
2020-04-14 Michael NolanAdd experiment testing the effects of adding extra...
2020-04-13 Luke Kenneth... add rtlil conversion and fix yield from in Cordic Data
2020-04-03 Jacob Lifshayrun tests in parallel
2020-04-03 Jacob Lifshaybuilding sfpy works
2020-04-03 Jacob Lifshayadd not yet working .gitlab-ci.yml
2020-04-02 Michael NolanCombine a selectable number of rounds into one pipeline...
2020-04-01 Michael NolanCleanup
2020-04-01 Michael NolanCombine initial stage with first cordic stage
2020-04-01 Michael NolanAdd actual tests to test_pipeline.py
2020-04-01 Michael NolanRegister each pipeline stage
2020-04-01 Michael NolanAdd test for sin_cos_pipe (kinda working)
2020-04-01 Michael NolanAdd test for sin_cos_pipe (not working still)
2020-04-01 Michael NolanConnect up pipeline stages
2020-04-01 Michael NolanBegin work on pipelined cordic
2020-03-31 Michael NolanCleanup
2020-03-31 Michael NolanWorking sin/cos cordic
2020-03-31 Michael Nolansin/cos cordic partially working
2020-03-31 Michael NolanAdd test for sin_cos.py
2020-03-31 Michael NolanBegin adding cordic
2020-03-02 Luke Kenneth... yet another nuisance
2020-03-02 Luke Kenneth... annoying, see https://github.com/nmigen/nmigen/issues/302
2020-02-27 Michael NolanApply Luke's suggestions/FIXME's
2020-02-26 Luke Kenneth... more fun comments
2020-02-26 Luke Kenneth... shuffle and comments
next