projects / ieee754fpu.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
ieee754fpu.git
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 StraussCheck 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 StraussAllow a variable number of operands in the proof driver commit | commitdiff | tree
2021-01-11 Cesar StraussApparently PartitionedEqGtGe is already conformant commit | commitdiff | tree
2021-01-10 Cesar StraussImplement checks for all the rest of the comparison... commit | commitdiff | tree
2021-01-10 Cesar StraussGenerate and check expected values for all possible... commit | commitdiff | tree
2021-01-10 Cesar StraussGenerate shifted down input and outputs commit | commitdiff | tree
2021-01-10 Cesar StraussUse styles in write_gtkw to simplify the trace description commit | commitdiff | tree
2021-01-10 Cesar StraussAdd the Gate Generator to the ComparisonOpDriver commit | commitdiff | tree
2021-01-10 Cesar StraussFactor-out the code to make equally spaced partition... commit | commitdiff | tree
2021-01-10 Cesar StraussStart proof for PartitionedSignal equals operator commit | commitdiff | tree
2021-01-10 Cesar StraussUpdate Simulator interface to current nMigen commit | commitdiff | tree
2021-01-10 Cesar StraussUse len(sig) instead of sig.shape()[0] commit | commitdiff | tree
2021-01-09 Cesar StraussUse the correct class name commit | commitdiff | tree
2021-01-09 Cesar StraussCheck all possible opcodes for PartitionedEqGtGe commit | commitdiff | tree
2021-01-09 Cesar StraussFormal verification of PartitionedEqGtGe (EQ only) commit | commitdiff | tree
2021-01-09 Cesar StraussPost-process PartitionedEq to ripple the LSB commit | commitdiff | tree
2021-01-09 Cesar StraussImplement formal verification of PartitionedEq based... commit | commitdiff | tree
2021-01-08 Cesar StraussCalculate the expected value, test and assert commit | commitdiff | tree
2021-01-08 Cesar StraussSplit-out the gate generator from the proof commit | commitdiff | tree
2021-01-07 Cesar StraussCompare the expected output for all partition sizes commit | commitdiff | tree
2021-01-06 Cesar StraussGenerate shifted down outputs commit | commitdiff | tree
2021-01-05 Cesar StraussGenerate the bit pattern of gates corresponding to... commit | commitdiff | tree
2021-01-04 Cesar StraussWork only with nibbles on the ascending cascade commit | commitdiff | tree
2021-01-04 Cesar StraussFill the second nibble of the pattern commit | commitdiff | tree
2021-01-04 Cesar StraussRestart the pattern at partition boundaries commit | commitdiff | tree
2021-01-04 Cesar StraussStart 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 Lifshaydisable faulty bit_width reduction logic in DivPipeCore commit | commitdiff | tree
2020-07-20 Jacob Lifshayfix mismatched comb process delays commit | commitdiff | tree
2020-07-20 Jacob Lifshayadd process tracing commit | commitdiff | tree
2020-07-15 Luke Kenneth... remove FPPipeContext (moved to nmutil), name-substitute... commit | commitdiff | tree
2020-07-13 Jacob Lifshayworking on fixing DivPipeCore's test cases commit | commitdiff | tree
2020-07-13 Jacob Lifshayclean 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 Lifshaymove mulAddRecFN.py and nmigen_div_experiment.py to... commit | commitdiff | tree
2020-05-22 Jacob Lifshayadd DivPipeOp in fpdiv/op.py commit | commitdiff | tree
2020-05-16 Michael NolanFix handling of FPPipeContext.ports() commit | commitdiff | tree
2020-05-08 Michael NolanAllow partsig to take in a PartitionPoints directly commit | commitdiff | tree
2020-05-05 Michael NolanAdd in FPPipeContext to the cordic pipeline commit | commitdiff | tree
2020-05-05 Michael NolanUse 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 NolanAdd renormalize.py (oops!) commit | commitdiff | tree
2020-05-05 Luke Kenneth... remove extraneous whitespace commit | commitdiff | tree
2020-05-04 Michael NolanRemove print statements from clz.py commit | commitdiff | tree
2020-05-04 Michael NolanAdd asserts to fp pipe test commit | commitdiff | tree
2020-05-04 Michael NolanSorta working FP renormalization in cordic commit | commitdiff | tree
2020-05-04 Michael NolanExtend clz to work with odd widths commit | commitdiff | tree
2020-05-04 Michael NolanExtend CLZ to work over even, non powers of 2 commit | commitdiff | tree
2020-05-04 Michael NolanAdd proof for clz.py commit | commitdiff | tree
2020-05-04 Michael NolanAdd count leading zeros module (should probably go... commit | commitdiff | tree
2020-05-04 Michael NolanHave sin_cos pipeline use bigfloat calculated atan... commit | commitdiff | tree
2020-05-04 Michael NolanAdd cordic stages to fp cordic pipeline commit | commitdiff | tree
2020-05-04 Michael NolanAdd stage to convert input float to fixed point number commit | commitdiff | tree
2020-05-04 Michael NolanBegin adding floating point cordic pipeline commit | commitdiff | tree
2020-05-04 Michael NolanAllow 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 Lifshayadd libmpfr-dev to .gitlab-ci.yml commit | commitdiff | tree
2020-04-17 Michael NolanChange tabs to spaces in .gitlab-ci.yml commit | commitdiff | tree
2020-04-17 Michael NolanAdd libgmp-dev to .gitlab-ci.yml commit | commitdiff | tree
2020-04-17 Michael NolanUse python bigfloat to calculate atan tables commit | commitdiff | tree
2020-04-17 Michael NolanRevert "Use higher precision arithmetic when calculatin... commit | commitdiff | tree
2020-04-17 Michael NolanUse higher precision arithmetic when calculating the... commit | commitdiff | tree
2020-04-16 Michael Nolanchange test_fpsin to use 32 bit floats commit | commitdiff | tree
2020-04-16 Michael NolanRun the cordic for the proper number of iterations commit | commitdiff | tree
2020-04-16 Michael NolanWorking (ish) fpsin iterative cordic commit | commitdiff | tree
2020-04-16 Michael NolanAssert that fpsin_cos converts floats to fixed correctly commit | commitdiff | tree
2020-04-16 Michael NolanBegin working on multi cycle float cordic commit | commitdiff | tree
2020-04-14 Michael NolanAdd experiment testing the effects of adding extra... commit | commitdiff | tree
2020-04-13 Luke Kenneth... add rtlil conversion and fix yield from in Cordic Data commit | commitdiff | tree
2020-04-03 Jacob Lifshayrun tests in parallel commit | commitdiff | tree
2020-04-03 Jacob Lifshaybuilding sfpy works commit | commitdiff | tree
2020-04-03 Jacob Lifshayadd not yet working .gitlab-ci.yml commit | commitdiff | tree
2020-04-02 Michael NolanCombine a selectable number of rounds into one pipeline... commit | commitdiff | tree
2020-04-01 Michael NolanCleanup commit | commitdiff | tree
2020-04-01 Michael NolanCombine initial stage with first cordic stage commit | commitdiff | tree
2020-04-01 Michael NolanAdd actual tests to test_pipeline.py commit | commitdiff | tree
2020-04-01 Michael NolanRegister each pipeline stage commit | commitdiff | tree
next