ieee754fpu.git
2020-02-05 Luke Kenneth... add extra tests, find out whats going on with eq_gt_ge
2020-02-05 Luke Kenneth... quick test shows eq_gt_ge.py returning output in revers...
2020-02-05 Luke Kenneth... debug string for part-eq is an eq not +
2020-02-05 Luke Kenneth... use PartitionedEqGtGe for eq function in partitioned...
2020-02-05 Luke Kenneth... add constants for opcode, EQ/GT/GE, probably better...
2020-02-05 Luke Kenneth... whitespace
2020-02-05 Luke Kenneth... 80 char limit
2020-02-05 Luke Kenneth... whitespace
2020-02-05 Luke Kenneth... more whitespace
2020-02-05 Luke Kenneth... whitespace
2020-02-05 Michael NolanAdd module to handle partitioned eq, gt, and ge comparisons
2020-02-05 Michael NolanReverse order of gt combiner so it works MSB first
2020-02-05 Michael NolanAdd a signal to disable the gt inputs to gt_combiner
2020-02-05 Michael NolanAdd proof for equals module
2020-02-05 Luke Kenneth... use EQCombiner in PartitionedEq experiment
2020-02-04 Luke Kenneth... start partitioned mux class
2020-02-04 Luke Kenneth... add experiments __init__.py
2020-02-04 Luke Kenneth... remove comments, sort out string name, add __init__.pys
2020-02-04 Luke Kenneth... bit of whitespace
2020-02-04 Luke Kenneth... using format is a bit long for 1 argument, just use %d
2020-02-04 Michael NolanModify gt experiment to handle eq as well
2020-02-03 Michael NolanAdd proof for using the greater than combiner to do...
2020-02-03 Michael NolanAdd tree-based greater than experiment
2020-02-03 Michael NolanMove experiments with partition methods to a separate...
2020-02-03 Michael NolanAdd tree based partitioned equals module
2020-02-03 Michael NolanRename partition_combiner to eq_combiner
2020-02-03 Michael NolanAdd an alternative partitioned equals combiner module
2020-02-03 Luke Kenneth... add first untested ge.py for partitioned signnal
2020-02-02 Michael NolanHandle -0 and +0 equals and <
2020-02-02 Michael NolanAdd test case for NaN and -0 handling to fpmax
2020-02-02 Michael NolanReplace If and Switch statements with muxes in fpcmp.py
2020-02-02 Michael NolanAdd formal proof for FLT and FLE for FPCMP
2020-02-02 Michael NolanAdd FLT and FLE functionality to FPCMP
2020-02-02 Michael NolanHandle NaNs for FPCMP
2020-02-02 Michael NolanAdd feq functionality to fpcmp
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
next