Merge branch 'master' of git.libre-soc.org:soc
[soc.git] / src / soc / fu /
2020-08-24 Cole PoirierMerge branch 'master' of git.libre-soc.org:soc
2020-08-23 Luke Kenneth Casso... update copyright notices to include additional primary...
2020-08-23 Luke Kenneth Casso... add load algebraic immediate unit test
2020-08-23 Luke Kenneth Casso... add algebraic ld tests lwax, lwaux
2020-08-23 Michael NolanAdd copyright to files in fu/ that I was the primary...
2020-08-23 Luke Kenneth Casso... multiply does not have invert_in, zero_a or invert_out
2020-08-22 Luke Kenneth Casso... rename invert_a to invert_in because logical inverts RB
2020-08-22 Luke Kenneth Casso... add extra div regression tests
2020-08-22 Luke Kenneth Casso... add eqv to logical unit test
2020-08-22 Luke Kenneth Casso... add nor and nand to unit test
2020-08-22 Luke Kenneth Casso... moved to div pipe temporarily in compunits
2020-08-22 Luke Kenneth Casso... bug in andc and orc, complement was taking place on...
2020-08-22 Luke Kenneth Casso... add andc and orc tests, failing because RB needs invers...
2020-08-22 Luke Kenneth Casso... modsd bug, https://bugs.libre-soc.org/show_bug.cgi...
2020-08-22 Luke Kenneth Casso... add regression test for nonzero addis
2020-08-22 Luke Kenneth Casso... r0 zero tests on addis, fails
2020-08-21 Samuel A. Falvo IIMUL pipeline WIP: mullw and mullwu covered.
2020-08-21 Samuel A. Falvo IIMUL pipeline: account for overflow flags. WIP
2020-08-21 Cole PoirierMerge branch 'master' of git.libre-soc.org:soc
2020-08-21 Samuel A. Falvo IIMUL pipeline proofs: mulli / mullw WIP.
2020-08-20 Samuel A. Falvo IIMUL pipeline proof: muldw(u)
2020-08-20 Samuel A. Falvo IIMUL pipeline proof: signed mulhw
2020-08-19 Luke Kenneth Casso... rename and document fields in shift_rot proof
2020-08-19 Luke Kenneth Casso... bit of a reorg of mul proof, tracking down missing
2020-08-19 Luke Kenneth Casso... move long mul tests to separate unit test
2020-08-19 Luke Kenneth Casso... use "Mask" class which is more gate-efficient than...
2020-08-19 Samuel A. Falvo IIWIP: OP_MUL proofs started.
2020-08-19 Luke Kenneth Casso... set up StageChain of 3 mul stages
2020-08-18 Cole Poirierfu/mul/test/test_pipe_caller.py test case_all_rb_close_...
2020-08-18 Luke Kenneth Casso... fix spr state test
2020-08-17 Luke Kenneth Casso... turn SelectableInt less/greater into signed versions.
2020-08-17 Luke Kenneth Casso... fix signed variants of cmp in alu
2020-08-17 Luke Kenneth Casso... add new cmp test for alu
2020-08-16 Luke Kenneth Casso... attempting to track down bug in litex bios memtest
2020-08-14 Luke Kenneth Casso... hrfid unit test sets up HSRR0 and HSRR1
2020-08-14 Luke Kenneth Casso... hack to get hrfid not to alter msr 51
2020-08-14 Luke Kenneth Casso... fix test_compunit.py after moving decoder rdflags function
2020-08-14 Luke Kenneth Casso... add hrfid unit test
2020-08-14 Luke Kenneth Casso... sort out instruction stop/cancel when adding a new...
2020-08-14 Luke Kenneth Casso... divide shiftrot pipeline into 2 (simple last)
2020-08-14 Luke Kenneth Casso... divide alu pipeline into 2 (simple last)
2020-08-14 Luke Kenneth Casso... divide logical pipe into 2 (simple phase last)
2020-08-11 Luke Kenneth Casso... reduce regfile ports by creating separate STATE regfile
2020-08-11 Luke Kenneth Casso... whoops fix change of variable (state) msr/pc
2020-08-10 Samuel A. Falvo IIWIP!! Make MUL pipeline proof run again.
2020-08-09 Luke Kenneth Casso... divwo case makes test_issuer stay busy!
2020-08-09 Luke Kenneth Casso... add extra divwo regression test
2020-08-08 Cole PoirierMerge branch 'master' of git.libre-soc.org:soc
2020-08-08 Cole PoirierUpdate test case_mulli
2020-08-07 Cole PoirierUpdate test case_mulli
2020-08-07 Cole PoirierUpdate test case_mulli, I think it now works correctly
2020-08-07 Cole PoirierUpdate mulli to try to use immediates not registers
2020-08-06 Cole PoirierFix formatting
2020-08-06 Cole PoirierMerge branch 'master' of git.libre-soc.org:soc
2020-08-06 Cole PoirierUpdate test case_all_rb_close_to_ov
2020-08-06 Cole PoirierUpdate test case_all_rb_close_to_ov
2020-08-06 Cole PoirierAdd special test for case_mulli, apply autopep8
2020-08-05 Cole PoirierAdd test case_all_rb_close_to_ov
2020-08-05 Cole PoirierRemove mulli from instrs in test case_all*, add TODO...
2020-08-05 Cole PoirierAdd new test_values to tests case_all and case_all_rb_r...
2020-08-05 Cole PoirierAdd second case_all test where rb is randint
2020-08-05 Cole PoirierRemove madd* isns, added madd* isns test TODO
2020-08-05 Cole PoirierMerge branch 'master' of git.libre-soc.org:soc
2020-08-05 Luke Kenneth Casso... add div FSM as default for test_issuer in verilog and...
2020-08-05 Cole PoirierMerge branch 'master' of git.libre-soc.org:soc
2020-08-05 Jacob LifshayFixed div pipe with FSM
2020-08-05 Cole PoirierFix pysim deprecation warning
2020-08-05 Cole PoirierAdd case_all to MUL unit tests, remove duplicate test...
2020-08-04 Luke Kenneth Casso... msr and pc moved to "state" in PowerDecode2
2020-08-04 Samuel A. Falvo IIRemove XXX; this seems done otherwise.
2020-08-03 Samuel A. Falvo IIWIP: check MB > ME and select mask appropriately
2020-08-01 Luke Kenneth Casso... add rlwnm test showing that shift rot OP_RLC proof...
2020-08-01 Luke Kenneth Casso... line-length / whitespace
2020-08-01 Luke Kenneth Casso... expand out for-loop setting up input record subset
2020-07-31 Luke Kenneth Casso... missed go_i/rel_o rename
2020-07-31 Samuel A. Falvo IIWIP: more debugging signals for inspection
2020-07-30 Samuel A. Falvo IIWIP: rlwinm/rlwnm/rlwimi-type proofs
2020-07-29 Luke Kenneth Casso... bit of a big change: add prefixes "cu_" to all CompUnit...
2020-07-29 Luke Kenneth Casso... move CR test out of subtest indentation
2020-07-29 Luke Kenneth Casso... move SHIFTROT test out of subtest indentation
2020-07-29 Luke Kenneth Casso... move actual ALU test out of subTest indentation just...
2020-07-29 Luke Kenneth Casso... whitespace
2020-07-29 Jacob Lifshayclean up branch test_pipe_caller
2020-07-29 Jacob Lifshayclean up alu test_pipe_caller
2020-07-29 Jacob Lifshayadd __init__.py to all source directories
2020-07-29 Jacob Lifshayformat some tests
2020-07-29 Jacob Lifshayadd code for skipping test cases
2020-07-28 Jacob Lifshayclean up div pipe tests to allow them to be run in...
2020-07-28 Jacob LifshayMerge remote-tracking branch 'origin/master'
2020-07-28 Jacob Lifshayfix test_pipe_ilang.py
2020-07-28 Luke Kenneth Casso... use ctx.op compare (and muxid) in shiftrot proof
2020-07-28 Jacob Lifshaysplit out ilang tests
2020-07-28 Jacob Lifshayformat code
2020-07-28 Luke Kenneth Casso... tidyup/comments in trap proof
2020-07-27 Luke Kenneth Casso... fix trap proof, and trap main_stage, and pseudocode...
2020-07-27 Luke Kenneth Casso... shorten expected_ to exp_, gets line-length down
2020-07-26 Samuel A. Falvo IIMTMSR(D) properties.
2020-07-26 Luke Kenneth Casso... argh add yet another latch to detect when LD/ST has...
2020-07-26 Luke Kenneth Casso... sigh, issue with detection/waiting for LD/ST CompUnit
2020-07-26 Luke Kenneth Casso... convert LDST test to accumulator style
next