ieee754fpu.git
2021-10-05 Luke Kenneth... add PartitionedRepl first version, no unit test just...
2021-10-05 Luke Kenneth... whoops accidentally removed bugreport link
2021-10-05 Luke Kenneth... add signed/unsigned functions and preliminary unit...
2021-10-05 Luke Kenneth... pull in unit test code for PartitionedSignal.matches...
2021-10-05 Luke Kenneth... bit of a reorder / reorg, to match up with current...
2021-10-05 Luke Kenneth... disable mul and rmul in PartitionedSignal for now
2021-10-04 Jacob Lifshayrewrite complex comprehensions as for loops
2021-10-04 Jacob LifshayFix broken code caused by attempted removal of type...
2021-10-02 Luke Kenneth... add TODO comments
2021-10-02 Luke Kenneth... add a PartitionedSignal.any() test and extend range...
2021-10-02 Luke Kenneth... make note about failing PartitionedAll
2021-10-02 Luke Kenneth... revert to using self == Const(-1) for now in Partitione...
2021-10-02 Luke Kenneth... bit more sophisticated on the partsig horizontal test...
2021-10-02 Luke Kenneth... add PartitionedSignal.all() and unit test, currently...
2021-10-02 Luke Kenneth... add PartitionedAll operator, based on PartitionedBase
2021-10-02 Luke Kenneth... add bool PartitionedSignal test
2021-10-02 Luke Kenneth... removing unnecessary type information which makes the...
2021-10-02 Jacob Lifshayadd PartitionedSignalTester
2021-10-01 Luke Kenneth... split out logical ops into PartitionedBase
2021-10-01 Luke Kenneth... add PartitionedBool class (based on PartitionedXOR)
2021-10-01 Luke Kenneth... add quick use/self-test to PartitionedXOR
2021-09-30 Luke Kenneth... add PartitionedSignal XOR partsig test
2021-09-30 Luke Kenneth... partsig unit test tidyup
2021-09-30 Luke Kenneth... test names to go under a different fileset
2021-09-30 Luke Kenneth... add scalar test of PartitionedSignal.__Assign__
2021-09-30 Luke Kenneth... add six combinations of PartitionedSignal.__Assign__...
2021-09-30 Luke Kenneth... rework partsig TestAssign to cope with different types...
2021-09-30 Luke Kenneth... fix PartitionedAssign, PAssign, and PartitionedSignal...
2021-09-30 Luke Kenneth... correct test_partsig name, remove redundant code
2021-09-30 Luke Kenneth... remove PartitionedSignal.eq, expectation is to use...
2021-09-30 Luke Kenneth... whitespace / comments
2021-09-29 Luke Kenneth... add use of PartitionedAssign in PartitionedSignal,...
2021-09-29 Luke Kenneth... add support in PartitionedAssign for scalar signals
2021-09-29 Luke Kenneth... add PartitionedAssign class for use in PartitionedSignal
2021-09-29 Luke Kenneth... add PartitionedSignal.shape function
2021-09-29 Luke Kenneth... add PartitionedSignal.__len__ override, redirects to...
2021-09-29 Luke Kenneth... reduce part_mask in partsig tests to 3 (actual number...
2021-09-29 Luke Kenneth... add assert to check partition jump point size
2021-09-29 Luke Kenneth... unit test for PartitionedSignal.__Cat__
2021-09-28 Luke Kenneth... move PCat to separate module
2021-09-28 Luke Kenneth... add PartitionedSignal.__Cat__ override
2021-09-28 Luke Kenneth... corrections to PartitionedCat after corrections to...
2021-09-28 Luke Kenneth... add PartitionedSignal.__Mux__ unit test
2021-09-28 Luke Kenneth... add PartitionedSignal.__Mux__ using existing PMux function
2021-09-27 Luke Kenneth... derive PartitionedSignal from UserValue (temporarily...
2021-09-27 Luke Kenneth... whitespace
2021-09-24 Luke Kenneth... fix chunking to get correct order for PartitionedCat
2021-09-24 Luke Kenneth... add first cut at PartitionedSignal "Cat"
2021-06-05 R Veera KumarRemove comment sign and add correct path for nmigen...
2021-06-05 R Veera KumarAdd Makefile modified for sphinx.
2021-06-05 R Veera Kumar Initial addition of sphinx documentation system.
2021-04-12 Luke Kenneth... corrections to setup.py for classifier, for pypi upload
2021-04-12 Luke Kenneth... update for upload to pypi
2021-01-23 Cesar StraussConvert add and sub to return PartitionedSignal
2021-01-23 Cesar StraussRevert order of operations in PartitionedSignal.implies()
2021-01-23 Cesar StraussClarify comment about operations returning plain Signals
2021-01-23 Cesar StraussConvert all bitwise logical ops to return PartitionedSignal
2021-01-23 Cesar StraussAlso copy the module in PartotionSignal.like()
2021-01-23 Cesar StraussReturn a PartitionedSignal from the bitwise "not" operation
2021-01-23 Cesar StraussImplement PartitionedSignal.like()
2021-01-23 Cesar StraussUse z3 solver instead of yices2 when convenient
2021-01-20 Cesar StraussAdd tests for bitwise logical operators
2021-01-20 Cesar StraussReverse order of operations in implies()
2021-01-18 Cesar StraussDo not register carry-out on the PartitionedAdder
2021-01-17 Cesar StraussFix PartitionedSignal.neg and its test case
2021-01-17 Cesar StraussAllow the proof driver to check operations with integer...
2021-01-16 Cesar StraussUse RipleLSB in PartitionedXOR, and invert outputs ls180-24jan2020
2021-01-16 Luke Kenneth... add first cut at formal proof for PartitionedXOR
2021-01-16 Luke Kenneth... add PartitionedXOR to PartitionedSignal (xor operator)
2021-01-16 Cesar StraussCheck PartitionedSignal.any().
2021-01-16 Luke Kenneth... add first cut (untested) of PartitionedXOR
2021-01-16 Luke Kenneth... convert EQCombiner to general-purpose, create XORCombiner
2021-01-16 Luke Kenneth... add partitioned signal any() operator
2021-01-16 Cesar StraussAllow a variable number of operands in the proof driver
2021-01-11 Cesar StraussApparently PartitionedEqGtGe is already conformant
2021-01-10 Cesar StraussImplement checks for all the rest of the comparison...
2021-01-10 Cesar StraussGenerate and check expected values for all possible...
2021-01-10 Cesar StraussGenerate shifted down input and outputs
2021-01-10 Cesar StraussUse styles in write_gtkw to simplify the trace description
2021-01-10 Cesar StraussAdd the Gate Generator to the ComparisonOpDriver
2021-01-10 Cesar StraussFactor-out the code to make equally spaced partition...
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
next