projects / soc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Qualify XER_OV output in proof
[soc.git] / src / soc / fu / mul /
2020-08-29 Samuel A. Falvo IIQualify XER_OV output in proof tree | commitdiff
2020-08-29 Samuel A. Falvo IIFix test breakage in MUL proofs tree | commitdiff
2020-08-29 Cole PoirierMerge branch 'master' of git.libre-soc.org:soc tree | commitdiff
2020-08-29 Samuel A. Falvo IIBROKEN: xer_ov_o != dut.o.xer_ov.data ???!!! tree | commitdiff
2020-08-29 Luke Kenneth Casso... minor code-shuffle, comments tree | commitdiff
2020-08-29 Samuel A. Falvo IIMUL pipeline formal proofs complete, I *think*. tree | commitdiff
2020-08-29 Samuel A. Falvo IIWIP: prep for 64-bit insns tree | commitdiff
2020-08-24 Cole PoirierMerge branch 'master' of git.libre-soc.org:soc tree | commitdiff
2020-08-23 Luke Kenneth Casso... multiply does not have invert_in, zero_a or invert_out tree | commitdiff
2020-08-22 Luke Kenneth Casso... rename invert_a to invert_in because logical inverts RB tree | commitdiff
2020-08-21 Samuel A. Falvo IIMUL pipeline WIP: mullw and mullwu covered. tree | commitdiff
2020-08-21 Samuel A. Falvo IIMUL pipeline: account for overflow flags. WIP tree | commitdiff
2020-08-21 Cole PoirierMerge branch 'master' of git.libre-soc.org:soc tree | commitdiff
2020-08-21 Samuel A. Falvo IIMUL pipeline proofs: mulli / mullw WIP. tree | commitdiff
2020-08-20 Samuel A. Falvo IIMUL pipeline proof: muldw(u) tree | commitdiff
2020-08-20 Samuel A. Falvo IIMUL pipeline proof: signed mulhw tree | commitdiff
2020-08-19 Luke Kenneth Casso... bit of a reorg of mul proof, tracking down missing tree | commitdiff
2020-08-19 Luke Kenneth Casso... move long mul tests to separate unit test tree | commitdiff
2020-08-19 Samuel A. Falvo IIWIP: OP_MUL proofs started. tree | commitdiff
2020-08-19 Luke Kenneth Casso... set up StageChain of 3 mul stages tree | commitdiff
2020-08-18 Cole Poirierfu/mul/test/test_pipe_caller.py test case_all_rb_close_... tree | commitdiff
2020-08-10 Samuel A. Falvo IIWIP!! Make MUL pipeline proof run again. tree | commitdiff
2020-08-08 Cole PoirierMerge branch 'master' of git.libre-soc.org:soc tree | commitdiff
2020-08-08 Cole PoirierUpdate test case_mulli tree | commitdiff
2020-08-07 Cole PoirierUpdate test case_mulli tree | commitdiff
2020-08-07 Cole PoirierUpdate test case_mulli, I think it now works correctly tree | commitdiff
2020-08-07 Cole PoirierUpdate mulli to try to use immediates not registers tree | commitdiff
2020-08-06 Cole PoirierFix formatting tree | commitdiff
2020-08-06 Cole PoirierMerge branch 'master' of git.libre-soc.org:soc tree | commitdiff
2020-08-06 Cole PoirierUpdate test case_all_rb_close_to_ov tree | commitdiff
2020-08-06 Cole PoirierUpdate test case_all_rb_close_to_ov tree | commitdiff
2020-08-06 Cole PoirierAdd special test for case_mulli, apply autopep8 tree | commitdiff
2020-08-05 Cole PoirierAdd test case_all_rb_close_to_ov tree | commitdiff
2020-08-05 Cole PoirierRemove mulli from instrs in test case_all*, add TODO... tree | commitdiff
2020-08-05 Cole PoirierAdd new test_values to tests case_all and case_all_rb_r... tree | commitdiff
2020-08-05 Cole PoirierAdd second case_all test where rb is randint tree | commitdiff
2020-08-05 Cole PoirierRemove madd* isns, added madd* isns test TODO tree | commitdiff
2020-08-05 Cole PoirierMerge branch 'master' of git.libre-soc.org:soc tree | commitdiff
2020-08-05 Cole PoirierMerge branch 'master' of git.libre-soc.org:soc tree | commitdiff
2020-08-05 Cole PoirierFix pysim deprecation warning tree | commitdiff
2020-08-05 Cole PoirierAdd case_all to MUL unit tests, remove duplicate test... tree | commitdiff
2020-07-29 Jacob Lifshayadd __init__.py to all source directories tree | commitdiff
2020-07-26 Luke Kenneth Casso... convert mul test to accumulator style tree | commitdiff
2020-07-22 Jacob LifshayMerge remote-tracking branch 'origin/master' tree | commitdiff
2020-07-22 Jacob Lifshayformat code tree | commitdiff
2020-07-18 Luke Kenneth Casso... missing conversion of DIV to Div tree | commitdiff
2020-07-16 Luke Kenneth Casso... more tidyup on use of CompOpSubsetBase tree | commitdiff
2020-07-15 Luke Kenneth Casso... add better comments on mul overflow tree | commitdiff
2020-07-15 Luke Kenneth Casso... spelling error tree | commitdiff
2020-07-15 Luke Kenneth Casso... range of testing overflow was incorrect in mul tree | commitdiff
2020-07-12 Luke Kenneth Casso... rename InternalOp to MicrOp tree | commitdiff
2020-07-11 Luke Kenneth Casso... sorting out bigendian/littleendian including in qemu tree | commitdiff
2020-07-11 Luke Kenneth Casso... add random mulhd and mulld tests tree | commitdiff
2020-07-11 Luke Kenneth Casso... enable mul tests after sorting pseudo-code mul overflow tree | commitdiff
2020-07-11 Luke Kenneth Casso... special test for mul hw to cope with ignoring OE flag tree | commitdiff
2020-07-10 Luke Kenneth Casso... cut/paste error writing to wrong vcd file tree | commitdiff
2020-07-09 Luke Kenneth Casso... remove unneeded xer.ca in MulOutputData tree | commitdiff
2020-07-09 Luke Kenneth Casso... simplify setting of mul overflow into xer_ov tree | commitdiff
2020-07-09 Luke Kenneth Casso... remove xer_ca from DIV pipeline (took a bit of messing... tree | commitdiff
2020-07-09 Luke Kenneth Casso... irony comment on how one line creates a massive array... tree | commitdiff
2020-07-09 Luke Kenneth Casso... add new stages etc. to get multiply working without... tree | commitdiff
2020-07-08 Jacob LifshayMerge branch 'master' of ssh://git.libre-riscv.org... tree | commitdiff
2020-07-06 Luke Kenneth Casso... use ComMULOpSubset in mul pipeline tree | commitdiff
2020-07-06 Luke Kenneth Casso... whoops forgot that the mul pipeline is actually a pipel... tree | commitdiff
2020-07-06 Luke Kenneth Casso... continue mul unit test debugging tree | commitdiff
2020-07-06 Luke Kenneth Casso... investigating mul pipeline tree | commitdiff
2020-07-06 Luke Kenneth Casso... first cut at mul test pipeline tree | commitdiff
2020-07-06 Luke Kenneth Casso... add first cut at fu mul pipeline tree | commitdiff
2020-06-04 Luke Kenneth Casso... use copy of FHDLTestCase tree | commitdiff
2020-06-01 Luke Kenneth Casso... okaaay add a "rdflags" function which obtains the yes... tree | commitdiff
2020-05-23 Luke Kenneth Casso... add gitignore tree | commitdiff
2020-05-22 Luke Kenneth Casso... rename ShiftRot to Mul in fu mul test tree | commitdiff
2020-05-22 Luke Kenneth Casso... add cookie-cut mul pipeline template tree | commitdiff