projects / soc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix test breakage in MUL proofs
[soc.git] / src / soc / fu /
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 Luke Kenneth Casso... slowly morphing towards using an XER bit-field selector... 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-29 Luke Kenneth Casso... add additional CR regression tests tree | commitdiff
2020-08-29 Luke Kenneth Casso... CR FXM becomes a full mask. tree | commitdiff
2020-08-27 Cole PoirierMerge branch 'master' of git.libre-soc.org:soc tree | commitdiff
2020-08-27 Luke Kenneth Casso... https://bugs.libre-soc.org/show_bug.cgi?id=476 tree | commitdiff
2020-08-27 Luke Kenneth Casso... xer so is not being passed through to CR0 tree | commitdiff
2020-08-27 Luke Kenneth Casso... augment addme test case to show bug #476 tree | commitdiff
2020-08-27 Luke Kenneth Casso... add addze and addme uni tests tree | commitdiff
2020-08-27 Luke Kenneth Casso... oink, write_cr shiftrot record width was zero (??) tree | commitdiff
2020-08-27 Luke Kenneth Casso... sorting out shift_rot to use new output stage data... tree | commitdiff
2020-08-27 Luke Kenneth Casso... need to read SO if Rc=1 tree | commitdiff
2020-08-27 Luke Kenneth Casso... reorg of SO handling related to CR0 tree | commitdiff
2020-08-26 Cole PoirierMerge branch 'master' of git.libre-soc.org:soc tree | commitdiff
2020-08-26 Luke Kenneth Casso... use sub-test in logical test_pipe_caller tree | commitdiff
2020-08-26 Luke Kenneth Casso... investigating div fsm and simulator bug tree | commitdiff
2020-08-25 Cole PoirierMerge branch 'master' of git.libre-soc.org:soc tree | commitdiff
2020-08-25 Jacob Lifshayfix broken remainder for div FSM tree | commitdiff
2020-08-25 Jacob Lifshayclean up formatting tree | commitdiff
2020-08-25 Luke Kenneth Casso... although shift-rot does not alter XER.so it still needs... tree | commitdiff
2020-08-24 Luke Kenneth Casso... add isel CR tests to run on qemu (confirmed working) tree | commitdiff
2020-08-24 Luke Kenneth Casso... make it easier to select FSM/Pipe DIV unit tree | commitdiff
2020-08-24 Cole PoirierMerge branch 'master' of git.libre-soc.org:soc tree | commitdiff
2020-08-23 Luke Kenneth Casso... update copyright notices to include additional primary... tree | commitdiff
2020-08-23 Luke Kenneth Casso... add load algebraic immediate unit test tree | commitdiff
2020-08-23 Luke Kenneth Casso... add algebraic ld tests lwax, lwaux tree | commitdiff
2020-08-23 Michael NolanAdd copyright to files in fu/ that I was the primary... 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-22 Luke Kenneth Casso... add extra div regression tests tree | commitdiff
2020-08-22 Luke Kenneth Casso... add eqv to logical unit test tree | commitdiff
2020-08-22 Luke Kenneth Casso... add nor and nand to unit test tree | commitdiff
2020-08-22 Luke Kenneth Casso... moved to div pipe temporarily in compunits tree | commitdiff
2020-08-22 Luke Kenneth Casso... bug in andc and orc, complement was taking place on... tree | commitdiff
2020-08-22 Luke Kenneth Casso... add andc and orc tests, failing because RB needs invers... tree | commitdiff
2020-08-22 Luke Kenneth Casso... modsd bug, https://bugs.libre-soc.org/show_bug.cgi... tree | commitdiff
2020-08-22 Luke Kenneth Casso... add regression test for nonzero addis tree | commitdiff
2020-08-22 Luke Kenneth Casso... r0 zero tests on addis, fails 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... rename and document fields in shift_rot proof 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 Luke Kenneth Casso... use "Mask" class which is more gate-efficient than... 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-18 Luke Kenneth Casso... fix spr state test tree | commitdiff
2020-08-17 Luke Kenneth Casso... turn SelectableInt less/greater into signed versions. tree | commitdiff
2020-08-17 Luke Kenneth Casso... fix signed variants of cmp in alu tree | commitdiff
2020-08-17 Luke Kenneth Casso... add new cmp test for alu tree | commitdiff
2020-08-16 Luke Kenneth Casso... attempting to track down bug in litex bios memtest tree | commitdiff
2020-08-14 Luke Kenneth Casso... hrfid unit test sets up HSRR0 and HSRR1 tree | commitdiff
2020-08-14 Luke Kenneth Casso... hack to get hrfid not to alter msr 51 tree | commitdiff
2020-08-14 Luke Kenneth Casso... fix test_compunit.py after moving decoder rdflags function tree | commitdiff
2020-08-14 Luke Kenneth Casso... add hrfid unit test tree | commitdiff
2020-08-14 Luke Kenneth Casso... sort out instruction stop/cancel when adding a new... tree | commitdiff
2020-08-14 Luke Kenneth Casso... divide shiftrot pipeline into 2 (simple last) tree | commitdiff
2020-08-14 Luke Kenneth Casso... divide alu pipeline into 2 (simple last) tree | commitdiff
2020-08-14 Luke Kenneth Casso... divide logical pipe into 2 (simple phase last) tree | commitdiff
2020-08-11 Luke Kenneth Casso... reduce regfile ports by creating separate STATE regfile tree | commitdiff
2020-08-11 Luke Kenneth Casso... whoops fix change of variable (state) msr/pc tree | commitdiff
2020-08-10 Samuel A. Falvo IIWIP!! Make MUL pipeline proof run again. tree | commitdiff
2020-08-09 Luke Kenneth Casso... divwo case makes test_issuer stay busy! tree | commitdiff
2020-08-09 Luke Kenneth Casso... add extra divwo regression test 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 Luke Kenneth Casso... add div FSM as default for test_issuer in verilog and... tree | commitdiff
2020-08-05 Cole PoirierMerge branch 'master' of git.libre-soc.org:soc tree | commitdiff
2020-08-05 Jacob LifshayFixed div pipe with FSM 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-08-04 Luke Kenneth Casso... msr and pc moved to "state" in PowerDecode2 tree | commitdiff
2020-08-04 Samuel A. Falvo IIRemove XXX; this seems done otherwise. tree | commitdiff
2020-08-03 Samuel A. Falvo IIWIP: check MB > ME and select mask appropriately tree | commitdiff
2020-08-01 Luke Kenneth Casso... add rlwnm test showing that shift rot OP_RLC proof... tree | commitdiff
2020-08-01 Luke Kenneth Casso... line-length / whitespace tree | commitdiff
next