reduce width of temporary intermediates

mention being a bit like the gt-combiner

OR element in after the MUX because its an invariant

store intermediate in temp, append that to output

experiment looking for minimum shift width

limit matrix output width and limit shift amount

use different style of output concatenation, reduce temp bitwidth

Eliminate unused entries in shift matrix

Reduce width of b operand to minimum size needed

Expand proof_shift_dynamic to 32 bits

comment the dynamic shifter

Rename part_shift_scalar/ to part_shift

Add formal proof for dynamic shifter

Somewhat working dynamic shifter

Fix whitespace

Begin adding dynamic shifter

add bit of extra explanatory comment for carry-ripple thing

Revise documentation for how carry works in adder.py

allow factor of 2 in variance on random numbers

test fp downconvert on min and normal numbers, +/- a bit

add range-focussed fp64/32-to-32/16 downconversion tests
these create a number that is *almost* in the target range so that it
will hit the min/max (inf) limit some of the time but not all

Rudimentary working partitioned scalar shifter

Begin adding partitioned scalar shifter

document partsig operators

Fix line length

Fix carry output of adder/subtracter

Fix flake8 errors in part_cmp/

Fix flake8 errors in partsig.py

Fix flake8 errors in test_partsig

Minor cleanup

Add neg operator to partsig.py

Add subtraction to partsig.py

bug #113, add range-limited random numbers more likely to get within the
target range of the integer to be converted to

getting fed up of amount of test files being dropped into homedir, put in subdir

move nmutil to separate (dependent) library

invert after all() not before

boolean logic invert bool to all

replace ~bool() with all()

use nmigen all() instead of invert-invert bool()

whitespace

give a_bit proper name, make reset_less

add docstring explaining partitioned-add

add MoveMSBDown class to be used in carry-out

add placeholder for test sub in partsig

add 100 random integer tests to partitioned add

add 100 random integer tests to partitioned add

use nmigen "implies" operator (really convenient)

whitespace cleanup, reduce 80 char length

add NotImplementedError into partsig

Convert partsig to use the existing add_op function

Add rudimentary test for partitioned add with carry

Add carry out to adder

Begin adding carry in and carry out support to adder

minor codeshuffle, split out check of PartitionedSignal check,
create add_op function which is called inverted-args in __rsub__

add comments

tidyup PartitionedAdd

add shift operators TODO on partsig

comment TODO on __neg__ operation

invert partitioned op is just a bit-wise invert

update docstring and copyright notice

fix muxop test in part_sig test

fix part_mux to actually use Mux (duh)

Remove unneeded and gate in gt_combiner

The and gate that forces the lanes that are not the MSB in a partiton
to 0 is no longer needed because reorder_bits ignores those bits.

fix syntax errors for test_partsig

grr correct syntax for assert

Fix != implementation in partsig.py

Modify test_partsig to handle the new changes to reorder_bits, add new testcases

Removes != test because it's not actually working yet

modify reorder_bits to copy the MSB of the partition to each bit

Previously, it would move the MSB to the LSB, and set the rest of the
bits to 0.

add unit test for part_mux

whoops syntax error

add first version of part_mux

use assert not raise ValueError

ripple of LSB from compare-operations, successful

add first (untested) version of ripple-LSB

add extra operators to be implemented to partsig

add stub operators to partsig to help make it clear what is needed

TODO on NE partsig op

make common function for testing comparators

restructure partsig, use common function for PartitionedEqGtGe

fix partsig gt test, add ge test

add __ge__ partsig operator

add gt part_sig operator

Fix test_partsig's invalid result for the equals test

Add 0 assertions to the proof for eq_gt_ge

Fix order of results from PartitionedEqGtGe

move unused partitioned comparison modules to experiments/

move gt_combiner out of experiments/

add extra tests, find out whats going on with eq_gt_ge

quick test shows eq_gt_ge.py returning output in reverse order

debug string for part-eq is an eq not +

use PartitionedEqGtGe for eq function in partitioned signal

add constants for opcode, EQ/GT/GE, probably better way to do this

whitespace

80 char limit

whitespace

more whitespace

whitespace

Add module to handle partitioned eq, gt, and ge comparisons

Reverse order of gt combiner so it works MSB first

Add a signal to disable the gt inputs to gt_combiner