projects / ieee754fpu.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
ieee754fpu.git
2020-02-12 Michael NolanEliminate unused entries in shift matrix commit | commitdiff | tree
2020-02-12 Michael NolanReduce width of b operand to minimum size needed commit | commitdiff | tree
2020-02-12 Michael NolanExpand 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 NolanRename part_shift_scalar/ to part_shift commit | commitdiff | tree
2020-02-12 Michael NolanAdd formal proof for dynamic shifter commit | commitdiff | tree
2020-02-12 Michael NolanSomewhat working dynamic shifter commit | commitdiff | tree
2020-02-12 Michael NolanFix whitespace commit | commitdiff | tree
2020-02-12 Michael NolanBegin 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 NolanRevise 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 NolanRudimentary working partitioned scalar shifter commit | commitdiff | tree
2020-02-11 Michael NolanBegin adding partitioned scalar shifter commit | commitdiff | tree
2020-02-10 Luke Kenneth... document partsig operators commit | commitdiff | tree
2020-02-10 Michael NolanFix line length commit | commitdiff | tree
2020-02-10 Michael NolanFix carry output of adder/subtracter commit | commitdiff | tree
2020-02-10 Michael NolanFix flake8 errors in part_cmp/ commit | commitdiff | tree
2020-02-10 Michael NolanFix flake8 errors in partsig.py commit | commitdiff | tree
2020-02-10 Michael NolanFix flake8 errors in test_partsig commit | commitdiff | tree
2020-02-10 Michael NolanMinor cleanup commit | commitdiff | tree
2020-02-10 Michael NolanAdd neg operator to partsig.py commit | commitdiff | tree
2020-02-10 Michael NolanAdd 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 NolanConvert partsig to use the existing add_op function commit | commitdiff | tree
2020-02-09 Michael NolanAdd rudimentary test for partitioned add with carry commit | commitdiff | tree
2020-02-09 Michael NolanAdd carry out to adder commit | commitdiff | tree
2020-02-09 Michael NolanBegin 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 NolanRemove 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 NolanFix != implementation in partsig.py commit | commitdiff | tree
2020-02-07 Michael NolanModify test_partsig to handle the new changes to reorde... commit | commitdiff | tree
2020-02-07 Michael Nolanmodify 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 NolanFix test_partsig's invalid result for the equals test commit | commitdiff | tree
2020-02-06 Michael NolanAdd 0 assertions to the proof for eq_gt_ge commit | commitdiff | tree
2020-02-05 Michael NolanFix order of results from PartitionedEqGtGe commit | commitdiff | tree
2020-02-05 Michael Nolanmove unused partitioned comparison modules to experiments/ commit | commitdiff | tree
2020-02-05 Michael Nolanmove 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 NolanAdd module to handle partitioned eq, gt, and ge comparisons commit | commitdiff | tree
2020-02-05 Michael NolanReverse order of gt combiner so it works MSB first commit | commitdiff | tree
2020-02-05 Michael NolanAdd a signal to disable the gt inputs to gt_combiner commit | commitdiff | tree
2020-02-05 Michael NolanAdd 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
next