projects / soc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
add register specs to pipeline in/out so that they can be used to connect up
[soc.git] / src / soc / fu /
2020-05-20 Luke Kenneth Casso... add register specs to pipeline in/out so that they... tree | commitdiff
2020-05-20 Luke Kenneth Casso... damn. assigning to temporary signals may turn out... tree | commitdiff
2020-05-20 Luke Kenneth Casso... ehn? moo? CR test_pipe_caller locks up 100% CPU on... tree | commitdiff
2020-05-20 Luke Kenneth Casso... correct XER variable names tree | commitdiff
2020-05-20 Luke Kenneth Casso... correct import on shift_rot maskgen tree | commitdiff
2020-05-20 Michael NolanUse overflow definition from microwatt tree | commitdiff
2020-05-20 Michael NolanAdd overflow handling and proof tree | commitdiff
2020-05-20 Michael NolanFix bug introduced in rebase tree | commitdiff
2020-05-20 Luke Kenneth Casso... fixup XER names in shift_rot pipe tests tree | commitdiff
2020-05-20 Luke Kenneth Casso... formal proof rename on XER flags tree | commitdiff
2020-05-20 Luke Kenneth Casso... update to new names for XER fields tree | commitdiff
2020-05-20 Luke Kenneth Casso... normalise XER regs carry/32 and SO tree | commitdiff
2020-05-20 Michael NolanAdd proof for OP_CNTZ tree | commitdiff
2020-05-20 Luke Kenneth Casso... add cross-reference to bugtracker and wiki tree | commitdiff
2020-05-20 Michael NolanAdd test for edge cases that were previously buggy tree | commitdiff
2020-05-20 Michael NolanDelete assume left over from testing tree | commitdiff
2020-05-20 Michael NolanAdd proof for OP_PRTY tree | commitdiff
2020-05-20 Michael NolanFormally verify OP_POPCNT tree | commitdiff
2020-05-20 Michael NolanFix bug with popcntd tree | commitdiff
2020-05-20 Luke Kenneth Casso... whitespace, rename ilang to alu_main_stage.il tree | commitdiff
2020-05-20 Luke Kenneth Casso... i seem to like short names that happen to make things... tree | commitdiff
2020-05-20 Michael NolanAdd proof for OP_CMP and OP_CMPEQB tree | commitdiff
2020-05-20 Michael NolanAdd proof for OP_EXTS tree | commitdiff
2020-05-20 Michael NolanAdd 32 bit carry handling to alu tree | commitdiff
2020-05-20 Luke Kenneth Casso... output ilang for ALU to unique file tree | commitdiff
2020-05-20 Luke Kenneth Casso... use nmutil exts helper in ALU OP_EXTS tree | commitdiff
2020-05-20 Luke Kenneth Casso... use nmutil exts helper tree | commitdiff
2020-05-20 Luke Kenneth Casso... munge / simplify code tree | commitdiff
2020-05-20 Luke Kenneth Casso... minor code-munge, use shorter names tree | commitdiff
2020-05-20 Luke Kenneth Casso... convert shift_rot to use XER Data tree | commitdiff
2020-05-20 Luke Kenneth Casso... convert Logical to use new XER use of Data() tree | commitdiff
2020-05-20 Luke Kenneth Casso... convert alu output to use Data for XER and CR0 tree | commitdiff
2020-05-20 Luke Kenneth Casso... whoops changed name of ALUInputData to LogicalInputData tree | commitdiff
2020-05-19 Luke Kenneth Casso... output ilang to branch_pipeline.il for branch tree | commitdiff
2020-05-19 Luke Kenneth Casso... use field AA directly tree | commitdiff
2020-05-19 Luke Kenneth Casso... remove SPR3 from Branch Data, rename lr and spr to... tree | commitdiff
2020-05-19 colepoirierRenamed bperm files in fu/logical and fu/logical formal... tree | commitdiff
2020-05-19 Luke Kenneth Casso... rename module, remove extraneous code and imports tree | commitdiff
2020-05-19 Luke Kenneth Casso... hmmm, branch sets nia to Data as well and sets nia... tree | commitdiff
2020-05-19 Luke Kenneth Casso... whitespace tree | commitdiff
2020-05-19 Luke Kenneth Casso... use Data on SPRs in Trap InputData just like in BranchO... tree | commitdiff
2020-05-19 Luke Kenneth Casso... code-munge tree | commitdiff
2020-05-19 Luke Kenneth Casso... update comments tree | commitdiff
2020-05-19 Michael NolanAdd should_trap signal to trap output data tree | commitdiff
2020-05-19 Michael NolanAdd trap main stage tree | commitdiff
2020-05-19 Michael NolanBegin adding trap FU tree | commitdiff
2020-05-19 Luke Kenneth Casso... rename ALUPipeData to LogicalPipeData tree | commitdiff
2020-05-19 Luke Kenneth Casso... annoying syntax error tree | commitdiff
2020-05-19 Luke Kenneth Casso... code-shuffle on OP_CNTZ tree | commitdiff
2020-05-19 Michael NolanImplement 32 bit cntlz and cnttz tree | commitdiff
2020-05-19 Michael NolanActually implement cntlzd tree | commitdiff
2020-05-19 Michael NolanHandle carry out in alu tree | commitdiff
2020-05-19 Luke Kenneth Casso... 32-bit testing of output for CR0 conditions tree | commitdiff
2020-05-19 colepoirierAdded luke's suggested code to cover all 3 assertions... tree | commitdiff
2020-05-18 colepoirierAdded 2nd of 3 assertions for proof_bperm.py, currently... tree | commitdiff
2020-05-18 Luke Kenneth Casso... move countzero to fu/logical tree | commitdiff
2020-05-18 Luke Kenneth Casso... fix countzero import on test tree | commitdiff
2020-05-18 Luke Kenneth Casso... correct import after soc.fu move tree | commitdiff
2020-05-18 Luke Kenneth Casso... dumb syntax error tree | commitdiff
2020-05-18 Luke Kenneth Casso... mass-rename of modules to soc.fu.* tree | commitdiff
2020-05-18 Luke Kenneth Casso... rename pipe to fu tree | commitdiff