projects / ieee754fpu.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
ieee754fpu.git
2021-10-02 Jacob Lifshayadd PartitionedSignalTester commit | commitdiff | tree
2021-10-01 Luke Kenneth... split out logical ops into PartitionedBase commit | commitdiff | tree
2021-10-01 Luke Kenneth... add PartitionedBool class (based on PartitionedXOR) commit | commitdiff | tree
2021-10-01 Luke Kenneth... add quick use/self-test to PartitionedXOR commit | commitdiff | tree
2021-09-30 Luke Kenneth... add PartitionedSignal XOR partsig test commit | commitdiff | tree
2021-09-30 Luke Kenneth... partsig unit test tidyup commit | commitdiff | tree
2021-09-30 Luke Kenneth... test names to go under a different fileset commit | commitdiff | tree
2021-09-30 Luke Kenneth... add scalar test of PartitionedSignal.__Assign__ commit | commitdiff | tree
2021-09-30 Luke Kenneth... add six combinations of PartitionedSignal.__Assign__... commit | commitdiff | tree
2021-09-30 Luke Kenneth... rework partsig TestAssign to cope with different types... commit | commitdiff | tree
2021-09-30 Luke Kenneth... fix PartitionedAssign, PAssign, and PartitionedSignal... commit | commitdiff | tree
2021-09-30 Luke Kenneth... correct test_partsig name, remove redundant code commit | commitdiff | tree
2021-09-30 Luke Kenneth... remove PartitionedSignal.eq, expectation is to use... commit | commitdiff | tree
2021-09-30 Luke Kenneth... whitespace / comments commit | commitdiff | tree
2021-09-29 Luke Kenneth... add use of PartitionedAssign in PartitionedSignal,... commit | commitdiff | tree
2021-09-29 Luke Kenneth... add support in PartitionedAssign for scalar signals commit | commitdiff | tree
2021-09-29 Luke Kenneth... add PartitionedAssign class for use in PartitionedSignal commit | commitdiff | tree
2021-09-29 Luke Kenneth... add PartitionedSignal.shape function commit | commitdiff | tree
2021-09-29 Luke Kenneth... add PartitionedSignal.__len__ override, redirects to... commit | commitdiff | tree
2021-09-29 Luke Kenneth... reduce part_mask in partsig tests to 3 (actual number... commit | commitdiff | tree
2021-09-29 Luke Kenneth... add assert to check partition jump point size commit | commitdiff | tree
2021-09-29 Luke Kenneth... unit test for PartitionedSignal.__Cat__ commit | commitdiff | tree
2021-09-28 Luke Kenneth... move PCat to separate module commit | commitdiff | tree
2021-09-28 Luke Kenneth... add PartitionedSignal.__Cat__ override commit | commitdiff | tree
2021-09-28 Luke Kenneth... corrections to PartitionedCat after corrections to... commit | commitdiff | tree
2021-09-28 Luke Kenneth... add PartitionedSignal.__Mux__ unit test commit | commitdiff | tree
2021-09-28 Luke Kenneth... add PartitionedSignal.__Mux__ using existing PMux function commit | commitdiff | tree
2021-09-27 Luke Kenneth... derive PartitionedSignal from UserValue (temporarily... commit | commitdiff | tree
2021-09-27 Luke Kenneth... whitespace commit | commitdiff | tree
2021-09-24 Luke Kenneth... fix chunking to get correct order for PartitionedCat commit | commitdiff | tree
2021-09-24 Luke Kenneth... add first cut at PartitionedSignal "Cat" commit | commitdiff | tree
2021-06-05 R Veera KumarRemove comment sign and add correct path for nmigen... commit | commitdiff | tree
2021-06-05 R Veera KumarAdd Makefile modified for sphinx. commit | commitdiff | tree
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 StraussConvert add and sub to return PartitionedSignal commit | commitdiff | tree
2021-01-23 Cesar StraussRevert order of operations in PartitionedSignal.implies() commit | commitdiff | tree
2021-01-23 Cesar StraussClarify comment about operations returning plain Signals commit | commitdiff | tree
2021-01-23 Cesar StraussConvert all bitwise logical ops to return PartitionedSignal commit | commitdiff | tree
2021-01-23 Cesar StraussAlso copy the module in PartotionSignal.like() commit | commitdiff | tree
2021-01-23 Cesar StraussReturn a PartitionedSignal from the bitwise "not" operation commit | commitdiff | tree
2021-01-23 Cesar StraussImplement PartitionedSignal.like() commit | commitdiff | tree
2021-01-23 Cesar StraussUse z3 solver instead of yices2 when convenient commit | commitdiff | tree
2021-01-20 Cesar StraussAdd tests for bitwise logical operators commit | commitdiff | tree
2021-01-20 Cesar StraussReverse order of operations in implies() commit | commitdiff | tree
2021-01-18 Cesar StraussDo not register carry-out on the PartitionedAdder commit | commitdiff | tree
2021-01-17 Cesar StraussFix PartitionedSignal.neg and its test case commit | commitdiff | tree
2021-01-17 Cesar StraussAllow the proof driver to check operations with integer... commit | commitdiff | tree
2021-01-16 Cesar StraussUse 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 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
next