projects / ieee754fpu.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add formal proof for dynamic shifter
2020-02-12 Michael NolanAdd formal proof for dynamic shifter
 commit | commitdiff | tree
2020-02-12 Michael NolanSomewhat working dynamic shifter
 commit | commitdiff | tree
2020-02-12 Michael NolanFix whitespace
 commit | commitdiff | tree
2020-02-12 Michael NolanBegin adding dynamic shifter
 commit | commitdiff | tree
2020-02-12 Michael NolanRevise documentation for how carry works in adder.py
 commit | commitdiff | tree
2020-02-11 Michael NolanRudimentary working partitioned scalar shifter
 commit | commitdiff | tree
2020-02-11 Michael NolanBegin adding partitioned scalar shifter
 commit | commitdiff | tree
2020-02-10 Michael NolanFix line length
 commit | commitdiff | tree
2020-02-10 Michael NolanFix carry output of adder/subtracter
 commit | commitdiff | tree
2020-02-10 Michael NolanFix flake8 errors in part_cmp/
 commit | commitdiff | tree
2020-02-10 Michael NolanFix flake8 errors in partsig.py
 commit | commitdiff | tree
2020-02-10 Michael NolanFix flake8 errors in test_partsig
 commit | commitdiff | tree
2020-02-10 Michael NolanMinor cleanup
 commit | commitdiff | tree
2020-02-10 Michael NolanAdd neg operator to partsig.py
 commit | commitdiff | tree
2020-02-10 Michael NolanAdd subtraction to partsig.py
 commit | commitdiff | tree
2020-02-09 Michael NolanConvert partsig to use the existing add_op function
 commit | commitdiff | tree
2020-02-09 Michael NolanAdd rudimentary test for partitioned add with carry
 commit | commitdiff | tree
2020-02-09 Michael NolanAdd carry out to adder
 commit | commitdiff | tree
2020-02-09 Michael NolanBegin adding carry in and carry out support to adder
 commit | commitdiff | tree
2020-02-07 Michael NolanRemove unneeded and gate in gt_combiner
 commit | commitdiff | tree
2020-02-07 Michael NolanFix != implementation in partsig.py
 commit | commitdiff | tree
2020-02-07 Michael NolanModify test_partsig to handle the new changes to reorder_bit...
commit | commitdiff | tree
2020-02-07 Michael Nolanmodify reorder_bits to copy the MSB of the partition...
commit | commitdiff | tree
2020-02-06 Michael NolanFix test_partsig's invalid result for the equals test
 commit | commitdiff | tree
2020-02-06 Michael NolanAdd 0 assertions to the proof for eq_gt_ge
 commit | commitdiff | tree
2020-02-05 Michael NolanFix order of results from PartitionedEqGtGe
 commit | commitdiff | tree
2020-02-05 Michael Nolanmove unused partitioned comparison modules to experiments/
 commit | commitdiff | tree
2020-02-05 Michael Nolanmove gt_combiner out of experiments/
 commit | commitdiff | tree
2020-02-05 Michael NolanAdd module to handle partitioned eq, gt, and ge comparisons
 commit | commitdiff | tree
2020-02-05 Michael NolanReverse order of gt combiner so it works MSB first
 commit | commitdiff | tree
2020-02-05 Michael NolanAdd a signal to disable the gt inputs to gt_combiner
 commit | commitdiff | tree
2020-02-05 Michael NolanAdd proof for equals module
 commit | commitdiff | tree
2020-02-04 Michael NolanModify gt experiment to handle eq as well
 commit | commitdiff | tree
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-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-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 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 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 Michael NolanFSGNJ: Fix typo in abs
 commit | commitdiff | tree
2020-01-27 Michael NolanFSGNJ: Remove usage of FPNumDecode
 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 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