projects / soc.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
soc.git
2020-08-02 Luke Kenneth... add debug dir commit | commitdiff | tree
2020-08-01 Luke Kenneth... add quick test of litex bios IMM64 macro commit | commitdiff | tree
2020-08-01 Luke Kenneth... add rlwnm test showing that shift rot OP_RLC proof... commit | commitdiff | tree
2020-08-01 Luke Kenneth... line-length / whitespace commit | commitdiff | tree
2020-08-01 Luke Kenneth... expand out for-loop setting up input record subset commit | commitdiff | tree
2020-07-31 Luke Kenneth... reorg DecodeB in power_decoder2.py to sign-extend immed... commit | commitdiff | tree
2020-07-31 Luke Kenneth... add more instructions to litex trampoline test (not... commit | commitdiff | tree
2020-07-31 Luke Kenneth... restrict external port list further in test_issuer commit | commitdiff | tree
2020-07-31 Luke Kenneth... missed go_i/rel_o rename commit | commitdiff | tree
2020-07-31 Samuel A. Falvo IIWIP: more debugging signals for inspection commit | commitdiff | tree
2020-07-30 Samuel A. Falvo IIWIP: rlwinm/rlwnm/rlwimi-type proofs commit | commitdiff | tree
2020-07-30 Tobias Platenbegin work on TestCase for two DataMergers/Cache commit | commitdiff | tree
2020-07-30 Tobias Platenadd CacheRecord commit | commitdiff | tree
2020-07-30 Luke Kenneth... core_start/stop/endian were inverted (output) commit | commitdiff | tree
2020-07-30 Luke Kenneth... ha! have to explicitly specify the ports when writing... commit | commitdiff | tree
2020-07-30 Luke Kenneth... add trampoline test from litex commit | commitdiff | tree
2020-07-30 Luke Kenneth... set sel line in minerva instruction fetch commit | commitdiff | tree
2020-07-30 Luke Kenneth... ha! found source of XICS test bug: wishbone stb was... commit | commitdiff | tree
2020-07-29 Luke Kenneth... more exploratory testing of XICS, joining ICP and ICS... commit | commitdiff | tree
2020-07-29 Tobias Platenmodified LDSTSplitter to conform to PortInterface commit | commitdiff | tree
2020-07-29 Luke Kenneth... forgot to rename ad/st in LDSTCompUnitRecord commit | commitdiff | tree
2020-07-29 Luke Kenneth... bit of a big change: add prefixes "cu_" to all CompUnit... commit | commitdiff | tree
2020-07-29 Luke Kenneth... start on test joining XICS ICS to ICP commit | commitdiff | tree
2020-07-29 Luke Kenneth... tidyup XICS, identify (potential?) bug? commit | commitdiff | tree
2020-07-29 Luke Kenneth... move CR test out of subtest indentation commit | commitdiff | tree
2020-07-29 Luke Kenneth... move SHIFTROT test out of subtest indentation commit | commitdiff | tree
2020-07-29 Luke Kenneth... move actual ALU test out of subTest indentation just... commit | commitdiff | tree
2020-07-29 Luke Kenneth... whitespace commit | commitdiff | tree
2020-07-29 Jacob Lifshayclean up branch test_pipe_caller commit | commitdiff | tree
2020-07-29 Jacob Lifshayclean up alu test_pipe_caller commit | commitdiff | tree
2020-07-29 Jacob Lifshayadd __init__.py to all source directories commit | commitdiff | tree
2020-07-29 Jacob Lifshayclean up some tests commit | commitdiff | tree
2020-07-29 Jacob Lifshayformat some tests commit | commitdiff | tree
2020-07-29 Jacob Lifshayadd code for skipping test cases commit | commitdiff | tree
2020-07-28 Jacob Lifshayclean up div pipe tests to allow them to be run in... commit | commitdiff | tree
2020-07-28 Jacob LifshayMerge remote-tracking branch 'origin/master' commit | commitdiff | tree
2020-07-28 Jacob Lifshayfix test_pipe_ilang.py commit | commitdiff | tree
2020-07-28 Luke Kenneth... use ctx.op compare (and muxid) in shiftrot proof commit | commitdiff | tree
2020-07-28 Jacob Lifshaysplit out ilang tests commit | commitdiff | tree
2020-07-28 Jacob Lifshayadd more files to .gitignore commit | commitdiff | tree
2020-07-28 Jacob Lifshayformat code commit | commitdiff | tree
2020-07-28 Luke Kenneth... add preliminary investigative test of XICS ICS commit | commitdiff | tree
2020-07-28 Luke Kenneth... tidyup/comments in trap proof commit | commitdiff | tree
2020-07-27 Luke Kenneth... add 2nd part of XICS interrupt interface commit | commitdiff | tree
2020-07-27 Luke Kenneth... fix trap proof, and trap main_stage, and pseudocode... commit | commitdiff | tree
2020-07-27 Luke Kenneth... shorten expected_ to exp_, gets line-length down commit | commitdiff | tree
2020-07-26 Samuel A. Falvo IIMTMSR(D) properties. commit | commitdiff | tree
2020-07-26 Luke Kenneth... start on conversion of xics.vhdl to nmigen commit | commitdiff | tree
2020-07-26 Luke Kenneth... add nop test cases commit | commitdiff | tree
2020-07-26 Luke Kenneth... add test_nop general test case commit | commitdiff | tree
2020-07-26 Luke Kenneth... activate some of new accumulator-based tests in test_issuer commit | commitdiff | tree
2020-07-26 Luke Kenneth... do not need lod_l.q | lsto_l.q can just use lsd_l.q commit | commitdiff | tree
2020-07-26 Luke Kenneth... argh add yet another latch to detect when LD/ST has... commit | commitdiff | tree
2020-07-26 Luke Kenneth... sigh, issue with detection/waiting for LD/ST CompUnit commit | commitdiff | tree
2020-07-26 Luke Kenneth... convert LDST test to accumulator style commit | commitdiff | tree
2020-07-26 Luke Kenneth... convert Branch test to accumulator style commit | commitdiff | tree
2020-07-26 Luke Kenneth... convert SPR test to accumulator style commit | commitdiff | tree
2020-07-26 Luke Kenneth... convert TRAP test to accumulator style commit | commitdiff | tree
2020-07-26 Luke Kenneth... remove FHDLTestCase commit | commitdiff | tree
2020-07-26 Luke Kenneth... convert CR test to accumulator style commit | commitdiff | tree
2020-07-26 Luke Kenneth... convert mul test to accumulator style commit | commitdiff | tree
2020-07-26 Luke Kenneth... convert shift_rot test to new base accumulator style commit | commitdiff | tree
2020-07-26 Luke Kenneth... convert logical test case to new base class accumulator... commit | commitdiff | tree
2020-07-26 Luke Kenneth... move run_test_program to base class and rename to ... commit | commitdiff | tree
2020-07-26 Luke Kenneth... convert ALU to new accumulator style commit | commitdiff | tree
2020-07-26 Luke Kenneth... again, move large heavily-indented code-block in div... commit | commitdiff | tree
2020-07-26 Luke Kenneth... run subtest, indentation getting too large, move to... commit | commitdiff | tree
2020-07-26 Luke Kenneth... get div compunit test running (use new way to accumulat... commit | commitdiff | tree
2020-07-26 Luke Kenneth... use new test accumulator class in div tests commit | commitdiff | tree
2020-07-26 Luke Kenneth... add common test base class for "accumulating" tests... commit | commitdiff | tree
2020-07-25 Luke Kenneth... update submodule commit | commitdiff | tree
2020-07-25 Luke Kenneth... remove old div overflow test, keep microwatt version commit | commitdiff | tree
2020-07-25 Luke Kenneth... hilarious. only just caught a bug where overflow was... commit | commitdiff | tree
2020-07-25 Luke Kenneth... comb += missing commit | commitdiff | tree
2020-07-25 Luke Kenneth... add CR0 regression, expected 0b10 actual 0b11 commit | commitdiff | tree
2020-07-25 Luke Kenneth... add regression test 8, DivPipeCore producing spurious... commit | commitdiff | tree
2020-07-25 Luke Kenneth... add pia back in commit | commitdiff | tree
2020-07-25 Luke Kenneth... re-add pia_result_to_output function (minus "typing... commit | commitdiff | tree
2020-07-25 Luke Kenneth... add div compunit test commit | commitdiff | tree
2020-07-25 Luke Kenneth... wait until pipeline indicates that its output is valid... commit | commitdiff | tree
2020-07-25 Luke Kenneth... move reset of rdmaskn to after "busy" commit | commitdiff | tree
2020-07-25 Luke Kenneth... comment LDST FunctionUnit commit | commitdiff | tree
2020-07-25 Luke Kenneth... going on a bit of a "naming" spree, this for Jean-Paul... commit | commitdiff | tree
2020-07-25 Luke Kenneth... add spec page numbers to logical ops commit | commitdiff | tree
2020-07-25 Luke Kenneth... add page-number comments to ALU main_stage commit | commitdiff | tree
2020-07-25 Luke Kenneth... update comment-headers (TODO include page numbers to... commit | commitdiff | tree
2020-07-25 Luke Kenneth... make trap proof section more readable commit | commitdiff | tree
2020-07-24 Samuel A. Falvo IIProperties for MFMSR commit | commitdiff | tree
2020-07-24 Samuel A. Falvo IIReorganize code layout commit | commitdiff | tree
2020-07-24 Samuel A. Falvo IIWIP: SC properties more closely match doc'd behavior commit | commitdiff | tree
2020-07-24 Cole PoirierUpdate libreriscv/HDL_workflow with instructions how... commit | commitdiff | tree
2020-07-24 Samuel A. Falvo IIWIP: addressing code review, restoring proofs, etc. commit | commitdiff | tree
2020-07-24 Luke Kenneth... got fed up with bit-slice ordering crap. cut it out commit | commitdiff | tree
2020-07-24 Luke Kenneth... add better comments on field_slice commit | commitdiff | tree
2020-07-24 Luke Kenneth... returned field_slice to original, and added comments commit | commitdiff | tree
2020-07-24 Luke Kenneth... annoying, yet more typos commit | commitdiff | tree
2020-07-24 Luke Kenneth... annoying, typo commit | commitdiff | tree
2020-07-24 Luke Kenneth... better debug assert log message commit | commitdiff | tree
2020-07-24 Luke Kenneth... too much debug info going past, so add the test registe... commit | commitdiff | tree
2020-07-24 Luke Kenneth... missed import commit | commitdiff | tree
next