| 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 | 
| 2020-02-07 | Luke Kenneth... | fix part_mux to actually use Mux (duh) | commit | commitdiff | tree | 
| 2020-02-07 | Michael Nolan | Remove unneeded and gate in gt_combiner | commit | commitdiff | tree | 
| 2020-02-07 | Luke Kenneth... | fix syntax errors for test_partsig | commit | commitdiff | tree | 
| 2020-02-07 | Luke Kenneth... | grr correct syntax for assert | commit | commitdiff | tree | 
| 2020-02-07 | Michael Nolan | Fix != implementation in partsig.py | commit | commitdiff | tree | 
| 2020-02-07 | Michael Nolan | Modify test_partsig to handle the new changes to reorde... | commit | commitdiff | tree | 
| 2020-02-07 | Michael Nolan | modify reorder_bits to copy the MSB of the partition... | commit | commitdiff | tree | 
| 2020-02-07 | Luke Kenneth... | add unit test for part_mux | commit | commitdiff | tree | 
| 2020-02-07 | Luke Kenneth... | whoops syntax error | commit | commitdiff | tree | 
| 2020-02-07 | Luke Kenneth... | add first version of part_mux | commit | commitdiff | tree | 
| 2020-02-07 | Luke Kenneth... | use assert not raise ValueError | commit | commitdiff | tree | 
| 2020-02-07 | Luke Kenneth... | ripple of LSB from compare-operations, successful | commit | commitdiff | tree | 
| 2020-02-07 | Luke Kenneth... | add first (untested) version of ripple-LSB | commit | commitdiff | tree | 
| 2020-02-07 | Luke Kenneth... | add extra operators to be implemented to partsig | commit | commitdiff | tree | 
| 2020-02-06 | Luke Kenneth... | add stub operators to partsig to help make it clear... | commit | commitdiff | tree | 
| 2020-02-06 | Luke Kenneth... | TODO on NE partsig op | commit | commitdiff | tree | 
| 2020-02-06 | Luke Kenneth... | make common function for testing comparators | commit | commitdiff | tree | 
| 2020-02-06 | Luke Kenneth... | restructure partsig, use common function for Partitione... | commit | commitdiff | tree | 
| 2020-02-06 | Luke Kenneth... | fix partsig gt test, add ge test | commit | commitdiff | tree | 
| 2020-02-06 | Luke Kenneth... | add __ge__ partsig operator | commit | commitdiff | tree | 
| 2020-02-06 | Luke Kenneth... | add gt part_sig operator | commit | commitdiff | tree | 
| 2020-02-06 | Michael Nolan | Fix test_partsig's invalid result for the equals test | commit | commitdiff | tree | 
| 2020-02-06 | Michael Nolan | Add 0 assertions to the proof for eq_gt_ge | commit | commitdiff | tree | 
| 2020-02-05 | Michael Nolan | Fix order of results from PartitionedEqGtGe | commit | commitdiff | tree | 
| 2020-02-05 | Michael Nolan | move unused partitioned comparison modules to experiments/ | commit | commitdiff | tree | 
| 2020-02-05 | Michael Nolan | move gt_combiner out of experiments/ | commit | commitdiff | tree | 
| 2020-02-05 | Luke Kenneth... | add extra tests, find out whats going on with eq_gt_ge | commit | commitdiff | tree | 
| 2020-02-05 | Luke Kenneth... | quick test shows eq_gt_ge.py returning output in revers... | commit | commitdiff | tree | 
| 2020-02-05 | Luke Kenneth... | debug string for part-eq is an eq not + | commit | commitdiff | tree | 
| 2020-02-05 | Luke Kenneth... | use PartitionedEqGtGe for eq function in partitioned... | commit | commitdiff | tree | 
| 2020-02-05 | Luke Kenneth... | add constants for opcode, EQ/GT/GE, probably better... | commit | commitdiff | tree | 
| 2020-02-05 | Luke Kenneth... | whitespace | commit | commitdiff | tree | 
| 2020-02-05 | Luke Kenneth... | 80 char limit | commit | commitdiff | tree | 
| 2020-02-05 | Luke Kenneth... | whitespace | commit | commitdiff | tree | 
| 2020-02-05 | Luke Kenneth... | more whitespace | commit | commitdiff | tree | 
| 2020-02-05 | Luke Kenneth... | whitespace | commit | commitdiff | tree | 
| 2020-02-05 | Michael Nolan | Add module to handle partitioned eq, gt, and ge comparisons | commit | commitdiff | tree | 
| 2020-02-05 | Michael Nolan | Reverse order of gt combiner so it works MSB first | commit | commitdiff | tree | 
| 2020-02-05 | Michael Nolan | Add a signal to disable the gt inputs to gt_combiner | commit | commitdiff | tree | 
| 2020-02-05 | Michael Nolan | Add proof for equals module | commit | commitdiff | tree | 
| 2020-02-05 | Luke Kenneth... | use EQCombiner in PartitionedEq experiment | commit | commitdiff | tree | 
| 2020-02-04 | Luke Kenneth... | start partitioned mux class | commit | commitdiff | tree | 
| 2020-02-04 | Luke Kenneth... | add experiments __init__.py | commit | commitdiff | tree | 
| 2020-02-04 | Luke Kenneth... | remove comments, sort out string name, add __init__.pys | commit | commitdiff | tree | 
| 2020-02-04 | Luke Kenneth... | bit of whitespace | commit | commitdiff | tree | 
| 2020-02-04 | Luke Kenneth... | using format is a bit long for 1 argument, just use %d | commit | commitdiff | tree | 
| 2020-02-04 | Michael Nolan | Modify gt experiment to handle eq as well | commit | commitdiff | tree | 
| 2020-02-03 | Michael Nolan | Add proof for using the greater than combiner to do... | commit | commitdiff | tree | 
| 2020-02-03 | Michael Nolan | Add tree-based greater than experiment | commit | commitdiff | tree | 
| 2020-02-03 | Michael Nolan | Move experiments with partition methods to a separate... | commit | commitdiff | tree | 
| 2020-02-03 | Michael Nolan | Add tree based partitioned equals module | commit | commitdiff | tree | 
| 2020-02-03 | Michael Nolan | Rename partition_combiner to eq_combiner | commit | commitdiff | tree | 
| 2020-02-03 | Michael Nolan | Add an alternative partitioned equals combiner module | commit | commitdiff | tree | 
| 2020-02-03 | Luke Kenneth... | add first untested ge.py for partitioned signnal | commit | commitdiff | tree | 
| 2020-02-02 | Michael Nolan | Handle -0 and +0 equals and < | commit | commitdiff | tree | 
| 2020-02-02 | Michael Nolan | Add test case for NaN and -0 handling to fpmax | commit | commitdiff | tree | 
| 2020-02-02 | Michael Nolan | Replace If and Switch statements with muxes in fpcmp.py | commit | commitdiff | tree | 
| 2020-02-02 | Michael Nolan | Add formal proof for FLT and FLE for FPCMP | commit | commitdiff | tree | 
| next |