projects / soc.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
soc.git
2020-07-17 Luke Kenneth... use convenience vars in spr proof commit | commitdiff | tree
2020-07-17 Samuel A. Falvo IIFlesh out SPR-related FV properties. commit | commitdiff | tree
2020-07-17 Luke Kenneth... whitespace commit | commitdiff | tree
2020-07-17 Luke Kenneth... whitespace commit | commitdiff | tree
2020-07-17 Jacob Lifshayadd simulation-only division core using nmigen div... commit | commitdiff | tree
2020-07-17 Jacob Lifshayrename DIV->Div to be consistent commit | commitdiff | tree
2020-07-17 Jacob Lifshayformat div code commit | commitdiff | tree
2020-07-17 Jacob Lifshayadd missing fixedldstcache.py to .gitignore commit | commitdiff | tree
2020-07-17 Jacob Lifshayupdate 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 IISPR: 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 Platenfix 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 Platenadd 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
next