| 2020-07-17 | 
Jacob Lifshay | add missing fixedldstcache.py to .gitignore | 
commit | commitdiff | tree | 
| 2020-07-17 | 
Jacob Lifshay | update submodule | 
commit | commitdiff | tree | 
| 2020-07-16 | 
Luke Kenneth...  | whoops tried doing mtspr priv, it failed but failed...   div_pipeline | 
commit | commitdiff | tree | 
| 2020-07-16 | 
Luke Kenneth...  | get shiftrot compunit working | 
commit | commitdiff | tree | 
| 2020-07-16 | 
Luke Kenneth...  | more tidyup on use of CompOpSubsetBase | 
commit | commitdiff | tree | 
| 2020-07-16 | 
Luke Kenneth...  | use CompOpSubsetBase in ldst record | 
commit | commitdiff | tree | 
| 2020-07-16 | 
Luke Kenneth...  | sigh, bug in sprset.patch | 
commit | commitdiff | tree | 
| 2020-07-16 | 
Luke Kenneth...  | update cr input record to use new CompOpSubsetBase | 
commit | commitdiff | tree | 
| 2020-07-16 | 
Luke Kenneth...  | add regression test on setb simulator error | 
commit | commitdiff | tree | 
| 2020-07-16 | 
Luke Kenneth...  | use CompOpSubsetBase class in Branch op record | 
commit | commitdiff | tree | 
| 2020-07-16 | 
Luke Kenneth...  | get branch compunit working (missing bigendian arg) | 
commit | commitdiff | tree | 
| 2020-07-16 | 
Luke Kenneth...  | get trap compunit test working, adding bigendian and msr | 
commit | commitdiff | tree | 
| 2020-07-16 | 
Luke Kenneth...  | add mfmsr trap tests | 
commit | commitdiff | tree | 
| 2020-07-15 | 
Luke Kenneth...  | use new CompOpSubsetBase in trap | 
commit | commitdiff | tree | 
| 2020-07-15 | 
Luke Kenneth...  | remove unneeded comment in trap msin stage | 
commit | commitdiff | tree | 
| 2020-07-15 | 
Luke Kenneth...  | remove unneeded comment in trap pipe_data | 
commit | commitdiff | tree | 
| 2020-07-15 | 
Luke Kenneth...  | document branch pipeline relationship with PowerDecode2 | 
commit | commitdiff | tree | 
| 2020-07-15 | 
Luke Kenneth...  | simplify instr_is_priv | 
commit | commitdiff | tree | 
| 2020-07-15 | 
Luke Kenneth...  | move traptype to soc.consts | 
commit | commitdiff | tree | 
| 2020-07-15 | 
Luke Kenneth...  | add better comments on mul overflow | 
commit | commitdiff | tree | 
| 2020-07-15 | 
Luke Kenneth...  | test privileged rfid call | 
commit | commitdiff | tree | 
| 2020-07-15 | 
Luke Kenneth...  | spelling error | 
commit | commitdiff | tree | 
| 2020-07-15 | 
Luke Kenneth...  | range of testing overflow was incorrect in mul | 
commit | commitdiff | tree | 
| 2020-07-15 | 
Luke Kenneth...  | set MSR up properly for privileged mtmsr test | 
commit | commitdiff | tree | 
| 2020-07-15 | 
Luke Kenneth...  | whoops forgot to update PC after trap in ISACaller | 
commit | commitdiff | tree | 
| 2020-07-15 | 
Luke Kenneth...  | move priv test to above illegal/trap test | 
commit | commitdiff | tree | 
| 2020-07-15 | 
Luke Kenneth...  | comments on IntegerData class | 
commit | commitdiff | tree | 
| 2020-07-15 | 
Luke Kenneth...  | import PipeContext not FPPipeContext | 
commit | commitdiff | tree | 
| 2020-07-15 | 
Luke Kenneth...  | minor reorg on PowerDecoder2, use switch/case rather...  | 
commit | commitdiff | tree | 
| 2020-07-15 | 
Luke Kenneth...  | comments on SPRmap done in PowerDecode2 | 
commit | commitdiff | tree | 
| 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 | 
| next |