| 2020-07-15 | 
Luke Kenneth...  | comments on SPRmap done in PowerDecode2 | 
commit | commitdiff | tree | 
| 2020-07-15 | 
Luke Kenneth...  | use case statement in PowerDecode2 | 
commit | commitdiff | tree | 
| 2020-07-15 | 
Luke Kenneth...  | select RA based on LDSTMode.update in PowerDecode2 | 
commit | commitdiff | tree | 
| 2020-07-15 | 
Luke Kenneth...  | add cache cx to LDSTMode | 
commit | commitdiff | tree | 
| 2020-07-15 | 
Luke Kenneth...  | remove unused class XerBits | 
commit | commitdiff | tree | 
| 2020-07-15 | 
Luke Kenneth...  | use Record Assert and also check muxid | 
commit | commitdiff | tree | 
| 2020-07-15 | 
Luke Kenneth...  | no need to check individual port members, just check...  | 
commit | commitdiff | tree | 
| 2020-07-14 | 
Luke Kenneth...  | cookie-cut setup from alu proof_main_stage.py | 
commit | commitdiff | tree | 
| 2020-07-14 | 
Luke Kenneth...  | reduce code size by using CompOpSubsetBase for ALU...  | 
commit | commitdiff | tree | 
| 2020-07-14 | 
Luke Kenneth...  | split out CompOpSubsetBase (meaning to do for a while) | 
commit | commitdiff | tree | 
| 2020-07-14 | 
Luke Kenneth...  | update docstrings | 
commit | commitdiff | tree | 
| 2020-07-14 | 
Luke Kenneth...  | adding MSR.PR unit test intended to activate privileged...  | 
commit | commitdiff | tree | 
| 2020-07-14 | 
Luke Kenneth...  | attempting to access self.msr directly | 
commit | commitdiff | tree | 
| 2020-07-14 | 
Samuel A. Falvo II | SPR: FV that should fail currently passes | 
commit | commitdiff | tree | 
| 2020-07-14 | 
Luke Kenneth...  | set up masks for OP_RL* formal proof | 
commit | commitdiff | tree | 
| 2020-07-14 | 
Luke Kenneth...  | add priv instruction checking to ISACaller simulator | 
commit | commitdiff | tree | 
| 2020-07-14 | 
Luke Kenneth...  | add in privileged instruction decision-making in PowerD...  | 
commit | commitdiff | tree | 
| 2020-07-14 | 
Luke Kenneth...  | add MSR reading to issue FSM | 
commit | commitdiff | tree | 
| 2020-07-14 | 
Luke Kenneth...  | comments on PowerDecode2 | 
commit | commitdiff | tree | 
| 2020-07-14 | 
Luke Kenneth...  | add MSR to PowerDecoder2 | 
commit | commitdiff | tree | 
| 2020-07-14 | 
Luke Kenneth...  | disable cxxsim test | 
commit | commitdiff | tree | 
| 2020-07-14 | 
Luke Kenneth...  | attempting running cxxsim on ALU pipeline test | 
commit | commitdiff | tree | 
| 2020-07-14 | 
Luke Kenneth...  | first attempt running cxxsim | 
commit | commitdiff | tree | 
| 2020-07-14 | 
Tobias Platen | fix path to nmigen-soc.git | 
commit | commitdiff | tree | 
| 2020-07-13 | 
Luke Kenneth...  | whitespace | 
commit | commitdiff | tree | 
| 2020-07-13 | 
Luke Kenneth...  | formal proof of OP_EXTSWSLI | 
commit | commitdiff | tree | 
| 2020-07-13 | 
Luke Kenneth...  | quick test showing how left/right mask work | 
commit | commitdiff | tree | 
| 2020-07-13 | 
Tobias Platen | add nmigen-soc to .gitlab-ci.yml | 
commit | commitdiff | tree | 
| 2020-07-13 | 
Luke Kenneth...  | add mtmsrd instruction and unit test | 
commit | commitdiff | tree | 
| 2020-07-13 | 
Luke Kenneth...  | comments | 
commit | commitdiff | tree | 
| 2020-07-13 | 
Luke Kenneth...  | attempting formal proof of OP_EXTSWSLI | 
commit | commitdiff | tree | 
| 2020-07-13 | 
Luke Kenneth...  | reduce rotl module to one line (use bit_select) | 
commit | commitdiff | tree | 
| 2020-07-13 | 
Luke Kenneth...  | document rb as sh | 
commit | commitdiff | tree | 
| 2020-07-13 | 
Luke Kenneth...  | increase range of test values for extswsli | 
commit | commitdiff | tree | 
| 2020-07-13 | 
Luke Kenneth...  | add EXTSWSLI "pass" to formal shift_rot proof | 
commit | commitdiff | tree | 
| 2020-07-13 | 
Luke Kenneth...  | remove unneeded spec patching | 
commit | commitdiff | tree | 
| 2020-07-13 | 
Luke Kenneth...  | enable extswsli tests, fix spec-patching | 
commit | commitdiff | tree | 
| 2020-07-13 | 
Luke Kenneth...  | add regression test, simulator is wrong | 
commit | commitdiff | tree | 
| 2020-07-13 | 
Luke Kenneth...  | add simulator test against qemu for extswsli | 
commit | commitdiff | tree | 
| 2020-07-13 | 
Luke Kenneth...  | fix read of sliced register | 
commit | commitdiff | tree | 
| 2020-07-13 | 
Luke Kenneth...  | not perfect but close enough: add read registers RA...  | 
commit | commitdiff | tree | 
| 2020-07-13 | 
Luke Kenneth...  | add extswsli unit test | 
commit | commitdiff | tree | 
| 2020-07-13 | 
Luke Kenneth...  | add link to rotator, sign-extend mode OP_EXTSWSLI | 
commit | commitdiff | tree | 
| 2020-07-12 | 
Luke Kenneth...  | rename InternalOp to MicrOp | 
commit | commitdiff | tree | 
| 2020-07-12 | 
Luke Kenneth...  | attempting to get test_trap_sim working, seems to switc...  | 
commit | commitdiff | tree | 
| 2020-07-12 | 
Luke Kenneth...  | submodule update | 
commit | commitdiff | tree | 
| 2020-07-12 | 
Luke Kenneth...  | add OP_ATTN test back in | 
commit | commitdiff | tree | 
| 2020-07-12 | 
Luke Kenneth...  | exit FSM when termination detected | 
commit | commitdiff | tree | 
| 2020-07-12 | 
Luke Kenneth...  | code-morph on core connect_instruction | 
commit | commitdiff | tree | 
| 2020-07-12 | 
Luke Kenneth...  | modify PowerDecoder to read LDSTMode correctly | 
commit | commitdiff | tree | 
| 2020-07-12 | 
Luke Kenneth...  | change CSV LD/ST update field to LDSTMode (support...  | 
commit | commitdiff | tree | 
| 2020-07-12 | 
Luke Kenneth...  | return unsigned int from binary reading | 
commit | commitdiff | tree | 
| 2020-07-12 | 
Luke Kenneth...  | update submodule | 
commit | commitdiff | tree | 
| 2020-07-12 | 
Luke Kenneth...  | missed setting of link register on OP_BC in PowerDecoder2 | 
commit | commitdiff | tree | 
| 2020-07-12 | 
Luke Kenneth...  | msb of instruction causing sign-overflow | 
commit | commitdiff | tree | 
| 2020-07-12 | 
Luke Kenneth...  | add std and stdu ldst unit tests | 
commit | commitdiff | tree | 
| 2020-07-12 | 
Luke Kenneth...  | update-mode request write signalled too early | 
commit | commitdiff | tree | 
| 2020-07-11 | 
Luke Kenneth...  | sort out core write latching: gate by busy, and use...  | 
commit | commitdiff | tree | 
| 2020-07-11 | 
Luke Kenneth...  | * clarifying core function unit enable | 
commit | commitdiff | tree | 
| 2020-07-11 | 
Luke Kenneth...  | add bigendian flag | 
commit | commitdiff | tree | 
| 2020-07-11 | 
Luke Kenneth...  | add endian | 
commit | commitdiff | tree | 
| 2020-07-11 | 
Luke Kenneth...  | fix spr setting, set endianness | 
commit | commitdiff | tree | 
| 2020-07-11 | 
Luke Kenneth...  | sigh spelling | 
commit | commitdiff | tree | 
| 2020-07-11 | 
Luke Kenneth...  | add bigendian | 
commit | commitdiff | tree | 
| 2020-07-11 | 
Luke Kenneth...  | more setting bigendian | 
commit | commitdiff | tree | 
| 2020-07-11 | 
Luke Kenneth...  | add bigendian mode to helloworld test | 
commit | commitdiff | tree | 
| 2020-07-11 | 
Luke Kenneth...  | sort out big/little endian startup on qemu | 
commit | commitdiff | tree | 
| 2020-07-11 | 
Luke Kenneth...  | sorting out bigendian/littleendian including in qemu | 
commit | commitdiff | tree | 
| 2020-07-11 | 
Luke Kenneth...  | whoops output trunc_divs not trunc_div | 
commit | commitdiff | tree | 
| 2020-07-11 | 
Luke Kenneth...  | add random mulhd and mulld tests | 
commit | commitdiff | tree | 
| 2020-07-11 | 
Luke Kenneth...  | enable mul tests after sorting pseudo-code mul overflow | 
commit | commitdiff | tree | 
| 2020-07-11 | 
Luke Kenneth...  | special test for mul hw to cope with ignoring OE flag | 
commit | commitdiff | tree | 
| 2020-07-10 | 
Luke Kenneth...  | add a DIVS function as separate and discrete from floor_div | 
commit | commitdiff | tree | 
| 2020-07-10 | 
Luke Kenneth...  | add random unsigned div tests | 
commit | commitdiff | tree | 
| 2020-07-10 | 
Luke Kenneth...  | add overflow div tests | 
commit | commitdiff | tree | 
| 2020-07-10 | 
Luke Kenneth...  | propagate missing parameters from div | 
commit | commitdiff | tree | 
| 2020-07-10 | 
Luke Kenneth...  | code comments | 
commit | commitdiff | tree | 
| 2020-07-10 | 
Luke Kenneth...  | do not set div result if overflow occurs | 
commit | commitdiff | tree | 
| 2020-07-10 | 
Luke Kenneth...  | re-enable div random tests and other regressions | 
commit | commitdiff | tree | 
| 2020-07-10 | 
Luke Kenneth...  | check for div_overflow equal to None rather than == 1 | 
commit | commitdiff | tree | 
| 2020-07-10 | 
Luke Kenneth...  | re-add rc/oe back into LDST input record | 
commit | commitdiff | tree | 
| 2020-07-10 | 
Luke Kenneth...  | whew panic over, missed a bigendian argument in test_co...  | 
commit | commitdiff | tree | 
| 2020-07-10 | 
Luke Kenneth...  | add test7 div regression | 
commit | commitdiff | tree | 
| 2020-07-10 | 
Luke Kenneth...  | add more debug output for #425 | 
commit | commitdiff | tree | 
| 2020-07-10 | 
Luke Kenneth...  | add debugging chain for #425 | 
commit | commitdiff | tree | 
| 2020-07-10 | 
Luke Kenneth...  | update submodule | 
commit | commitdiff | tree | 
| 2020-07-10 | 
Luke Kenneth...  | cut/paste error writing to wrong vcd file | 
commit | commitdiff | tree | 
| 2020-07-10 | 
Jacob Lifshay | switch to using Signal.width instead of Signal.shape...  | 
commit | commitdiff | tree | 
| 2020-07-10 | 
Jacob Lifshay | format file | 
commit | commitdiff | tree | 
| 2020-07-10 | 
Jacob Lifshay | update libreriscv submodule | 
commit | commitdiff | tree | 
| 2020-07-09 | 
Luke Kenneth...  | add regression test for div overflow case | 
commit | commitdiff | tree | 
| 2020-07-09 | 
Luke Kenneth...  | slightly different so handling in common output stage | 
commit | commitdiff | tree | 
| 2020-07-09 | 
Luke Kenneth...  | also set so only if OE requires it | 
commit | commitdiff | tree | 
| 2020-07-09 | 
Luke Kenneth...  | debug information related to 32/64 bit mode | 
commit | commitdiff | tree | 
| 2020-07-09 | 
Luke Kenneth...  | bug #424 - 32/64 bit is a *global* flag not a per-op one | 
commit | commitdiff | tree | 
| 2020-07-09 | 
Luke Kenneth...  | test top bit 31 in 32-bit mode for CR0 creation | 
commit | commitdiff | tree | 
| 2020-07-09 | 
Luke Kenneth...  | ha ha very funny.  pipelines being pipelines, you have...  | 
commit | commitdiff | tree | 
| 2020-07-09 | 
Luke Kenneth...  | whoops test gets copied 4 times on the If. | 
commit | commitdiff | tree | 
| 2020-07-09 | 
Luke Kenneth...  | ALU output stage, change logic slightly | 
commit | commitdiff | tree | 
| 2020-07-09 | 
Luke Kenneth...  | set xer_ov.ok = 1 | 
commit | commitdiff | tree | 
| next |