ieee754fpu.git
2020-02-09 Michael NolanConvert partsig to use the existing add_op function
2020-02-09 Michael NolanAdd rudimentary test for partitioned add with carry
2020-02-09 Michael NolanAdd carry out to adder
2020-02-09 Michael NolanBegin adding carry in and carry out support to adder
2020-02-08 Luke Kenneth... minor codeshuffle, split out check of PartitionedSignal...
2020-02-08 Luke Kenneth... add comments
2020-02-07 Luke Kenneth... tidyup PartitionedAdd
2020-02-07 Luke Kenneth... add shift operators TODO on partsig
2020-02-07 Luke Kenneth... comment TODO on __neg__ operation
2020-02-07 Luke Kenneth... invert partitioned op is just a bit-wise invert
2020-02-07 Luke Kenneth... update docstring and copyright notice
2020-02-07 Luke Kenneth... fix muxop test in part_sig test
2020-02-07 Luke Kenneth... fix part_mux to actually use Mux (duh)
2020-02-07 Michael NolanRemove unneeded and gate in gt_combiner
2020-02-07 Luke Kenneth... fix syntax errors for test_partsig
2020-02-07 Luke Kenneth... grr correct syntax for assert
2020-02-07 Michael NolanFix != implementation in partsig.py
2020-02-07 Michael NolanModify test_partsig to handle the new changes to reorde...
2020-02-07 Michael Nolanmodify reorder_bits to copy the MSB of the partition...
2020-02-07 Luke Kenneth... add unit test for part_mux
2020-02-07 Luke Kenneth... whoops syntax error
2020-02-07 Luke Kenneth... add first version of part_mux
2020-02-07 Luke Kenneth... use assert not raise ValueError
2020-02-07 Luke Kenneth... ripple of LSB from compare-operations, successful
2020-02-07 Luke Kenneth... add first (untested) version of ripple-LSB
2020-02-07 Luke Kenneth... add extra operators to be implemented to partsig
2020-02-06 Luke Kenneth... add stub operators to partsig to help make it clear...
2020-02-06 Luke Kenneth... TODO on NE partsig op
2020-02-06 Luke Kenneth... make common function for testing comparators
2020-02-06 Luke Kenneth... restructure partsig, use common function for Partitione...
2020-02-06 Luke Kenneth... fix partsig gt test, add ge test
2020-02-06 Luke Kenneth... add __ge__ partsig operator
2020-02-06 Luke Kenneth... add gt part_sig operator
2020-02-06 Michael NolanFix test_partsig's invalid result for the equals test
2020-02-06 Michael NolanAdd 0 assertions to the proof for eq_gt_ge
2020-02-05 Michael NolanFix order of results from PartitionedEqGtGe
2020-02-05 Michael Nolanmove unused partitioned comparison modules to experiments/
2020-02-05 Michael Nolanmove gt_combiner out of experiments/
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
next