add comments for SPR pipe_data
[soc.git] / src / soc / fu / alu /
2020-05-24 Luke Kenneth Casso... convert ALU to output Data on int reg
2020-05-24 Luke Kenneth Casso... cleanup/code-munge on ALU main stage proof
2020-05-24 Luke Kenneth Casso... error in alu output stage formal proof setup
2020-05-24 Luke Kenneth Casso... output registers need to be Data type (consistently)
2020-05-23 Luke Kenneth Casso... remove unneeded imports
2020-05-22 Luke Kenneth Casso... split out Logical Input and Output stages to common...
2020-05-22 Luke Kenneth Casso... covert ALU FU to CommonInputStage
2020-05-21 Luke Kenneth Casso... comment CompALUOpSubset, data_len is actually used...
2020-05-21 Luke Kenneth Casso... add zero_a flag to CompALUOpSubset
2020-05-21 Luke Kenneth Casso... whitespace/shuffle
2020-05-21 Luke Kenneth Casso... move common functionality between PipeSpecs to soc...
2020-05-21 Luke Kenneth Casso... move FU IntegerData to directory below
2020-05-21 Luke Kenneth Casso... convert to individual PipeSpecs for each pipeline
2020-05-21 Luke Kenneth Casso... add regspec to ALUPipeSpec
2020-05-20 Luke Kenneth Casso... add register specs to pipeline in/out so that they...
2020-05-20 Michael NolanUse overflow definition from microwatt
2020-05-20 Michael NolanAdd overflow handling and proof
2020-05-20 Michael NolanFix bug introduced in rebase
2020-05-20 Luke Kenneth Casso... formal proof rename on XER flags
2020-05-20 Luke Kenneth Casso... update to new names for XER fields
2020-05-20 Luke Kenneth Casso... normalise XER regs carry/32 and SO
2020-05-20 Luke Kenneth Casso... whitespace, rename ilang to alu_main_stage.il
2020-05-20 Luke Kenneth Casso... i seem to like short names that happen to make things...
2020-05-20 Michael NolanAdd proof for OP_CMP and OP_CMPEQB
2020-05-20 Michael NolanAdd proof for OP_EXTS
2020-05-20 Michael NolanAdd 32 bit carry handling to alu
2020-05-20 Luke Kenneth Casso... output ilang for ALU to unique file
2020-05-20 Luke Kenneth Casso... use nmutil exts helper in ALU OP_EXTS
2020-05-20 Luke Kenneth Casso... minor code-munge, use shorter names
2020-05-20 Luke Kenneth Casso... convert alu output to use Data for XER and CR0
2020-05-19 Michael NolanHandle carry out in alu
2020-05-19 Luke Kenneth Casso... 32-bit testing of output for CR0 conditions
2020-05-18 Luke Kenneth Casso... mass-rename of modules to soc.fu.*
2020-05-18 Luke Kenneth Casso... rename pipe to fu