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