projects / soc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
move common functionality between PipeSpecs to soc.fu.pipe_data
[soc.git] / src / soc / fu / logical /
2020-05-21 Luke Kenneth Casso... move common functionality between PipeSpecs to soc... tree | commitdiff
2020-05-21 Luke Kenneth Casso... move FU IntegerData to directory below tree | commitdiff
2020-05-21 Luke Kenneth Casso... convert to individual PipeSpecs for each pipeline tree | commitdiff
2020-05-20 Michael NolanMake test for bpermd exercise the module a bit more tree | commitdiff
2020-05-20 colepoirierAdded OP_BPERMD to fu/logical pipeline, with test tree | commitdiff
2020-05-20 Luke Kenneth Casso... add register specs to pipeline in/out so that they... tree | commitdiff
2020-05-20 Luke Kenneth Casso... formal proof rename on XER flags 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... convert Logical to use new XER use of Data() tree | commitdiff
2020-05-20 Luke Kenneth Casso... whoops changed name of ALUInputData to LogicalInputData tree | commitdiff
2020-05-19 colepoirierRenamed bperm files in fu/logical and fu/logical formal... 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 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... correct import after soc.fu move 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