projects / ieee754fpu.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Flesh out the formal proof for fmax
[ieee754fpu.git] / src /
2020-01-28 Michael NolanFlesh out the formal proof for fmax tree | commitdiff
2020-01-28 Michael NolanUpdate gitignore in formal directories to ignore proof... tree | commitdiff
2020-01-28 Michael NolanAdd rudimentary proof to fpmax tree | commitdiff
2020-01-28 Michael NolanAdd fpmin handling to fpmax module tree | commitdiff
2020-01-28 Michael NolanAdd 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 NolanFSGNJ: expandd formal proof to 16 and 64 bits tree | commitdiff
2020-01-28 Michael NolanFSGNJ: Convert proof to use FPNumDecode tree | commitdiff
2020-01-28 Michael NolanAdd formal proof for FSGNJPipeMod module tree | commitdiff
2020-01-27 Luke Kenneth Casso... remove unneeded comment tree | commitdiff
2020-01-27 Michael NolanFSGNJ: Fix typo in abs tree | commitdiff
2020-01-27 Michael NolanFSGNJ: 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 NolanAdd more/better comments to fsignj.py tree | commitdiff
2020-01-27 Michael NolanFSGNJ: Replace use of Switch() with explicit muxes tree | commitdiff
2020-01-27 Michael NolanFSGNJ: 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 NolanExpand FSGNJ module to 16 and 64 bit floats tree | commitdiff
2020-01-27 Michael NolanPep8 cleanup of FSGNJ module tree | commitdiff
2020-01-27 Michael NolanFSGNJ working now in all three modes tree | commitdiff
2020-01-27 Michael NolanAdd basic test for fsignj pipe tree | commitdiff
2020-01-27 Michael NolanAdd 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
2019-08-25 Luke Kenneth Casso... remove fprsqrt m.If/Elif/Elif, replace with Mux tree | commitdiff
2019-08-25 Luke Kenneth Casso... remove m.If/Elif in fpdiv sqrt, replace with Mux tree | commitdiff
2019-08-25 Luke Kenneth Casso... remove m.If/Elif from fpdiv specialcases tree | commitdiff
2019-08-25 Luke Kenneth Casso... remove m.If/Elif/Elif replace with Mux tree | commitdiff
2019-08-25 Luke Kenneth Casso... rewrite fpadd specialcases to use Mux instead of m... tree | commitdiff
2019-08-25 Luke Kenneth Casso... code-morph on add special-cases tree | commitdiff
2019-08-25 Luke Kenneth Casso... remove weirdness tree | commitdiff
2019-08-25 Luke Kenneth Casso... remove out_do_z, update comments (whitespace) tree | commitdiff
2019-08-25 Luke Kenneth Casso... code comments tree | commitdiff
2019-08-25 Luke Kenneth Casso... rework add aligner to use Mux instead of m.If/Else tree | commitdiff
2019-08-25 Luke Kenneth Casso... remove use of out_do_z in add align tree | commitdiff
2019-08-25 Luke Kenneth Casso... rework add1 to not use out_do_z and use Mux instead... tree | commitdiff
2019-08-25 Luke Kenneth Casso... reorg add0 to use Mux instead of m.If/Else tree | commitdiff
2019-08-25 Luke Kenneth Casso... use Mux instead of m.If/Elif on add sign tree | commitdiff
2019-08-25 Luke Kenneth Casso... remove out_do_z from add0 tree | commitdiff
2019-08-25 Luke Kenneth Casso... remove use of out_do_z, use Mux instead of m.If/Else tree | commitdiff
2019-08-25 Luke Kenneth Casso... remove out_do_z test tree | commitdiff
2019-08-25 Luke Kenneth Casso... rework roundz to use Mux tree | commitdiff
2019-08-25 Luke Kenneth Casso... use Mux in fp corrections tree | commitdiff
2019-08-25 Luke Kenneth Casso... cleanup on msb1 and align: use Mux, remove out_do_z tree | commitdiff
2019-08-25 Luke Kenneth Casso... morph mul1 to use Mux rather than m.If/Else tree | commitdiff
2019-08-25 Luke Kenneth Casso... do not make mul1 processing conditional on out_do_z tree | commitdiff
2019-08-23 Luke Kenneth Casso... add Stage API setup/process to AddReduceInternal tree | commitdiff
2019-08-23 Luke Kenneth Casso... add in setup/process functions in multiply tree | commitdiff
2019-08-23 Luke Kenneth Casso... remove use of AddReduce, use AddReduceInternal instead tree | commitdiff
2019-08-23 Luke Kenneth Casso... whoops forgot to set partition_step in AddReduceSingle... tree | commitdiff
2019-08-23 Luke Kenneth Casso... pass in partition step parameter tree | commitdiff
2019-08-23 Luke Kenneth Casso... munge AddReduce internals tree | commitdiff
2019-08-23 Luke Kenneth Casso... remove unneeded code tree | commitdiff
2019-08-23 Luke Kenneth Casso... continue ispec/ospec on multiply tree | commitdiff
2019-08-23 Luke Kenneth Casso... start adding ispec/ospec to multiply.py tree | commitdiff
2019-08-23 Luke Kenneth Casso... use bit_select instead of part, again tree | commitdiff
2019-08-23 Luke Kenneth Casso... missing arg in InputData.eq_from tree | commitdiff
2019-08-23 Luke Kenneth Casso... :1136 tree | commitdiff
2019-08-23 Luke Kenneth Casso... split out AddReduce module level creation tree | commitdiff
2019-08-23 Luke Kenneth Casso... rename AllTermsData to InputData, use as input to base... tree | commitdiff
2019-08-23 Luke Kenneth Casso... remove register_levels from AddReduceSingle and Final tree | commitdiff
2019-08-23 Luke Kenneth Casso... remove need to pass register_levels to AddReduceSingle tree | commitdiff
2019-08-23 Luke Kenneth Casso... more variable renaming tree | commitdiff
2019-08-23 Luke Kenneth Casso... more variable renaming tree | commitdiff
2019-08-23 Luke Kenneth Casso... rename some variables in the multiplier code: tree | commitdiff
2019-08-23 Luke Kenneth Casso... use new doubling of PartitionedAdder points (in-place... tree | commitdiff
next