projects / ieee754fpu.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
ieee754fpu.git
2020-02-03 Michael NolanAdd proof for using the greater than combiner to do... commit | commitdiff | tree
2020-02-03 Michael NolanAdd tree-based greater than experiment commit | commitdiff | tree
2020-02-03 Michael NolanMove experiments with partition methods to a separate... commit | commitdiff | tree
2020-02-03 Michael NolanAdd tree based partitioned equals module commit | commitdiff | tree
2020-02-03 Michael NolanRename partition_combiner to eq_combiner commit | commitdiff | tree
2020-02-03 Michael NolanAdd 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 NolanHandle -0 and +0 equals and < commit | commitdiff | tree
2020-02-02 Michael NolanAdd test case for NaN and -0 handling to fpmax commit | commitdiff | tree
2020-02-02 Michael NolanReplace If and Switch statements with muxes in fpcmp.py commit | commitdiff | tree
2020-02-02 Michael NolanAdd formal proof for FLT and FLE for FPCMP commit | commitdiff | tree
2020-02-02 Michael NolanAdd FLT and FLE functionality to FPCMP commit | commitdiff | tree
2020-02-02 Michael NolanHandle NaNs for FPCMP commit | commitdiff | tree
2020-02-02 Michael NolanAdd feq functionality to fpcmp commit | commitdiff | tree
2020-02-02 Michael NolanBegin adding formal proof for fpcmp commit | commitdiff | tree
2020-02-02 Michael NolanBegin adding FPCMP module (FEQ, FLT, FLE) commit | commitdiff | tree
2020-01-31 Michael NolanFix 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 NolanUse nmigen's built in formal runner instead of mine commit | commitdiff | tree
2020-01-28 Michael NolanFix handling of the .sby file directory when running... commit | commitdiff | tree
2020-01-28 Michael NolanUse 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 Nolanremove usage of m.If() in fpmax and replace with Mux commit | commitdiff | tree
2020-01-28 Michael NolanFlesh out the formal proof for fmax commit | commitdiff | tree
2020-01-28 Michael NolanUpdate gitignore in formal directories to ignore proof... commit | commitdiff | tree
2020-01-28 Michael NolanAdd rudimentary proof to fpmax commit | commitdiff | tree
2020-01-28 Michael NolanAdd fpmin handling to fpmax module commit | commitdiff | tree
2020-01-28 Michael NolanAdd 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 NolanFSGNJ: expandd formal proof to 16 and 64 bits commit | commitdiff | tree
2020-01-28 Michael NolanFSGNJ: Convert proof to use FPNumDecode commit | commitdiff | tree
2020-01-28 Michael NolanAdd formal proof for FSGNJPipeMod module commit | commitdiff | tree
2020-01-27 Luke Kenneth... remove unneeded comment commit | commitdiff | tree
2020-01-27 Michael NolanFSGNJ: Fix typo in abs commit | commitdiff | tree
2020-01-27 Michael NolanFSGNJ: 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 NolanAdd more/better comments to fsignj.py commit | commitdiff | tree
2020-01-27 Michael NolanFSGNJ: Replace use of Switch() with explicit muxes commit | commitdiff | tree
2020-01-27 Michael NolanFSGNJ: Use Floating point decode module instead of... commit | commitdiff | tree
2020-01-27 Michael NolanMove 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 NolanExpand FSGNJ module to 16 and 64 bit floats commit | commitdiff | tree
2020-01-27 Michael NolanPep8 cleanup of FSGNJ module commit | commitdiff | tree
2020-01-27 Michael NolanFSGNJ working now in all three modes commit | commitdiff | tree
2020-01-27 Michael NolanAdd basic test for fsignj pipe commit | commitdiff | tree
2020-01-27 Michael NolanAdd 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
next