| 2021-10-05 |
Luke Kenneth... | add PartitionedRepl first version, no unit test just... |
commit | commitdiff | tree |
| 2021-10-05 |
Luke Kenneth... | whoops accidentally removed bugreport link |
commit | commitdiff | tree |
| 2021-10-05 |
Luke Kenneth... | add signed/unsigned functions and preliminary unit... |
commit | commitdiff | tree |
| 2021-10-05 |
Luke Kenneth... | pull in unit test code for PartitionedSignal.matches... |
commit | commitdiff | tree |
| 2021-10-05 |
Luke Kenneth... | bit of a reorder / reorg, to match up with current... |
commit | commitdiff | tree |
| 2021-10-05 |
Luke Kenneth... | disable mul and rmul in PartitionedSignal for now |
commit | commitdiff | tree |
| 2021-10-04 |
Jacob Lifshay | rewrite complex comprehensions as for loops |
commit | commitdiff | tree |
| 2021-10-04 |
Jacob Lifshay | Fix broken code caused by attempted removal of type... |
commit | commitdiff | tree |
| 2021-10-02 |
Luke Kenneth... | add TODO comments |
commit | commitdiff | tree |
| 2021-10-02 |
Luke Kenneth... | add a PartitionedSignal.any() test and extend range... |
commit | commitdiff | tree |
| 2021-10-02 |
Luke Kenneth... | make note about failing PartitionedAll |
commit | commitdiff | tree |
| 2021-10-02 |
Luke Kenneth... | revert to using self == Const(-1) for now in Partitione... |
commit | commitdiff | tree |
| 2021-10-02 |
Luke Kenneth... | bit more sophisticated on the partsig horizontal test... |
commit | commitdiff | tree |
| 2021-10-02 |
Luke Kenneth... | add PartitionedSignal.all() and unit test, currently... |
commit | commitdiff | tree |
| 2021-10-02 |
Luke Kenneth... | add PartitionedAll operator, based on PartitionedBase |
commit | commitdiff | tree |
| 2021-10-02 |
Luke Kenneth... | add bool PartitionedSignal test |
commit | commitdiff | tree |
| 2021-10-02 |
Luke Kenneth... | removing unnecessary type information which makes the... |
commit | commitdiff | tree |
| 2021-10-02 |
Jacob Lifshay | add 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 Kumar | Remove comment sign and add correct path for nmigen... |
commit | commitdiff | tree |
| 2021-06-05 |
R Veera Kumar | Add 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 Strauss | Convert add and sub to return PartitionedSignal |
commit | commitdiff | tree |
| 2021-01-23 |
Cesar Strauss | Revert order of operations in PartitionedSignal.implies() |
commit | commitdiff | tree |
| 2021-01-23 |
Cesar Strauss | Clarify comment about operations returning plain Signals |
commit | commitdiff | tree |
| 2021-01-23 |
Cesar Strauss | Convert all bitwise logical ops to return PartitionedSignal |
commit | commitdiff | tree |
| 2021-01-23 |
Cesar Strauss | Also copy the module in PartotionSignal.like() |
commit | commitdiff | tree |
| 2021-01-23 |
Cesar Strauss | Return a PartitionedSignal from the bitwise "not" operation |
commit | commitdiff | tree |
| 2021-01-23 |
Cesar Strauss | Implement PartitionedSignal.like() |
commit | commitdiff | tree |
| 2021-01-23 |
Cesar Strauss | Use z3 solver instead of yices2 when convenient |
commit | commitdiff | tree |
| 2021-01-20 |
Cesar Strauss | Add tests for bitwise logical operators |
commit | commitdiff | tree |
| 2021-01-20 |
Cesar Strauss | Reverse order of operations in implies() |
commit | commitdiff | tree |
| 2021-01-18 |
Cesar Strauss | Do not register carry-out on the PartitionedAdder |
commit | commitdiff | tree |
| 2021-01-17 |
Cesar Strauss | Fix PartitionedSignal.neg and its test case |
commit | commitdiff | tree |
| 2021-01-17 |
Cesar Strauss | Allow the proof driver to check operations with integer... |
commit | commitdiff | tree |
| 2021-01-16 |
Cesar Strauss | Use 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 Strauss | Check 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 Strauss | Allow a variable number of operands in the proof driver |
commit | commitdiff | tree |
| 2021-01-11 |
Cesar Strauss | Apparently PartitionedEqGtGe is already conformant |
commit | commitdiff | tree |
| 2021-01-10 |
Cesar Strauss | Implement checks for all the rest of the comparison... |
commit | commitdiff | tree |
| 2021-01-10 |
Cesar Strauss | Generate and check expected values for all possible... |
commit | commitdiff | tree |
| 2021-01-10 |
Cesar Strauss | Generate shifted down input and outputs |
commit | commitdiff | tree |
| 2021-01-10 |
Cesar Strauss | Use styles in write_gtkw to simplify the trace description |
commit | commitdiff | tree |
| 2021-01-10 |
Cesar Strauss | Add the Gate Generator to the ComparisonOpDriver |
commit | commitdiff | tree |
| 2021-01-10 |
Cesar Strauss | Factor-out the code to make equally spaced partition... |
commit | commitdiff | tree |
| 2021-01-10 |
Cesar Strauss | Start proof for PartitionedSignal equals operator |
commit | commitdiff | tree |
| 2021-01-10 |
Cesar Strauss | Update Simulator interface to current nMigen |
commit | commitdiff | tree |
| 2021-01-10 |
Cesar Strauss | Use len(sig) instead of sig.shape()[0] |
commit | commitdiff | tree |
| 2021-01-09 |
Cesar Strauss | Use the correct class name |
commit | commitdiff | tree |
| 2021-01-09 |
Cesar Strauss | Check all possible opcodes for PartitionedEqGtGe |
commit | commitdiff | tree |
| 2021-01-09 |
Cesar Strauss | Formal verification of PartitionedEqGtGe (EQ only) |
commit | commitdiff | tree |
| 2021-01-09 |
Cesar Strauss | Post-process PartitionedEq to ripple the LSB |
commit | commitdiff | tree |
| 2021-01-09 |
Cesar Strauss | Implement formal verification of PartitionedEq based... |
commit | commitdiff | tree |
| 2021-01-08 |
Cesar Strauss | Calculate the expected value, test and assert |
commit | commitdiff | tree |
| 2021-01-08 |
Cesar Strauss | Split-out the gate generator from the proof |
commit | commitdiff | tree |
| 2021-01-07 |
Cesar Strauss | Compare the expected output for all partition sizes |
commit | commitdiff | tree |
| 2021-01-06 |
Cesar Strauss | Generate shifted down outputs |
commit | commitdiff | tree |
| 2021-01-05 |
Cesar Strauss | Generate the bit pattern of gates corresponding to... |
commit | commitdiff | tree |
| 2021-01-04 |
Cesar Strauss | Work only with nibbles on the ascending cascade |
commit | commitdiff | tree |
| 2021-01-04 |
Cesar Strauss | Fill the second nibble of the pattern |
commit | commitdiff | tree |
| 2021-01-04 |
Cesar Strauss | Restart the pattern at partition boundaries |
commit | commitdiff | tree |
| 2021-01-04 |
Cesar Strauss | Start 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 |
| next |
projects / ieee754fpu.git / shortlog