projects / soc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
bit of a reorg of mul proof, tracking down missing
[soc.git] / src / soc / fu /
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
2020-08-01 Luke Kenneth Casso... expand out for-loop setting up input record subset tree | commitdiff
2020-07-31 Luke Kenneth Casso... missed go_i/rel_o rename tree | commitdiff
2020-07-31 Samuel A. Falvo IIWIP: more debugging signals for inspection tree | commitdiff
2020-07-30 Samuel A. Falvo IIWIP: rlwinm/rlwnm/rlwimi-type proofs tree | commitdiff
2020-07-29 Luke Kenneth Casso... bit of a big change: add prefixes "cu_" to all CompUnit... tree | commitdiff
2020-07-29 Luke Kenneth Casso... move CR test out of subtest indentation tree | commitdiff
2020-07-29 Luke Kenneth Casso... move SHIFTROT test out of subtest indentation tree | commitdiff
2020-07-29 Luke Kenneth Casso... move actual ALU test out of subTest indentation just... tree | commitdiff
2020-07-29 Luke Kenneth Casso... whitespace tree | commitdiff
2020-07-29 Jacob Lifshayclean up branch test_pipe_caller tree | commitdiff
2020-07-29 Jacob Lifshayclean up alu test_pipe_caller tree | commitdiff
2020-07-29 Jacob Lifshayadd __init__.py to all source directories tree | commitdiff
2020-07-29 Jacob Lifshayformat some tests tree | commitdiff
2020-07-29 Jacob Lifshayadd code for skipping test cases tree | commitdiff
2020-07-28 Jacob Lifshayclean up div pipe tests to allow them to be run in... tree | commitdiff
2020-07-28 Jacob LifshayMerge remote-tracking branch 'origin/master' tree | commitdiff
2020-07-28 Jacob Lifshayfix test_pipe_ilang.py tree | commitdiff
2020-07-28 Luke Kenneth Casso... use ctx.op compare (and muxid) in shiftrot proof tree | commitdiff
2020-07-28 Jacob Lifshaysplit out ilang tests tree | commitdiff
2020-07-28 Jacob Lifshayformat code tree | commitdiff
2020-07-28 Luke Kenneth Casso... tidyup/comments in trap proof tree | commitdiff
2020-07-27 Luke Kenneth Casso... fix trap proof, and trap main_stage, and pseudocode... tree | commitdiff
2020-07-27 Luke Kenneth Casso... shorten expected_ to exp_, gets line-length down tree | commitdiff
2020-07-26 Samuel A. Falvo IIMTMSR(D) properties. tree | commitdiff
2020-07-26 Luke Kenneth Casso... argh add yet another latch to detect when LD/ST has... tree | commitdiff
2020-07-26 Luke Kenneth Casso... sigh, issue with detection/waiting for LD/ST CompUnit tree | commitdiff
2020-07-26 Luke Kenneth Casso... convert LDST test to accumulator style tree | commitdiff
2020-07-26 Luke Kenneth Casso... convert Branch test to accumulator style tree | commitdiff
2020-07-26 Luke Kenneth Casso... convert SPR test to accumulator style tree | commitdiff
2020-07-26 Luke Kenneth Casso... convert TRAP test to accumulator style tree | commitdiff
2020-07-26 Luke Kenneth Casso... remove FHDLTestCase tree | commitdiff
2020-07-26 Luke Kenneth Casso... convert CR test to accumulator style tree | commitdiff
2020-07-26 Luke Kenneth Casso... convert mul test to accumulator style tree | commitdiff
2020-07-26 Luke Kenneth Casso... convert shift_rot test to new base accumulator style tree | commitdiff
2020-07-26 Luke Kenneth Casso... convert logical test case to new base class accumulator... tree | commitdiff
2020-07-26 Luke Kenneth Casso... move run_test_program to base class and rename to ... tree | commitdiff
2020-07-26 Luke Kenneth Casso... convert ALU to new accumulator style tree | commitdiff
2020-07-26 Luke Kenneth Casso... again, move large heavily-indented code-block in div... tree | commitdiff
2020-07-26 Luke Kenneth Casso... run subtest, indentation getting too large, move to... tree | commitdiff
2020-07-26 Luke Kenneth Casso... get div compunit test running (use new way to accumulat... tree | commitdiff
2020-07-26 Luke Kenneth Casso... use new test accumulator class in div tests tree | commitdiff
2020-07-26 Luke Kenneth Casso... add common test base class for "accumulating" tests... tree | commitdiff
2020-07-25 Luke Kenneth Casso... remove old div overflow test, keep microwatt version tree | commitdiff
2020-07-25 Luke Kenneth Casso... comb += missing tree | commitdiff
2020-07-25 Luke Kenneth Casso... add CR0 regression, expected 0b10 actual 0b11 tree | commitdiff
2020-07-25 Luke Kenneth Casso... add regression test 8, DivPipeCore producing spurious... tree | commitdiff
2020-07-25 Luke Kenneth Casso... add pia back in tree | commitdiff
2020-07-25 Luke Kenneth Casso... re-add pia_result_to_output function (minus "typing... tree | commitdiff
2020-07-25 Luke Kenneth Casso... add div compunit test tree | commitdiff
2020-07-25 Luke Kenneth Casso... wait until pipeline indicates that its output is valid... tree | commitdiff
next