projects / soc.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
soc.git
2020-05-20 Michael NolanAdd overflow handling and proof commit | commitdiff | tree
2020-05-20 Michael NolanFix bug introduced in rebase commit | commitdiff | tree
2020-05-20 Luke Kenneth... fixup XER names in shift_rot pipe tests commit | commitdiff | tree
2020-05-20 Luke Kenneth... formal proof rename on XER flags commit | commitdiff | tree
2020-05-20 Luke Kenneth... update to new names for XER fields commit | commitdiff | tree
2020-05-20 Luke Kenneth... normalise XER regs carry/32 and SO commit | commitdiff | tree
2020-05-20 Michael NolanAdd proof for OP_CNTZ commit | commitdiff | tree
2020-05-20 Luke Kenneth... add cross-reference to bugtracker and wiki commit | commitdiff | tree
2020-05-20 Michael NolanAdd test for edge cases that were previously buggy commit | commitdiff | tree
2020-05-20 Michael NolanDelete assume left over from testing commit | commitdiff | tree
2020-05-20 Michael NolanAdd proof for OP_PRTY commit | commitdiff | tree
2020-05-20 Michael NolanFormally verify OP_POPCNT commit | commitdiff | tree
2020-05-20 Michael NolanFix bug with popcntd commit | commitdiff | tree
2020-05-20 Luke Kenneth... convert CompUnit to use CompUnitRecord commit | commitdiff | tree
2020-05-20 Luke Kenneth... whitespace, rename ilang to alu_main_stage.il commit | commitdiff | tree
2020-05-20 Luke Kenneth... i seem to like short names that happen to make things... commit | commitdiff | tree
2020-05-20 Michael NolanAdd proof for OP_CMP and OP_CMPEQB commit | commitdiff | tree
2020-05-20 Michael NolanAdd proof for OP_EXTS commit | commitdiff | tree
2020-05-20 Michael NolanAdd 32 bit carry handling to alu commit | commitdiff | tree
2020-05-20 Luke Kenneth... output ilang for ALU to unique file commit | commitdiff | tree
2020-05-20 Luke Kenneth... use nmutil exts helper in ALU OP_EXTS commit | commitdiff | tree
2020-05-20 Luke Kenneth... use nmutil exts helper commit | commitdiff | tree
2020-05-20 Luke Kenneth... fix imports in fu matrix tests commit | commitdiff | tree
2020-05-20 Luke Kenneth... use nmutil exts helper commit | commitdiff | tree
2020-05-20 Michael NolanFix broken test_caller.py commit | commitdiff | tree
2020-05-20 Luke Kenneth... munge / simplify code commit | commitdiff | tree
2020-05-20 Luke Kenneth... minor code-munge, use shorter names commit | commitdiff | tree
2020-05-20 Luke Kenneth... convert shift_rot to use XER Data commit | commitdiff | tree
2020-05-20 Luke Kenneth... convert Logical to use new XER use of Data() commit | commitdiff | tree
2020-05-20 Luke Kenneth... convert alu output to use Data for XER and CR0 commit | commitdiff | tree
2020-05-20 Luke Kenneth... whoops changed name of ALUInputData to LogicalInputData commit | commitdiff | tree
2020-05-20 Luke Kenneth... fix a series of random imports commit | commitdiff | tree
2020-05-20 Luke Kenneth... add DIV and MUL to POWER Function enum commit | commitdiff | tree
2020-05-19 Luke Kenneth... output ilang to branch_pipeline.il for branch commit | commitdiff | tree
2020-05-19 Luke Kenneth... use field AA directly commit | commitdiff | tree
2020-05-19 Luke Kenneth... add OP_RFID to enums commit | commitdiff | tree
2020-05-19 Luke Kenneth... update submodule to latest (including OP_TDI/OP_TRAP commit | commitdiff | tree
2020-05-19 Luke Kenneth... remove SPR3 from Branch Data, rename lr and spr to... commit | commitdiff | tree
2020-05-19 colepoirierRenamed bperm files in fu/logical and fu/logical formal... commit | commitdiff | tree
2020-05-19 Luke Kenneth... rename module, remove extraneous code and imports commit | commitdiff | tree
2020-05-19 Luke Kenneth... hmmm, branch sets nia to Data as well and sets nia... commit | commitdiff | tree
2020-05-19 Luke Kenneth... whitespace commit | commitdiff | tree
2020-05-19 Luke Kenneth... use Data on SPRs in Trap InputData just like in BranchO... commit | commitdiff | tree
2020-05-19 Luke Kenneth... code-munge commit | commitdiff | tree
2020-05-19 Luke Kenneth... update comments commit | commitdiff | tree
2020-05-19 Michael NolanAdd should_trap signal to trap output data commit | commitdiff | tree
2020-05-19 Michael NolanAdd trap main stage commit | commitdiff | tree
2020-05-19 Michael NolanUpdate to latest wiki version - fixing OP_TRAP commit | commitdiff | tree
2020-05-19 Michael NolanChange OP_TWI/TDI/TW/TD to OP_TRAP commit | commitdiff | tree
2020-05-19 Michael NolanBegin adding trap FU commit | commitdiff | tree
2020-05-19 Luke Kenneth... rename ALUPipeData to LogicalPipeData commit | commitdiff | tree
2020-05-19 Luke Kenneth... annoying syntax error commit | commitdiff | tree
2020-05-19 Luke Kenneth... code-shuffle on OP_CNTZ commit | commitdiff | tree
2020-05-19 Michael NolanImplement 32 bit cntlz and cnttz commit | commitdiff | tree
2020-05-19 Michael NolanActually implement cntlzd commit | commitdiff | tree
2020-05-19 Michael NolanFix weird edge cases with carry commit | commitdiff | tree
2020-05-19 Michael NolanAdd ca32 to caller.py commit | commitdiff | tree
2020-05-19 Michael NolanHandle carry out in alu commit | commitdiff | tree
2020-05-19 Michael NolanHandle carry in caller.py commit | commitdiff | tree
2020-05-19 Luke Kenneth... add TRAP FunctionUnit type commit | commitdiff | tree
2020-05-19 Luke Kenneth... 32-bit testing of output for CR0 conditions commit | commitdiff | tree
2020-05-19 colepoirierAdded luke's suggested code to cover all 3 assertions... commit | commitdiff | tree
2020-05-18 colepoirierAdded 2nd of 3 assertions for proof_bperm.py, currently... commit | commitdiff | tree
2020-05-18 Michael NolanFix error with selecting a selectableint using a select... commit | commitdiff | tree
2020-05-18 Michael NolanUpdate to latest wiki version commit | commitdiff | tree
2020-05-18 Luke Kenneth... move countzero to fu/logical commit | commitdiff | tree
2020-05-18 Luke Kenneth... fix countzero import on test commit | commitdiff | tree
2020-05-18 Luke Kenneth... correct import after soc.fu move commit | commitdiff | tree
2020-05-18 Luke Kenneth... dumb syntax error commit | commitdiff | tree
2020-05-18 Luke Kenneth... mass-rename of modules to soc.fu.* commit | commitdiff | tree
2020-05-18 Luke Kenneth... rename pipe to fu commit | commitdiff | tree
2020-05-18 Luke Kenneth... move pipelines to pipe dir commit | commitdiff | tree
2020-05-17 colepoirierRemoved extraneous variable from 'ports=[..]' of main... commit | commitdiff | tree
2020-05-17 colepoirierApplied PEP8 formatting to bperm.py commit | commitdiff | tree
2020-05-17 Luke Kenneth... test 32/64 bit mode CTR in branch commit | commitdiff | tree
2020-05-17 Luke Kenneth... add comments from spec on branch commit | commitdiff | tree
2020-05-17 Luke Kenneth... add instruction to assert statement so if there is... commit | commitdiff | tree
2020-05-17 Luke Kenneth... rename nia_out to nia, clarify with variables in main_s... commit | commitdiff | tree
2020-05-17 Luke Kenneth... rename nia_out to just nia, we know it is an output commit | commitdiff | tree
2020-05-17 Luke Kenneth... add convenience name to branch main stage and branch... commit | commitdiff | tree
2020-05-17 Luke Kenneth... bit of code-munging in branch main stage commit | commitdiff | tree
2020-05-17 Luke Kenneth... field cleanup commit | commitdiff | tree
2020-05-17 Luke Kenneth... whitespace cleanup commit | commitdiff | tree
2020-05-17 Luke Kenneth... simplify field access commit | commitdiff | tree
2020-05-17 Michael NolanAdd incomplete proof_bperm.py with comments on how... commit | commitdiff | tree
2020-05-17 Michael NolanMove perm inside Bpermd as it's not an input or output commit | commitdiff | tree
2020-05-17 Luke Kenneth... code-shuffle commit | commitdiff | tree
2020-05-17 Luke Kenneth... realised that the instruction fields have a namedtuple... commit | commitdiff | tree
2020-05-17 Luke Kenneth... use slightly more elegant way to access CR lookup table commit | commitdiff | tree
2020-05-17 Luke Kenneth... use Cat(*list) on CR mask commit | commitdiff | tree
2020-05-17 Luke Kenneth... try lbzu commit | commitdiff | tree
2020-05-17 Luke Kenneth... remove condition stopping wr_reset from firing on LD commit | commitdiff | tree
2020-05-17 Luke Kenneth... switch off LD/ST address when load activates commit | commitdiff | tree
2020-05-17 Luke Kenneth... fix address latching however LD is not working commit | commitdiff | tree
2020-05-17 Luke Kenneth... keep address held sustained whilst valid commit | commitdiff | tree
2020-05-17 Luke Kenneth... latest not-quite-working LDSTCompUnit experimentation commit | commitdiff | tree
2020-05-17 Luke Kenneth... update comments on condition register commit | commitdiff | tree
2020-05-16 colepoirierRemoved from bperm.py extraneous creation of temporary... commit | commitdiff | tree
2020-05-16 colepoirierMade creation of Array of Signals in bperm.py more... commit | commitdiff | tree
2020-05-16 Michael NolanAdd ilang output to test_maskgen.py commit | commitdiff | tree
next