projects
/
soc.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
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
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
cleanup/code-munge on ALU main stage proof
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
error in alu output stage formal proof setup
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
output registers need to be Data type (consistently)
tree
|
commitdiff
2020-05-23
Luke Kenneth Casso...
remove unneeded imports
tree
|
commitdiff
2020-05-22
Luke Kenneth Casso...
split out Logical Input and Output stages to common...
tree
|
commitdiff
2020-05-22
Luke Kenneth Casso...
covert ALU FU to CommonInputStage
tree
|
commitdiff
2020-05-21
Luke Kenneth Casso...
comment CompALUOpSubset, data_len is actually used...
tree
|
commitdiff
2020-05-21
Luke Kenneth Casso...
add zero_a flag to CompALUOpSubset
tree
|
commitdiff
2020-05-21
Luke Kenneth Casso...
whitespace/shuffle
tree
|
commitdiff
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-21
Luke Kenneth Casso...
add regspec to ALUPipeSpec
tree
|
commitdiff
2020-05-20
Luke Kenneth Casso...
add register specs to pipeline in/out so that they...
tree
|
commitdiff
2020-05-20
Michael Nolan
Use overflow definition from microwatt
tree
|
commitdiff
2020-05-20
Michael Nolan
Add overflow handling and proof
tree
|
commitdiff
2020-05-20
Michael Nolan
Fix bug introduced in rebase
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
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 Nolan
Add proof for OP_CMP and OP_CMPEQB
tree
|
commitdiff
2020-05-20
Michael Nolan
Add proof for OP_EXTS
tree
|
commitdiff
2020-05-20
Michael Nolan
Add 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...
minor code-munge, use shorter names
tree
|
commitdiff
2020-05-20
Luke Kenneth Casso...
convert alu output to use Data for XER and CR0
tree
|
commitdiff
2020-05-19
Michael Nolan
Handle carry out in alu
tree
|
commitdiff
2020-05-19
Luke Kenneth Casso...
32-bit testing of output for CR0 conditions
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