| 2021-10-11 |
Luke Kenneth... | improve code-comments some more |
commit | commitdiff | tree |
| 2021-10-11 |
Luke Kenneth... | improve code-comments some more |
commit | commitdiff | tree |
| 2021-10-11 |
Luke Kenneth... | improve code-comments |
commit | commitdiff | tree |
| 2021-10-10 |
Luke Kenneth... | whoops conversion of list of 0/1 needed reversing |
commit | commitdiff | tree |
| 2021-10-10 |
Luke Kenneth... | add option to do fixed-width layout |
commit | commitdiff | tree |
| 2021-10-10 |
Luke Kenneth... | add a check of bitp against the expected partition... |
commit | commitdiff | tree |
| 2021-10-10 |
Luke Kenneth... | add phase 3 of the layout() experiment. |
commit | commitdiff | tree |
| 2021-10-10 |
Luke Kenneth... | convert to two-stage layout points-creation |
commit | commitdiff | tree |
| 2021-10-10 |
Luke Kenneth... | add code-comments |
commit | commitdiff | tree |
| 2021-10-10 |
Luke Kenneth... | added example with elwidth==Signal(2) from: |
commit | commitdiff | tree |
| 2021-10-10 |
Luke Kenneth... | remove Shape, signed and unsigned from layout experiment, |
commit | commitdiff | tree |
| 2021-10-10 |
Luke Kenneth... | add layout experiment from |
commit | commitdiff | tree |
| 2021-10-10 |
Luke Kenneth... | fix SimdSignal Repl test (was previously unfinished) |
commit | commitdiff | tree |
| 2021-10-10 |
Luke Kenneth... | big rename PartitionedSignal to SimdSignal (shorter) |
commit | commitdiff | tree |
| 2021-10-10 |
Luke Kenneth... | add some more comments for the elwidth-adapter |
commit | commitdiff | tree |
| 2021-10-09 |
Luke Kenneth... | altered test_partsig2.py removed outval, run with outva... |
commit | commitdiff | tree |
| 2021-10-09 |
Luke Kenneth... | add PartType context to PartitionedMux |
commit | commitdiff | tree |
| 2021-10-09 |
Luke Kenneth... | convert PartitionedAssign and PAssign over to PartType |
commit | commitdiff | tree |
| 2021-10-09 |
Luke Kenneth... | covert PartitionedCat (and PCat) over to PartType format |
commit | commitdiff | tree |
| 2021-10-09 |
Luke Kenneth... | convert PartitionedRepl over to new "PartType" format |
commit | commitdiff | tree |
| 2021-10-09 |
Luke Kenneth... | add TestReplMod, under development |
commit | commitdiff | tree |
| 2021-10-05 |
Luke Kenneth... | add PartitionedRepl into PartitionedSignal.__Repl__ |
commit | commitdiff | tree |
| 2021-10-05 |
Luke Kenneth... | shuffle order of functions (whitespace) to same order... |
commit | commitdiff | tree |
| 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 |
| next |
projects / ieee754fpu.git / shortlog