projects
/
soc.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
slowly morphing towards using an XER bit-field selector in decoder
[soc.git]
/
src
/
soc
/
fu
/
alu
/
formal
/
2020-08-24
Cole Poirier
Merge branch 'master' of git.libre-soc.org:soc
tree
|
commitdiff
2020-08-22
Luke Kenneth Casso...
rename invert_a to invert_in because logical inverts RB
tree
|
commitdiff
2020-07-29
Jacob Lifshay
add __init__.py to all source directories
tree
|
commitdiff
2020-07-15
Luke Kenneth Casso...
use Record Assert and also check muxid
tree
|
commitdiff
2020-07-12
Luke Kenneth Casso...
rename InternalOp to MicrOp
tree
|
commitdiff
2020-06-04
Luke Kenneth Casso...
use copy of FHDLTestCase
tree
|
commitdiff
2020-05-31
Luke Kenneth Casso...
OP_CMPEQB also requesting change of output reg (stop...
tree
|
commitdiff
2020-05-31
Luke Kenneth Casso...
OP_CMP is requesting a change of the output register...
tree
|
commitdiff
2020-05-27
Luke Kenneth Casso...
check cr0, ov and ca ok signals in ALU main_stage proof
tree
|
commitdiff
2020-05-27
Luke Kenneth Casso...
add links to bugreports into ALu formal proof as well
tree
|
commitdiff
2020-05-27
Luke Kenneth Casso...
add links to bugreports into alu output stage proof
tree
|
commitdiff
2020-05-27
Michael Nolan
Fix bug in alu main stage proof
tree
|
commitdiff
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-22
Luke Kenneth Casso...
covert ALU FU to CommonInputStage
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...
whitespace, rename ilang to alu_main_stage.il
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-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