projects / soc.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
soc.git
2020-07-18 Cesar StraussDocument move of the next port data commit | commitdiff | tree
2020-07-18 Luke Kenneth... add SR latch cxxrtl backend demo commit | commitdiff | tree
2020-07-18 Luke Kenneth... add comment and copy of pseudo-code for OP_RFID into... commit | commitdiff | tree
2020-07-18 Luke Kenneth... review of OP_RFID showed up some errors commit | commitdiff | tree
2020-07-18 Luke Kenneth... corrections to trap main_stage.py OP_RFID according... commit | commitdiff | tree
2020-07-18 Samuel A. Falvo IIWIP: FV failing for unknown reasons. commit | commitdiff | tree
2020-07-18 Jacob LifshayMerge branch 'master' of ssh://git.libre-riscv.org... commit | commitdiff | tree
2020-07-18 Jacob Lifshayadd div fsm core (`DivState*`) with tests commit | commitdiff | tree
2020-07-18 Samuel A. Falvo IIFailing test: fast1/fast2 vs srr0/srr1? on trap pipe commit | commitdiff | tree
2020-07-18 Samuel A. Falvo IIforgot to clean up workspace in source commit | commitdiff | tree
2020-07-18 Samuel A. Falvo IIFV props for SC instruction commit | commitdiff | tree
2020-07-17 Samuel A. Falvo IIFirst FV property for trap unit commit | commitdiff | tree
2020-07-17 Jacob LifshayMerge branch 'master' of ssh://git.libre-riscv.org... commit | commitdiff | tree
2020-07-17 Jacob Lifshaystart adding FSMDivCore* commit | commitdiff | tree
2020-07-17 Luke Kenneth... comment explaining why not to call self.trap in PowerDe... commit | commitdiff | tree
2020-07-17 Luke Kenneth... likewise cut across latest Minerva loadstore with line... commit | commitdiff | tree
2020-07-17 Luke Kenneth... sigh easier to just do a line-for-line comparison of... commit | commitdiff | tree
2020-07-17 Jacob LifshayMerge branch 'master' of ssh://git.libre-riscv.org... commit | commitdiff | tree
2020-07-17 Luke Kenneth... port minerva cache fixes commit | commitdiff | tree
2020-07-17 Jacob Lifshayadd .pylintrc commit | commitdiff | tree
2020-07-17 Luke Kenneth... forward-port minerva loadstore bugfix commit | commitdiff | tree
2020-07-17 Luke Kenneth... comments commit | commitdiff | tree
2020-07-17 Luke Kenneth... submodule update (again. sigh) commit | commitdiff | tree
2020-07-17 Luke Kenneth... whitespace commit | commitdiff | tree
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
next