2020-02-05 |
Luke Kenneth Casso... | whitespace |
tree | commitdiff |
2020-02-05 |
Michael Nolan | Add module to handle partitioned eq, gt, and ge comparisons |
tree | commitdiff |
2020-02-05 |
Michael Nolan | Reverse order of gt combiner so it works MSB first |
tree | commitdiff |
2020-02-05 |
Michael Nolan | Add a signal to disable the gt inputs to gt_combiner |
tree | commitdiff |
2020-02-05 |
Michael Nolan | Add proof for equals module |
tree | commitdiff |
2020-02-05 |
Luke Kenneth Casso... | use EQCombiner in PartitionedEq experiment |
tree | commitdiff |
2020-02-04 |
Luke Kenneth Casso... | start partitioned mux class |
tree | commitdiff |
2020-02-04 |
Luke Kenneth Casso... | add experiments __init__.py |
tree | commitdiff |
2020-02-04 |
Luke Kenneth Casso... | remove comments, sort out string name, add __init__.pys |
tree | commitdiff |
2020-02-04 |
Luke Kenneth Casso... | bit of whitespace |
tree | commitdiff |
2020-02-04 |
Luke Kenneth Casso... | using format is a bit long for 1 argument, just use %d |
tree | commitdiff |
2020-02-04 |
Michael Nolan | Modify gt experiment to handle eq as well |
tree | commitdiff |
2020-02-03 |
Michael Nolan | Add proof for using the greater than combiner to do... |
tree | commitdiff |
2020-02-03 |
Michael Nolan | Add tree-based greater than experiment |
tree | commitdiff |
2020-02-03 |
Michael Nolan | Move experiments with partition methods to a separate... |
tree | commitdiff |
2020-02-03 |
Michael Nolan | Add tree based partitioned equals module |
tree | commitdiff |
2020-02-03 |
Michael Nolan | Rename partition_combiner to eq_combiner |
tree | commitdiff |
2020-02-03 |
Michael Nolan | Add an alternative partitioned equals combiner module |
tree | commitdiff |
2020-02-03 |
Luke Kenneth Casso... | add first untested ge.py for partitioned signnal |
tree | commitdiff |
2020-02-02 |
Michael Nolan | Handle -0 and +0 equals and < |
tree | commitdiff |
2020-02-02 |
Michael Nolan | Add test case for NaN and -0 handling to fpmax |
tree | commitdiff |
2020-02-02 |
Michael Nolan | Replace If and Switch statements with muxes in fpcmp.py |
tree | commitdiff |
2020-02-02 |
Michael Nolan | Add formal proof for FLT and FLE for FPCMP |
tree | commitdiff |
2020-02-02 |
Michael Nolan | Add FLT and FLE functionality to FPCMP |
tree | commitdiff |
2020-02-02 |
Michael Nolan | Handle NaNs for FPCMP |
tree | commitdiff |
2020-02-02 |
Michael Nolan | Add feq functionality to fpcmp |
tree | commitdiff |
2020-02-02 |
Michael Nolan | Begin adding formal proof for fpcmp |
tree | commitdiff |
2020-02-02 |
Michael Nolan | Begin adding FPCMP module (FEQ, FLT, FLE) |
tree | commitdiff |
2020-01-31 |
Michael Nolan | Fix nmigen "domain" error when trying to run unit tests |
tree | commitdiff |
2020-01-30 |
Luke Kenneth Casso... | tidyup |
tree | commitdiff |
2020-01-30 |
Luke Kenneth Casso... | tidy up comments |
tree | commitdiff |
2020-01-30 |
Luke Kenneth Casso... | working partitioned eqs function |
tree | commitdiff |
2020-01-30 |
Luke Kenneth Casso... | whoops overwrote input variable |
tree | commitdiff |
2020-01-30 |
Luke Kenneth Casso... | add comments |
tree | commitdiff |
2020-01-30 |
Luke Kenneth Casso... | experimental eq (non-optimal) |
tree | commitdiff |
2020-01-30 |
Luke Kenneth Casso... | add "as_sig" function to PartitionPoints to get the... |
tree | commitdiff |
2020-01-28 |
Michael Nolan | Use nmigen's built in formal runner instead of mine |
tree | commitdiff |
2020-01-28 |
Michael Nolan | Fix handling of the .sby file directory when running... |
tree | commitdiff |
2020-01-28 |
Michael Nolan | Use anyconst for the inputs of the dut in FMax formal... |
tree | commitdiff |
2020-01-28 |
Luke Kenneth Casso... | line-up, whitespace |
tree | commitdiff |
2020-01-28 |
Luke Kenneth Casso... | read proof file from any location |
tree | commitdiff |
2020-01-28 |
Michael Nolan | remove usage of m.If() in fpmax and replace with Mux |
tree | commitdiff |
2020-01-28 |
Michael Nolan | Flesh out the formal proof for fmax |
tree | commitdiff |
2020-01-28 |
Michael Nolan | Update gitignore in formal directories to ignore proof... |
tree | commitdiff |
2020-01-28 |
Michael Nolan | Add rudimentary proof to fpmax |
tree | commitdiff |
2020-01-28 |
Michael Nolan | Add fpmin handling to fpmax module |
tree | commitdiff |
2020-01-28 |
Michael Nolan | Add FPMAX module |
tree | commitdiff |
2020-01-28 |
Luke Kenneth Casso... | allow fsgnj proof to be run from any location |
tree | commitdiff |
2020-01-28 |
Michael Nolan | FSGNJ: expandd formal proof to 16 and 64 bits |
tree | commitdiff |
2020-01-28 |
Michael Nolan | FSGNJ: Convert proof to use FPNumDecode |
tree | commitdiff |
2020-01-28 |
Michael Nolan | Add formal proof for FSGNJPipeMod module |
tree | commitdiff |
2020-01-27 |
Luke Kenneth Casso... | remove unneeded comment |
tree | commitdiff |
2020-01-27 |
Michael Nolan | FSGNJ: Fix typo in abs |
tree | commitdiff |
2020-01-27 |
Michael Nolan | FSGNJ: Remove usage of FPNumDecode |
tree | commitdiff |
2020-01-27 |
Luke Kenneth Casso... | add comments, remove one of the Muxes |
tree | commitdiff |
2020-01-27 |
Luke Kenneth Casso... | reduce linelength <80chars |
tree | commitdiff |
2020-01-27 |
Michael Nolan | Add more/better comments to fsignj.py |
tree | commitdiff |
2020-01-27 |
Michael Nolan | FSGNJ: Replace use of Switch() with explicit muxes |
tree | commitdiff |
2020-01-27 |
Michael Nolan | FSGNJ: Use Floating point decode module instead of... |
tree | commitdiff |
2020-01-27 |
Luke Kenneth Casso... | add (untested) partitioned xor/or/and operators |
tree | commitdiff |
2020-01-27 |
Luke Kenneth Casso... | add copyright notices |
tree | commitdiff |
2020-01-27 |
Luke Kenneth Casso... | reverse indices |
tree | commitdiff |
2020-01-27 |
Michael Nolan | Expand FSGNJ module to 16 and 64 bit floats |
tree | commitdiff |
2020-01-27 |
Michael Nolan | Pep8 cleanup of FSGNJ module |
tree | commitdiff |
2020-01-27 |
Michael Nolan | FSGNJ working now in all three modes |
tree | commitdiff |
2020-01-27 |
Michael Nolan | Add basic test for fsignj pipe |
tree | commitdiff |
2020-01-27 |
Michael Nolan | Add FSGNJ Pipeline stage and overall FSGNJ pipeline |
tree | commitdiff |
2020-01-24 |
Luke Kenneth Casso... | trying to get recursive output working from partitioned eq |
tree | commitdiff |
2020-01-24 |
Luke Kenneth Casso... | found bug in eq partition assignment |
tree | commitdiff |
2020-01-24 |
Luke Kenneth Casso... | debug eq partition |
tree | commitdiff |
2020-01-24 |
Luke Kenneth Casso... | add beginnings of partitioned eq into unit test |
tree | commitdiff |
2020-01-24 |
Luke Kenneth Casso... | add partitioned eq module |
tree | commitdiff |
2020-01-24 |
Luke Kenneth Casso... | convert to partition mask rather than partition points |
tree | commitdiff |
2020-01-24 |
Luke Kenneth Casso... | add more to module docstring |
tree | commitdiff |
2020-01-24 |
Luke Kenneth Casso... | de-modulify PartitionedSignal, call "set_module" to... |
tree | commitdiff |
2020-01-22 |
Luke Kenneth Casso... | add partition test add unit test |
tree | commitdiff |
2020-01-22 |
Luke Kenneth Casso... | add __xor__ and __add__ |
tree | commitdiff |
2020-01-22 |
Luke Kenneth Casso... | add partitioned signal class |
tree | commitdiff |
2020-01-17 |
Luke Kenneth Casso... | min/max in Signal deprecated in nmigen |
tree | commitdiff |
2020-01-17 |
Luke Kenneth Casso... | update to new revision nmigen |
tree | commitdiff |
2020-01-06 |
Luke Kenneth Casso... | split out adder code (PartitionedAdder) into module... |
tree | commitdiff |
2019-11-19 |
Luke Kenneth Casso... | import global not relative |
tree | commitdiff |
2019-11-19 |
Luke Kenneth Casso... | add bug #148 record |
tree | commitdiff |
2019-11-19 |
Luke Kenneth Casso... | clarify StageChain |
tree | commitdiff |
2019-11-19 |
Luke Kenneth Casso... | clarify whats being obtained from _connect_out function |
tree | commitdiff |
2019-11-19 |
Luke Kenneth Casso... | documentation on pipeline API |
tree | commitdiff |
2019-11-19 |
Luke Kenneth Casso... | document iocontrol module properly |
tree | commitdiff |
2019-08-28 |
Luke Kenneth Casso... | create SIMD pipe multiply unit test |
tree | commitdiff |
2019-08-26 |
Luke Kenneth Casso... | add docstring Mul8_16_32_64 only for testing |
tree | commitdiff |
2019-08-26 |
Luke Kenneth Casso... | add mul_pipe.py - pipeline version of multiply.py |
tree | commitdiff |
2019-08-26 |
Luke Kenneth Casso... | rename inputs_ to terms_ |
tree | commitdiff |
2019-08-26 |
Luke Kenneth Casso... | update docstring |
tree | commitdiff |
2019-08-26 |
Luke Kenneth Casso... | code-morph AddReduceInternal: remove self.inputs, repla... |
tree | commitdiff |
2019-08-26 |
Luke Kenneth Casso... | remove unneeded variables |
tree | commitdiff |
2019-08-26 |
Luke Kenneth Casso... | use PipeModBase and PipelineSpec in Intermediates and... |
tree | commitdiff |
2019-08-26 |
Luke Kenneth Casso... | use PipelineSpec and PipeModBase in AddReduce |
tree | commitdiff |
2019-08-26 |
Luke Kenneth Casso... | use PipelineSpec object in AllTerms |
tree | commitdiff |
2019-08-26 |
Luke Kenneth Casso... | remove unneeded argument (register_levels/n_levels... |
tree | commitdiff |
2019-08-25 |
Luke Kenneth Casso... | document weird int2float bug |
tree | commitdiff |
2019-08-25 |
Luke Kenneth Casso... | use Mux instead of m.If/Else in int2float fcvt |
tree | commitdiff |
next |