2021-10-13 |
Luke Kenneth Casso... | waaay too big a patch set (957 lines). |
tree | commitdiff |
2021-10-13 |
Jacob Lifshay | refactor layout to use SimdScope and XLEN |
tree | commitdiff |
2021-10-13 |
Jacob Lifshay | add SimdMap and SimdScope and XLEN |
tree | commitdiff |
2021-10-13 |
Jacob Lifshay | fix layout bugs |
tree | commitdiff |
2021-10-13 |
Jacob Lifshay | add docs for layout |
tree | commitdiff |
2021-10-13 |
Jacob Lifshay | format code |
tree | commitdiff |
2021-10-12 |
Luke Kenneth Casso... | add option to specify fixed_width and no lane_shaps... |
tree | commitdiff |
2021-10-11 |
Luke Kenneth Casso... | add blanking mask, but current example has no blank... |
tree | commitdiff |
2021-10-11 |
Luke Kenneth Casso... | whitespace |
tree | commitdiff |
2021-10-11 |
Luke Kenneth Casso... | improve code-comments some more |
tree | commitdiff |
2021-10-11 |
Luke Kenneth Casso... | improve code-comments some more |
tree | commitdiff |
2021-10-11 |
Luke Kenneth Casso... | improve code-comments |
tree | commitdiff |
2021-10-10 |
Luke Kenneth Casso... | whoops conversion of list of 0/1 needed reversing |
tree | commitdiff |
2021-10-10 |
Luke Kenneth Casso... | add option to do fixed-width layout |
tree | commitdiff |
2021-10-10 |
Luke Kenneth Casso... | add a check of bitp against the expected partition... |
tree | commitdiff |
2021-10-10 |
Luke Kenneth Casso... | add phase 3 of the layout() experiment. |
tree | commitdiff |
2021-10-10 |
Luke Kenneth Casso... | convert to two-stage layout points-creation |
tree | commitdiff |
2021-10-10 |
Luke Kenneth Casso... | add code-comments |
tree | commitdiff |
2021-10-10 |
Luke Kenneth Casso... | added example with elwidth==Signal(2) from: |
tree | commitdiff |
2021-10-10 |
Luke Kenneth Casso... | remove Shape, signed and unsigned from layout experiment, |
tree | commitdiff |
2021-10-10 |
Luke Kenneth Casso... | add layout experiment from |
tree | commitdiff |
2021-10-10 |
Luke Kenneth Casso... | fix SimdSignal Repl test (was previously unfinished) |
tree | commitdiff |
2021-10-10 |
Luke Kenneth Casso... | big rename PartitionedSignal to SimdSignal (shorter) |
tree | commitdiff |
2021-10-10 |
Luke Kenneth Casso... | add some more comments for the elwidth-adapter |
tree | commitdiff |
2021-10-09 |
Luke Kenneth Casso... | altered test_partsig2.py removed outval, run with outva... |
tree | commitdiff |
2021-10-09 |
Luke Kenneth Casso... | add PartType context to PartitionedMux |
tree | commitdiff |
2021-10-09 |
Luke Kenneth Casso... | convert PartitionedAssign and PAssign over to PartType |
tree | commitdiff |
2021-10-09 |
Luke Kenneth Casso... | covert PartitionedCat (and PCat) over to PartType format |
tree | commitdiff |
2021-10-09 |
Luke Kenneth Casso... | convert PartitionedRepl over to new "PartType" format |
tree | commitdiff |
2021-10-09 |
Luke Kenneth Casso... | add TestReplMod, under development |
tree | commitdiff |
2021-10-05 |
Luke Kenneth Casso... | add PartitionedRepl into PartitionedSignal.__Repl__ |
tree | commitdiff |
2021-10-05 |
Luke Kenneth Casso... | shuffle order of functions (whitespace) to same order... |
tree | commitdiff |
2021-10-05 |
Luke Kenneth Casso... | add PartitionedRepl first version, no unit test just... |
tree | commitdiff |
2021-10-05 |
Luke Kenneth Casso... | whoops accidentally removed bugreport link |
tree | commitdiff |
2021-10-05 |
Luke Kenneth Casso... | add signed/unsigned functions and preliminary unit... |
tree | commitdiff |
2021-10-05 |
Luke Kenneth Casso... | pull in unit test code for PartitionedSignal.matches... |
tree | commitdiff |
2021-10-05 |
Luke Kenneth Casso... | bit of a reorder / reorg, to match up with current... |
tree | commitdiff |
2021-10-05 |
Luke Kenneth Casso... | disable mul and rmul in PartitionedSignal for now |
tree | commitdiff |
2021-10-04 |
Jacob Lifshay | rewrite complex comprehensions as for loops |
tree | commitdiff |
2021-10-04 |
Jacob Lifshay | Fix broken code caused by attempted removal of type... |
tree | commitdiff |
2021-10-02 |
Luke Kenneth Casso... | add TODO comments |
tree | commitdiff |
2021-10-02 |
Luke Kenneth Casso... | add a PartitionedSignal.any() test and extend range... |
tree | commitdiff |
2021-10-02 |
Luke Kenneth Casso... | make note about failing PartitionedAll |
tree | commitdiff |
2021-10-02 |
Luke Kenneth Casso... | revert to using self == Const(-1) for now in Partitione... |
tree | commitdiff |
2021-10-02 |
Luke Kenneth Casso... | bit more sophisticated on the partsig horizontal test... |
tree | commitdiff |
2021-10-02 |
Luke Kenneth Casso... | add PartitionedSignal.all() and unit test, currently... |
tree | commitdiff |
2021-10-02 |
Luke Kenneth Casso... | add PartitionedAll operator, based on PartitionedBase |
tree | commitdiff |
2021-10-02 |
Luke Kenneth Casso... | add bool PartitionedSignal test |
tree | commitdiff |
2021-10-02 |
Luke Kenneth Casso... | removing unnecessary type information which makes the... |
tree | commitdiff |
2021-10-02 |
Jacob Lifshay | add PartitionedSignalTester |
tree | commitdiff |
2021-10-01 |
Luke Kenneth Casso... | split out logical ops into PartitionedBase |
tree | commitdiff |
2021-10-01 |
Luke Kenneth Casso... | add PartitionedBool class (based on PartitionedXOR) |
tree | commitdiff |
2021-10-01 |
Luke Kenneth Casso... | add quick use/self-test to PartitionedXOR |
tree | commitdiff |
2021-09-30 |
Luke Kenneth Casso... | add PartitionedSignal XOR partsig test |
tree | commitdiff |
2021-09-30 |
Luke Kenneth Casso... | partsig unit test tidyup |
tree | commitdiff |
2021-09-30 |
Luke Kenneth Casso... | test names to go under a different fileset |
tree | commitdiff |
2021-09-30 |
Luke Kenneth Casso... | add scalar test of PartitionedSignal.__Assign__ |
tree | commitdiff |
2021-09-30 |
Luke Kenneth Casso... | add six combinations of PartitionedSignal.__Assign__... |
tree | commitdiff |
2021-09-30 |
Luke Kenneth Casso... | rework partsig TestAssign to cope with different types... |
tree | commitdiff |
2021-09-30 |
Luke Kenneth Casso... | fix PartitionedAssign, PAssign, and PartitionedSignal... |
tree | commitdiff |
2021-09-30 |
Luke Kenneth Casso... | correct test_partsig name, remove redundant code |
tree | commitdiff |
2021-09-30 |
Luke Kenneth Casso... | remove PartitionedSignal.eq, expectation is to use... |
tree | commitdiff |
2021-09-30 |
Luke Kenneth Casso... | whitespace / comments |
tree | commitdiff |
2021-09-29 |
Luke Kenneth Casso... | add use of PartitionedAssign in PartitionedSignal,... |
tree | commitdiff |
2021-09-29 |
Luke Kenneth Casso... | add support in PartitionedAssign for scalar signals |
tree | commitdiff |
2021-09-29 |
Luke Kenneth Casso... | add PartitionedAssign class for use in PartitionedSignal |
tree | commitdiff |
2021-09-29 |
Luke Kenneth Casso... | add PartitionedSignal.shape function |
tree | commitdiff |
2021-09-29 |
Luke Kenneth Casso... | add PartitionedSignal.__len__ override, redirects to... |
tree | commitdiff |
2021-09-29 |
Luke Kenneth Casso... | reduce part_mask in partsig tests to 3 (actual number... |
tree | commitdiff |
2021-09-29 |
Luke Kenneth Casso... | add assert to check partition jump point size |
tree | commitdiff |
2021-09-29 |
Luke Kenneth Casso... | unit test for PartitionedSignal.__Cat__ |
tree | commitdiff |
2021-09-28 |
Luke Kenneth Casso... | move PCat to separate module |
tree | commitdiff |
2021-09-28 |
Luke Kenneth Casso... | add PartitionedSignal.__Cat__ override |
tree | commitdiff |
2021-09-28 |
Luke Kenneth Casso... | corrections to PartitionedCat after corrections to... |
tree | commitdiff |
2021-09-28 |
Luke Kenneth Casso... | add PartitionedSignal.__Mux__ unit test |
tree | commitdiff |
2021-09-28 |
Luke Kenneth Casso... | add PartitionedSignal.__Mux__ using existing PMux function |
tree | commitdiff |
2021-09-27 |
Luke Kenneth Casso... | derive PartitionedSignal from UserValue (temporarily... |
tree | commitdiff |
2021-09-27 |
Luke Kenneth Casso... | whitespace |
tree | commitdiff |
2021-09-24 |
Luke Kenneth Casso... | fix chunking to get correct order for PartitionedCat |
tree | commitdiff |
2021-09-24 |
Luke Kenneth Casso... | add first cut at PartitionedSignal "Cat" |
tree | commitdiff |
2021-01-23 |
Cesar Strauss | Convert add and sub to return PartitionedSignal |
tree | commitdiff |
2021-01-23 |
Cesar Strauss | Revert order of operations in PartitionedSignal.implies() |
tree | commitdiff |
2021-01-23 |
Cesar Strauss | Clarify comment about operations returning plain Signals |
tree | commitdiff |
2021-01-23 |
Cesar Strauss | Convert all bitwise logical ops to return PartitionedSignal |
tree | commitdiff |
2021-01-23 |
Cesar Strauss | Also copy the module in PartotionSignal.like() |
tree | commitdiff |
2021-01-23 |
Cesar Strauss | Return a PartitionedSignal from the bitwise "not" operation |
tree | commitdiff |
2021-01-23 |
Cesar Strauss | Implement PartitionedSignal.like() |
tree | commitdiff |
2021-01-23 |
Cesar Strauss | Use z3 solver instead of yices2 when convenient |
tree | commitdiff |
2021-01-20 |
Cesar Strauss | Add tests for bitwise logical operators |
tree | commitdiff |
2021-01-20 |
Cesar Strauss | Reverse order of operations in implies() |
tree | commitdiff |
2021-01-18 |
Cesar Strauss | Do not register carry-out on the PartitionedAdder |
tree | commitdiff |
2021-01-17 |
Cesar Strauss | Fix PartitionedSignal.neg and its test case |
tree | commitdiff |
2021-01-17 |
Cesar Strauss | Allow the proof driver to check operations with integer... |
tree | commitdiff |
2021-01-16 |
Cesar Strauss | Use RipleLSB in PartitionedXOR, and invert outputs ls180-24jan2020 |
tree | commitdiff |
2021-01-16 |
Luke Kenneth Casso... | add first cut at formal proof for PartitionedXOR |
tree | commitdiff |
2021-01-16 |
Luke Kenneth Casso... | add PartitionedXOR to PartitionedSignal (xor operator) |
tree | commitdiff |
2021-01-16 |
Cesar Strauss | Check PartitionedSignal.any(). |
tree | commitdiff |
2021-01-16 |
Luke Kenneth Casso... | add first cut (untested) of PartitionedXOR |
tree | commitdiff |
2021-01-16 |
Luke Kenneth Casso... | convert EQCombiner to general-purpose, create XORCombiner |
tree | commitdiff |
2021-01-16 |
Luke Kenneth Casso... | add partitioned signal any() operator |
tree | commitdiff |
next |