| 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 | 
| 2020-07-24 | 
Luke Kenneth...  | call test_write_ilang only once - ends up being called...  | 
commit | commitdiff | tree | 
| 2020-07-24 | 
Luke Kenneth...  | fix how long div tests run, de-comment FSM and DivPipeCore | 
commit | commitdiff | tree | 
| 2020-07-24 | 
Luke Kenneth...  | argh!  work-in-progress breaking / fixing how to do...  | 
commit | commitdiff | tree | 
| 2020-07-24 | 
Luke Kenneth...  | whoops must add DivTestCasesLong to get it to produce...  | 
commit | commitdiff | tree | 
| 2020-07-24 | 
Luke Kenneth...  | remove bad hack calling trunc_divs/trunc_mods | 
commit | commitdiff | tree | 
| 2020-07-24 | 
Luke Kenneth...  | re-enable commented-out div unit tests | 
commit | commitdiff | tree | 
| 2020-07-24 | 
Luke Kenneth...  | split out "all" div into separate unit test (takes...  | 
commit | commitdiff | tree | 
| 2020-07-24 | 
Luke Kenneth...  | reduce variable size, continuation not needed | 
commit | commitdiff | tree | 
| 2020-07-24 | 
Luke Kenneth...  | comment about timeline does not exist | 
commit | commitdiff | tree | 
| 2020-07-24 | 
Luke Kenneth...  | ah ha!  not using "with" was not calling the "close...  | 
commit | commitdiff | tree | 
| 2020-07-24 | 
Luke Kenneth...  | read into a BytesIO to avoid "too many open files" | 
commit | commitdiff | tree | 
| 2020-07-24 | 
Luke Kenneth...  | whitespace / comments | 
commit | commitdiff | tree | 
| 2020-07-24 | 
Luke Kenneth...  | restore modification to caller.py from reversion of...  | 
commit | commitdiff | tree | 
| 2020-07-24 | 
Luke Kenneth...  | Revert "working on div's test_pipe_caller" | 
commit | commitdiff | tree | 
| 2020-07-24 | 
Luke Kenneth...  | bug found in pseudocode reader when assembly code has...  | 
commit | commitdiff | tree | 
| 2020-07-24 | 
Luke Kenneth...  | submodule update | 
commit | commitdiff | tree | 
| 2020-07-24 | 
Luke Kenneth...  | code review comments for trap and proof | 
commit | commitdiff | tree | 
| 2020-07-24 | 
Luke Kenneth...  | made it clear what is meant by the slice numbering...  | 
commit | commitdiff | tree | 
| 2020-07-24 | 
Samuel A. Falvo II | Refactorin of common code | 
commit | commitdiff | tree | 
| 2020-07-24 | 
Samuel A. Falvo II | Address code review comments | 
commit | commitdiff | tree | 
| 2020-07-24 | 
Jacob Lifshay | working on div's test_pipe_caller | 
commit | commitdiff | tree | 
| 2020-07-24 | 
Jacob Lifshay | add power-instruction-analyzer as a dependency | 
commit | commitdiff | tree | 
| 2020-07-24 | 
Jacob Lifshay | format | 
commit | commitdiff | tree | 
| 2020-07-23 | 
Luke Kenneth...  | syntax error | 
commit | commitdiff | tree | 
| next |