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 II | WIP: more debugging signals for inspection |
commit | commitdiff | tree |
2020-07-30 |
Samuel A. Falvo II | WIP: rlwinm/rlwnm/rlwimi-type proofs |
commit | commitdiff | tree |
2020-07-30 |
Tobias Platen | begin work on TestCase for two DataMergers/Cache |
commit | commitdiff | tree |
2020-07-30 |
Tobias Platen | add 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 Platen | modified 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 Lifshay | clean up branch test_pipe_caller |
commit | commitdiff | tree |
2020-07-29 |
Jacob Lifshay | clean up alu test_pipe_caller |
commit | commitdiff | tree |
2020-07-29 |
Jacob Lifshay | add __init__.py to all source directories |
commit | commitdiff | tree |
2020-07-29 |
Jacob Lifshay | clean up some tests |
commit | commitdiff | tree |
2020-07-29 |
Jacob Lifshay | format some tests |
commit | commitdiff | tree |
2020-07-29 |
Jacob Lifshay | add code for skipping test cases |
commit | commitdiff | tree |
2020-07-28 |
Jacob Lifshay | clean up div pipe tests to allow them to be run in... |
commit | commitdiff | tree |
2020-07-28 |
Jacob Lifshay | Merge remote-tracking branch 'origin/master' |
commit | commitdiff | tree |
2020-07-28 |
Jacob Lifshay | fix 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 Lifshay | split out ilang tests |
commit | commitdiff | tree |
2020-07-28 |
Jacob Lifshay | add more files to .gitignore |
commit | commitdiff | tree |
2020-07-28 |
Jacob Lifshay | format 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 II | MTMSR(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 II | Properties for MFMSR |
commit | commitdiff | tree |
2020-07-24 |
Samuel A. Falvo II | Reorganize code layout |
commit | commitdiff | tree |
2020-07-24 |
Samuel A. Falvo II | WIP: SC properties more closely match doc'd behavior |
commit | commitdiff | tree |
2020-07-24 |
Cole Poirier | Update libreriscv/HDL_workflow with instructions how... |
commit | commitdiff | tree |
2020-07-24 |
Samuel A. Falvo II | WIP: 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 |
2020-07-24 |
Luke Kenneth... | calling the test dictionary from the constructor is... |
commit | commitdiff | tree |
2020-07-24 |
Luke Kenneth... | whoops spelling |
commit | commitdiff | tree |
2020-07-24 |
Luke Kenneth... | add the div pipe kind plus prog.assembly to the assert... |
commit | commitdiff | tree |
next |