| 2020-02-20 | 
Luke Kenneth...  | ignore last bit of partition mask | 
commit | commitdiff | tree | 
| 2020-02-19 | 
Luke Kenneth...  | test shift against scalar b input | 
commit | commitdiff | tree | 
| 2020-02-19 | 
Luke Kenneth...  | all signals must be reset_less | 
commit | commitdiff | tree | 
| 2020-02-17 | 
Luke Kenneth...  | add fpflags to Overflow class | 
commit | commitdiff | tree | 
| 2020-02-17 | 
Luke Kenneth...  | comment that roundz is a property | 
commit | commitdiff | tree | 
| 2020-02-17 | 
Michael Nolan | part_shift_scalar now has maked shift amounts working | 
commit | commitdiff | tree | 
| 2020-02-17 | 
Michael Nolan | Fix proof crashing instead of giving a vcd | 
commit | commitdiff | tree | 
| 2020-02-17 | 
Michael Nolan | In progress | 
commit | commitdiff | tree | 
| 2020-02-17 | 
Michael Nolan | Add ShifterMask modules to part_shift_scalar | 
commit | commitdiff | tree | 
| 2020-02-15 | 
Luke Kenneth...  | add in PartitionedScalarShift, ready for testing | 
commit | commitdiff | tree | 
| 2020-02-15 | 
Luke Kenneth...  | whoops shift width reduction not active | 
commit | commitdiff | tree | 
| 2020-02-15 | 
Luke Kenneth...  | scalar partitioned shift moved, change module import...  | 
commit | commitdiff | tree | 
| 2020-02-15 | 
Luke Kenneth...  | add module __init__.py | 
commit | commitdiff | tree | 
| 2020-02-15 | 
Luke Kenneth...  | set initial element to b_interval shape | 
commit | commitdiff | tree | 
| 2020-02-15 | 
Luke Kenneth...  | split out PartialResults to separate module | 
commit | commitdiff | tree | 
| 2020-02-15 | 
Luke Kenneth...  | split out ShifterMask to separate module | 
commit | commitdiff | tree | 
| 2020-02-15 | 
Luke Kenneth...  | truncate max_bits in shiftermask | 
commit | commitdiff | tree | 
| 2020-02-15 | 
Luke Kenneth...  | really annoying simulation bug, dont know whats going on | 
commit | commitdiff | tree | 
| 2020-02-15 | 
Luke Kenneth...  | clip shift amount | 
commit | commitdiff | tree | 
| 2020-02-15 | 
Luke Kenneth...  | comment partial results | 
commit | commitdiff | tree | 
| 2020-02-15 | 
Luke Kenneth...  | truncate partial result intermediate to width of partition | 
commit | commitdiff | tree | 
| 2020-02-15 | 
Luke Kenneth...  | make things a little clearer, do the select and the...  | 
commit | commitdiff | tree | 
| 2020-02-15 | 
Luke Kenneth...  | reduce bitwidth of intermediate output | 
commit | commitdiff | tree | 
| 2020-02-15 | 
Luke Kenneth...  | reduce partial result width | 
commit | commitdiff | tree | 
| 2020-02-15 | 
Luke Kenneth...  | store partial result in signal otherwise it gets duplicated | 
commit | commitdiff | tree | 
| 2020-02-15 | 
Luke Kenneth...  | stop expression-repeating cascade | 
commit | commitdiff | tree | 
| 2020-02-15 | 
Luke Kenneth...  | limit shiftbits, partial results do not need to be...  | 
commit | commitdiff | tree | 
| 2020-02-15 | 
Luke Kenneth...  | store shiftmask bits in temporary otherwise the express...  | 
commit | commitdiff | tree | 
| 2020-02-15 | 
Luke Kenneth...  | make all signals resetless | 
commit | commitdiff | tree | 
| 2020-02-15 | 
Luke Kenneth...  | comment why shift mask exists | 
commit | commitdiff | tree | 
| 2020-02-15 | 
Luke Kenneth...  | whitespace | 
commit | commitdiff | tree | 
| 2020-02-15 | 
Luke Kenneth...  | remove out_intervals (unused) | 
commit | commitdiff | tree | 
| 2020-02-14 | 
Luke Kenneth...  | fix the shift-test to truncate b-input | 
commit | commitdiff | tree | 
| 2020-02-14 | 
Luke Kenneth...  | reduce range of b in shift test | 
commit | commitdiff | tree | 
| 2020-02-14 | 
Michael Nolan | re-add masking of the shift amount based on partition...  | 
commit | commitdiff | tree | 
| 2020-02-14 | 
Michael Nolan | Minor refactoring of part_shift_dynamic | 
commit | commitdiff | tree | 
| 2020-02-14 | 
Michael Nolan | Refactor part_shift_dynamic.py | 
commit | commitdiff | tree | 
| 2020-02-14 | 
Michael Nolan | Replace giant switch statement with mux chain | 
commit | commitdiff | tree | 
| 2020-02-14 | 
Luke Kenneth...  | add beginnings of shift unit test for partsig | 
commit | commitdiff | tree | 
| 2020-02-13 | 
Luke Kenneth...  | reduce width of temporary intermediates | 
commit | commitdiff | tree | 
| 2020-02-13 | 
Luke Kenneth...  | mention being a bit like the gt-combiner | 
commit | commitdiff | tree | 
| 2020-02-13 | 
Luke Kenneth...  | OR element in after the MUX because its an invariant | 
commit | commitdiff | tree | 
| 2020-02-13 | 
Luke Kenneth...  | store intermediate in temp, append that to output | 
commit | commitdiff | tree | 
| 2020-02-13 | 
Luke Kenneth...  | experiment looking for minimum shift width | 
commit | commitdiff | tree | 
| 2020-02-13 | 
Luke Kenneth...  | limit matrix output width and limit shift amount | 
commit | commitdiff | tree | 
| 2020-02-13 | 
Luke Kenneth...  | use different style of output concatenation, reduce...  | 
commit | commitdiff | tree | 
| 2020-02-12 | 
Michael Nolan | Eliminate unused entries in shift matrix | 
commit | commitdiff | tree | 
| 2020-02-12 | 
Michael Nolan | Reduce width of b operand to minimum size needed | 
commit | commitdiff | tree | 
| 2020-02-12 | 
Michael Nolan | Expand proof_shift_dynamic to 32 bits | 
commit | commitdiff | tree | 
| 2020-02-12 | 
Luke Kenneth...  | comment the dynamic shifter | 
commit | commitdiff | tree | 
| 2020-02-12 | 
Michael Nolan | Rename part_shift_scalar/ to part_shift | 
commit | commitdiff | tree | 
| 2020-02-12 | 
Michael Nolan | Add formal proof for dynamic shifter | 
commit | commitdiff | tree | 
| 2020-02-12 | 
Michael Nolan | Somewhat working dynamic shifter | 
commit | commitdiff | tree | 
| 2020-02-12 | 
Michael Nolan | Fix whitespace | 
commit | commitdiff | tree | 
| 2020-02-12 | 
Michael Nolan | Begin adding dynamic shifter | 
commit | commitdiff | tree | 
| 2020-02-12 | 
Luke Kenneth...  | add bit of extra explanatory comment for carry-ripple...  | 
commit | commitdiff | tree | 
| 2020-02-12 | 
Michael Nolan | Revise documentation for how carry works in adder.py | 
commit | commitdiff | tree | 
| 2020-02-11 | 
Luke Kenneth...  | allow factor of 2 in variance on random numbers | 
commit | commitdiff | tree | 
| 2020-02-11 | 
Luke Kenneth...  | test fp downconvert on min and normal numbers, +/-...  | 
commit | commitdiff | tree | 
| 2020-02-11 | 
Luke Kenneth...  | add range-focussed fp64/32-to-32/16 downconversion...  | 
commit | commitdiff | tree | 
| 2020-02-11 | 
Michael Nolan | Rudimentary working partitioned scalar shifter | 
commit | commitdiff | tree | 
| 2020-02-11 | 
Michael Nolan | Begin adding partitioned scalar shifter | 
commit | commitdiff | tree | 
| 2020-02-10 | 
Luke Kenneth...  | document partsig operators | 
commit | commitdiff | tree | 
| 2020-02-10 | 
Michael Nolan | Fix line length | 
commit | commitdiff | tree | 
| 2020-02-10 | 
Michael Nolan | Fix carry output of adder/subtracter | 
commit | commitdiff | tree | 
| 2020-02-10 | 
Michael Nolan | Fix flake8 errors in part_cmp/ | 
commit | commitdiff | tree | 
| 2020-02-10 | 
Michael Nolan | Fix flake8 errors in partsig.py | 
commit | commitdiff | tree | 
| 2020-02-10 | 
Michael Nolan | Fix flake8 errors in test_partsig | 
commit | commitdiff | tree | 
| 2020-02-10 | 
Michael Nolan | Minor cleanup | 
commit | commitdiff | tree | 
| 2020-02-10 | 
Michael Nolan | Add neg operator to partsig.py | 
commit | commitdiff | tree | 
| 2020-02-10 | 
Michael Nolan | Add subtraction to partsig.py | 
commit | commitdiff | tree | 
| 2020-02-10 | 
Luke Kenneth...  | bug #113, add range-limited random numbers more likely...  | 
commit | commitdiff | tree | 
| 2020-02-10 | 
Luke Kenneth...  | getting fed up of amount of test files being dropped...  | 
commit | commitdiff | tree | 
| 2020-02-09 | 
Luke Kenneth...  | move nmutil to separate (dependent) library | 
commit | commitdiff | tree | 
| 2020-02-09 | 
Luke Kenneth...  | invert after all() not before | 
commit | commitdiff | tree | 
| 2020-02-09 | 
Luke Kenneth...  | boolean logic invert bool to all | 
commit | commitdiff | tree | 
| 2020-02-09 | 
Luke Kenneth...  | replace ~bool() with all() | 
commit | commitdiff | tree | 
| 2020-02-09 | 
Luke Kenneth...  | use nmigen all() instead of invert-invert bool() | 
commit | commitdiff | tree | 
| 2020-02-09 | 
Luke Kenneth...  | whitespace | 
commit | commitdiff | tree | 
| 2020-02-09 | 
Luke Kenneth...  | give a_bit proper name, make reset_less | 
commit | commitdiff | tree | 
| 2020-02-09 | 
Luke Kenneth...  | add docstring explaining partitioned-add | 
commit | commitdiff | tree | 
| 2020-02-09 | 
Luke Kenneth...  | add MoveMSBDown class to be used in carry-out | 
commit | commitdiff | tree | 
| 2020-02-09 | 
Luke Kenneth...  | add placeholder for test sub in partsig | 
commit | commitdiff | tree | 
| 2020-02-09 | 
Luke Kenneth...  | add 100 random integer tests to partitioned add | 
commit | commitdiff | tree | 
| 2020-02-09 | 
Luke Kenneth...  | add 100 random integer tests to partitioned add | 
commit | commitdiff | tree | 
| 2020-02-09 | 
Luke Kenneth...  | use nmigen "implies" operator (really convenient) | 
commit | commitdiff | tree | 
| 2020-02-09 | 
Luke Kenneth...  | whitespace cleanup, reduce 80 char length | 
commit | commitdiff | tree | 
| 2020-02-09 | 
Luke Kenneth...  | add NotImplementedError into partsig | 
commit | commitdiff | tree | 
| 2020-02-09 | 
Michael Nolan | Convert partsig to use the existing add_op function | 
commit | commitdiff | tree | 
| 2020-02-09 | 
Michael Nolan | Add rudimentary test for partitioned add with carry | 
commit | commitdiff | tree | 
| 2020-02-09 | 
Michael Nolan | Add carry out to adder | 
commit | commitdiff | tree | 
| 2020-02-09 | 
Michael Nolan | Begin adding carry in and carry out support to adder | 
commit | commitdiff | tree | 
| 2020-02-08 | 
Luke Kenneth...  | minor codeshuffle, split out check of PartitionedSignal...  | 
commit | commitdiff | tree | 
| 2020-02-08 | 
Luke Kenneth...  | add comments | 
commit | commitdiff | tree | 
| 2020-02-07 | 
Luke Kenneth...  | tidyup PartitionedAdd | 
commit | commitdiff | tree | 
| 2020-02-07 | 
Luke Kenneth...  | add shift operators TODO on partsig | 
commit | commitdiff | tree | 
| 2020-02-07 | 
Luke Kenneth...  | comment TODO on __neg__ operation | 
commit | commitdiff | tree | 
| 2020-02-07 | 
Luke Kenneth...  | invert partitioned op is just a bit-wise invert | 
commit | commitdiff | tree | 
| 2020-02-07 | 
Luke Kenneth...  | update docstring and copyright notice | 
commit | commitdiff | tree | 
| 2020-02-07 | 
Luke Kenneth...  | fix muxop test in part_sig test | 
commit | commitdiff | tree | 
| next |