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