| 2020-01-31 | 
Michael Nolan | Fix nmigen "domain" error when trying to run unit tests | 
commit | commitdiff | tree | 
| 2020-01-30 | 
Luke Kenneth...  | tidyup | 
commit | commitdiff | tree | 
| 2020-01-30 | 
Luke Kenneth...  | tidy up comments | 
commit | commitdiff | tree | 
| 2020-01-30 | 
Luke Kenneth...  | working partitioned eqs function | 
commit | commitdiff | tree | 
| 2020-01-30 | 
Luke Kenneth...  | whoops overwrote input variable | 
commit | commitdiff | tree | 
| 2020-01-30 | 
Luke Kenneth...  | add comments | 
commit | commitdiff | tree | 
| 2020-01-30 | 
Luke Kenneth...  | experimental eq (non-optimal) | 
commit | commitdiff | tree | 
| 2020-01-30 | 
Luke Kenneth...  | add "as_sig" function to PartitionPoints to get the...  | 
commit | commitdiff | tree | 
| 2020-01-28 | 
Michael Nolan | Use nmigen's built in formal runner instead of mine | 
commit | commitdiff | tree | 
| 2020-01-28 | 
Michael Nolan | Fix handling of the .sby file directory when running...  | 
commit | commitdiff | tree | 
| 2020-01-28 | 
Michael Nolan | Use anyconst for the inputs of the dut in FMax formal...  | 
commit | commitdiff | tree | 
| 2020-01-28 | 
Luke Kenneth...  | line-up, whitespace | 
commit | commitdiff | tree | 
| 2020-01-28 | 
Luke Kenneth...  | read proof file from any location | 
commit | commitdiff | tree | 
| 2020-01-28 | 
Michael Nolan | remove usage of m.If() in fpmax and replace with Mux | 
commit | commitdiff | tree | 
| 2020-01-28 | 
Michael Nolan | Flesh out the formal proof for fmax | 
commit | commitdiff | tree | 
| 2020-01-28 | 
Michael Nolan | Update gitignore in formal directories to ignore proof...  | 
commit | commitdiff | tree | 
| 2020-01-28 | 
Michael Nolan | Add rudimentary proof to fpmax | 
commit | commitdiff | tree | 
| 2020-01-28 | 
Michael Nolan | Add fpmin handling to fpmax module | 
commit | commitdiff | tree | 
| 2020-01-28 | 
Michael Nolan | Add FPMAX module | 
commit | commitdiff | tree | 
| 2020-01-28 | 
Luke Kenneth...  | allow fsgnj proof to be run from any location | 
commit | commitdiff | tree | 
| 2020-01-28 | 
Michael Nolan | FSGNJ: expandd formal proof to 16 and 64 bits | 
commit | commitdiff | tree | 
| 2020-01-28 | 
Michael Nolan | FSGNJ: Convert proof to use FPNumDecode | 
commit | commitdiff | tree | 
| 2020-01-28 | 
Michael Nolan | Add formal proof for FSGNJPipeMod module | 
commit | commitdiff | tree | 
| 2020-01-27 | 
Luke Kenneth...  | remove unneeded comment | 
commit | commitdiff | tree | 
| 2020-01-27 | 
Michael Nolan | FSGNJ: Fix typo in abs | 
commit | commitdiff | tree | 
| 2020-01-27 | 
Michael Nolan | FSGNJ: Remove usage of FPNumDecode | 
commit | commitdiff | tree | 
| 2020-01-27 | 
Luke Kenneth...  | add comments, remove one of the Muxes | 
commit | commitdiff | tree | 
| 2020-01-27 | 
Luke Kenneth...  | reduce linelength <80chars | 
commit | commitdiff | tree | 
| 2020-01-27 | 
Michael Nolan | Add more/better comments to fsignj.py | 
commit | commitdiff | tree | 
| 2020-01-27 | 
Michael Nolan | FSGNJ: Replace use of Switch() with explicit muxes | 
commit | commitdiff | tree | 
| 2020-01-27 | 
Michael Nolan | FSGNJ: Use Floating point decode module instead of...  | 
commit | commitdiff | tree | 
| 2020-01-27 | 
Michael Nolan | Move patches in README to separate files | 
commit | commitdiff | tree | 
| 2020-01-27 | 
Luke Kenneth...  | add (untested) partitioned xor/or/and operators | 
commit | commitdiff | tree | 
| 2020-01-27 | 
Luke Kenneth...  | add copyright notices | 
commit | commitdiff | tree | 
| 2020-01-27 | 
Luke Kenneth...  | reverse indices | 
commit | commitdiff | tree | 
| 2020-01-27 | 
Michael Nolan | Expand FSGNJ module to 16 and 64 bit floats | 
commit | commitdiff | tree | 
| 2020-01-27 | 
Michael Nolan | Pep8 cleanup of FSGNJ module | 
commit | commitdiff | tree | 
| 2020-01-27 | 
Michael Nolan | FSGNJ working now in all three modes | 
commit | commitdiff | tree | 
| 2020-01-27 | 
Michael Nolan | Add basic test for fsignj pipe | 
commit | commitdiff | tree | 
| 2020-01-27 | 
Michael Nolan | Add FSGNJ Pipeline stage and overall FSGNJ pipeline | 
commit | commitdiff | tree | 
| 2020-01-24 | 
Luke Kenneth...  | trying to get recursive output working from partitioned eq | 
commit | commitdiff | tree | 
| 2020-01-24 | 
Luke Kenneth...  | found bug in eq partition assignment | 
commit | commitdiff | tree | 
| 2020-01-24 | 
Luke Kenneth...  | debug eq partition | 
commit | commitdiff | tree | 
| 2020-01-24 | 
Luke Kenneth...  | add beginnings of partitioned eq into unit test | 
commit | commitdiff | tree | 
| 2020-01-24 | 
Luke Kenneth...  | add partitioned eq module | 
commit | commitdiff | tree | 
| 2020-01-24 | 
Luke Kenneth...  | convert to partition mask rather than partition points | 
commit | commitdiff | tree | 
| 2020-01-24 | 
Luke Kenneth...  | add more to module docstring | 
commit | commitdiff | tree | 
| 2020-01-24 | 
Luke Kenneth...  | de-modulify PartitionedSignal, call "set_module" to...  | 
commit | commitdiff | tree | 
| 2020-01-22 | 
Luke Kenneth...  | add partition test add unit test | 
commit | commitdiff | tree | 
| 2020-01-22 | 
Luke Kenneth...  | add __xor__ and __add__ | 
commit | commitdiff | tree | 
| 2020-01-22 | 
Luke Kenneth...  | add partitioned signal class | 
commit | commitdiff | tree | 
| 2020-01-17 | 
Luke Kenneth...  | min/max in Signal deprecated in nmigen | 
commit | commitdiff | tree | 
| 2020-01-17 | 
Luke Kenneth...  | update to new revision nmigen | 
commit | commitdiff | tree | 
| 2020-01-06 | 
Luke Kenneth...  | split out adder code (PartitionedAdder) into module...  | 
commit | commitdiff | tree | 
| 2019-11-19 | 
Luke Kenneth...  | import global not relative | 
commit | commitdiff | tree | 
| 2019-11-19 | 
Luke Kenneth...  | add bug #148 record | 
commit | commitdiff | tree | 
| 2019-11-19 | 
Luke Kenneth...  | clarify StageChain | 
commit | commitdiff | tree | 
| 2019-11-19 | 
Luke Kenneth...  | clarify whats being obtained from _connect_out function | 
commit | commitdiff | tree | 
| 2019-11-19 | 
Luke Kenneth...  | documentation on pipeline API | 
commit | commitdiff | tree | 
| 2019-11-19 | 
Luke Kenneth...  | document iocontrol module properly | 
commit | commitdiff | tree | 
| 2019-08-28 | 
Luke Kenneth...  | create SIMD pipe multiply unit test | 
commit | commitdiff | tree | 
| 2019-08-26 | 
Luke Kenneth...  | add docstring Mul8_16_32_64 only for testing | 
commit | commitdiff | tree | 
| 2019-08-26 | 
Luke Kenneth...  | add mul_pipe.py - pipeline version of multiply.py | 
commit | commitdiff | tree | 
| 2019-08-26 | 
Luke Kenneth...  | rename inputs_ to terms_ | 
commit | commitdiff | tree | 
| 2019-08-26 | 
Luke Kenneth...  | update docstring | 
commit | commitdiff | tree | 
| 2019-08-26 | 
Luke Kenneth...  | code-morph AddReduceInternal: remove self.inputs, repla...  | 
commit | commitdiff | tree | 
| 2019-08-26 | 
Luke Kenneth...  | remove unneeded variables | 
commit | commitdiff | tree | 
| 2019-08-26 | 
Luke Kenneth...  | use PipeModBase and PipelineSpec in Intermediates and...  | 
commit | commitdiff | tree | 
| 2019-08-26 | 
Luke Kenneth...  | use PipelineSpec and PipeModBase in AddReduce | 
commit | commitdiff | tree | 
| 2019-08-26 | 
Luke Kenneth...  | use PipelineSpec object in AllTerms | 
commit | commitdiff | tree | 
| 2019-08-26 | 
Luke Kenneth...  | remove unneeded argument (register_levels/n_levels...  | 
commit | commitdiff | tree | 
| 2019-08-25 | 
Luke Kenneth...  | document weird int2float bug | 
commit | commitdiff | tree | 
| 2019-08-25 | 
Luke Kenneth...  | use Mux instead of m.If/Else in int2float fcvt | 
commit | commitdiff | tree | 
| 2019-08-25 | 
Luke Kenneth...  | remove fprsqrt m.If/Elif/Elif, replace with Mux | 
commit | commitdiff | tree | 
| 2019-08-25 | 
Luke Kenneth...  | remove m.If/Elif in fpdiv sqrt, replace with Mux | 
commit | commitdiff | tree | 
| 2019-08-25 | 
Luke Kenneth...  | remove m.If/Elif from fpdiv specialcases | 
commit | commitdiff | tree | 
| 2019-08-25 | 
Luke Kenneth...  | remove m.If/Elif/Elif replace with Mux | 
commit | commitdiff | tree | 
| 2019-08-25 | 
Luke Kenneth...  | rewrite fpadd specialcases to use Mux instead of m...  | 
commit | commitdiff | tree | 
| 2019-08-25 | 
Luke Kenneth...  | code-morph on add special-cases | 
commit | commitdiff | tree | 
| 2019-08-25 | 
Luke Kenneth...  | remove weirdness | 
commit | commitdiff | tree | 
| 2019-08-25 | 
Luke Kenneth...  | remove out_do_z, update comments (whitespace) | 
commit | commitdiff | tree | 
| 2019-08-25 | 
Luke Kenneth...  | code comments | 
commit | commitdiff | tree | 
| 2019-08-25 | 
Luke Kenneth...  | rework add aligner to use Mux instead of m.If/Else | 
commit | commitdiff | tree | 
| 2019-08-25 | 
Luke Kenneth...  | remove use of out_do_z in add align | 
commit | commitdiff | tree | 
| 2019-08-25 | 
Luke Kenneth...  | rework add1 to not use out_do_z and use Mux instead...  | 
commit | commitdiff | tree | 
| 2019-08-25 | 
Luke Kenneth...  | reorg add0 to use Mux instead of m.If/Else | 
commit | commitdiff | tree | 
| 2019-08-25 | 
Luke Kenneth...  | use Mux instead of m.If/Elif on add sign | 
commit | commitdiff | tree | 
| 2019-08-25 | 
Luke Kenneth...  | remove out_do_z from add0 | 
commit | commitdiff | tree | 
| 2019-08-25 | 
Luke Kenneth...  | remove use of out_do_z, use Mux instead of m.If/Else | 
commit | commitdiff | tree | 
| 2019-08-25 | 
Luke Kenneth...  | remove out_do_z test | 
commit | commitdiff | tree | 
| 2019-08-25 | 
Luke Kenneth...  | rework roundz to use Mux | 
commit | commitdiff | tree | 
| 2019-08-25 | 
Luke Kenneth...  | use Mux in fp corrections | 
commit | commitdiff | tree | 
| 2019-08-25 | 
Luke Kenneth...  | cleanup on msb1 and align: use Mux, remove out_do_z | 
commit | commitdiff | tree | 
| 2019-08-25 | 
Luke Kenneth...  | morph mul1 to use Mux rather than m.If/Else | 
commit | commitdiff | tree | 
| 2019-08-25 | 
Luke Kenneth...  | do not make mul1 processing conditional on out_do_z | 
commit | commitdiff | tree | 
| 2019-08-23 | 
Luke Kenneth...  | add Stage API setup/process to AddReduceInternal | 
commit | commitdiff | tree | 
| 2019-08-23 | 
Luke Kenneth...  | add in setup/process functions in multiply | 
commit | commitdiff | tree | 
| 2019-08-23 | 
Luke Kenneth...  | remove use of AddReduce, use AddReduceInternal instead | 
commit | commitdiff | tree | 
| 2019-08-23 | 
Luke Kenneth...  | whoops forgot to set partition_step in AddReduceSingle...  | 
commit | commitdiff | tree | 
| 2019-08-23 | 
Luke Kenneth...  | pass in partition step parameter | 
commit | commitdiff | tree | 
| next |