Reverse order of operations in implies()
[ieee754fpu.git] / src / ieee754 / part / partsig.py
2021-01-20 Cesar StraussReverse order of operations in implies()
2021-01-17 Cesar StraussFix PartitionedSignal.neg and its test case
2021-01-16 Luke Kenneth Casso... add first cut at formal proof for PartitionedXOR
2021-01-16 Luke Kenneth Casso... add PartitionedXOR to PartitionedSignal (xor operator)
2021-01-16 Luke Kenneth Casso... add partitioned signal any() operator
2021-01-10 Cesar StraussUse len(sig) instead of sig.shape()[0]
2020-12-28 Luke Kenneth Casso... partsig: redirect bool to any for now, and use a =...
2020-12-27 Luke Kenneth Casso... comment PartitionedSignal lt/le
2020-05-08 Michael NolanAllow partsig to take in a PartitionPoints directly
2020-02-26 Michael NolanAdd shift right to test_partsig and partsig
2020-02-22 Luke Kenneth Casso... must declare carry equal to width of partitions+1
2020-02-22 Luke Kenneth Casso... add carry (not zeros, a Const of correct width)
2020-02-21 Luke Kenneth Casso... zero carry-in on __neg__
2020-02-21 Luke Kenneth Casso... use alternative class as an experiment for coriolis2
2020-02-20 Luke Kenneth Casso... test longer name
2020-02-20 Luke Kenneth Casso... change name to not clash with cell name add1
2020-02-19 Luke Kenneth Casso... test shift against scalar b input
2020-02-15 Luke Kenneth Casso... add in PartitionedScalarShift, ready for testing
2020-02-14 Luke Kenneth Casso... add beginnings of shift unit test for partsig
2020-02-10 Luke Kenneth Casso... document partsig operators
2020-02-10 Michael NolanFix flake8 errors in partsig.py
2020-02-10 Michael NolanMinor cleanup
2020-02-10 Michael NolanAdd neg operator to partsig.py
2020-02-10 Michael NolanAdd subtraction to partsig.py
2020-02-09 Luke Kenneth Casso... add NotImplementedError into partsig
2020-02-09 Michael NolanConvert partsig to use the existing add_op function
2020-02-09 Michael NolanAdd rudimentary test for partitioned add with carry
2020-02-08 Luke Kenneth Casso... minor codeshuffle, split out check of PartitionedSignal...
2020-02-08 Luke Kenneth Casso... add comments
2020-02-07 Luke Kenneth Casso... add shift operators TODO on partsig
2020-02-07 Luke Kenneth Casso... comment TODO on __neg__ operation
2020-02-07 Luke Kenneth Casso... invert partitioned op is just a bit-wise invert
2020-02-07 Luke Kenneth Casso... fix syntax errors for test_partsig
2020-02-07 Michael NolanFix != implementation in partsig.py
2020-02-07 Luke Kenneth Casso... add extra operators to be implemented to partsig
2020-02-06 Luke Kenneth Casso... add stub operators to partsig to help make it clear...
2020-02-06 Luke Kenneth Casso... TODO on NE partsig op
2020-02-06 Luke Kenneth Casso... make common function for testing comparators
2020-02-06 Luke Kenneth Casso... restructure partsig, use common function for Partitione...
2020-02-06 Luke Kenneth Casso... add __ge__ partsig operator
2020-02-06 Luke Kenneth Casso... add gt part_sig operator
2020-02-05 Luke Kenneth Casso... use PartitionedEqGtGe for eq function in partitioned...
2020-02-05 Luke Kenneth Casso... add constants for opcode, EQ/GT/GE, probably better...
2020-02-05 Luke Kenneth Casso... use EQCombiner in PartitionedEq experiment
2020-01-27 Luke Kenneth Casso... add (untested) partitioned xor/or/and operators
2020-01-24 Luke Kenneth Casso... add beginnings of partitioned eq into unit test
2020-01-24 Luke Kenneth Casso... convert to partition mask rather than partition points
2020-01-24 Luke Kenneth Casso... add more to module docstring
2020-01-24 Luke Kenneth Casso... de-modulify PartitionedSignal, call "set_module" to...
2020-01-22 Luke Kenneth Casso... add partition test add unit test
2020-01-22 Luke Kenneth Casso... add __xor__ and __add__
2020-01-22 Luke Kenneth Casso... add partitioned signal class