projects
/
libre-riscv-dev.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
[libre-riscv-dev] [Bug 350] LDSTCompUnit also needs to support zeroing on RA
2020-05-25
bugzilla-daemon
[libre-riscv-dev] [Bug 350] LDSTCompUnit also needs...
commit
|
commitdiff
|
tree
2020-05-25
bugzilla-daemon
[libre-riscv-dev] [Bug 318] fix LDSTCompUnit
commit
|
commitdiff
|
tree
2020-05-25
bugzilla-daemon
[libre-riscv-dev] [Bug 350] LDSTCompUnit also needs...
commit
|
commitdiff
|
tree
2020-05-25
bugzilla-daemon
[libre-riscv-dev] [Bug 350] New: LDSTCompUnit also...
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 349] privileged-instruction...
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 349] New: privileged-instruction...
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 348] POWER9 SPR pipeline needed
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 348] New: POWER9 SPR pipeline...
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 333] investigate why CR pipeline...
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 345] define POWER9 regfiles
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 314] Create POWER9 Condition...
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise...
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 342] formal proof of soc.fu...
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise...
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 342] formal proof of soc.fu...
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 347] add setb (to CR pipeline?)
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise...
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 314] Create POWER9 Condition...
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 347] New: add setb (to CR pipeline?)
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 331] Formal Correctness Proof...
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 335] Formal Correctness Proof...
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 335] Formal Correctness Proof...
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 316] bperm TODO
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 342] formal proof of soc.fu...
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 197] Formal correctness proof...
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 331] Formal Correctness Proof...
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 342] formal proof of soc.fu...
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 316] bperm TODO
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 316] bperm TODO
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 316] bperm TODO
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 346] New: simplified test link...
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise...
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 345] New: define POWER9 regfiles
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise...
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise...
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 344] New: missing mtmsr and...
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise...
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise...
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 314] Create POWER9 Condition...
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 337] Convention for register...
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 325] create POWER9 TRAP pipeline
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 325] create POWER9 TRAP pipeline
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise...
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 343] compalu_multi write requests...
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 343] New: compalu_multi write...
commit
|
commitdiff
|
tree
2020-05-24
bugzilla-daemon
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise...
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 341] unit tests needed for soc...
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 342] formal proof of soc.fu...
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise...
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 342] formal proof of soc.fu...
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 342] formal proof of soc.fu...
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 342] New: formal proof of soc...
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise...
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 341] unit tests needed for soc...
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 341] New: unit tests needed...
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 316] bperm TODO
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 314] Create POWER9 Condition...
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise...
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 314] Create POWER9 Condition...
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise...
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise...
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise...
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 332] Formal correctness proof...
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 332] Formal correctness proof...
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 332] Formal correctness proof...
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise...
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise...
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 332] Formal correctness proof...
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 314] Create POWER9 Condition...
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 313] Create Branch Pipeline...
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 313] Create Branch Pipeline...
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 314] Create POWER9 Condition...
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 314] Create POWER9 Condition...
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 314] Create POWER9 Condition...
commit
|
commitdiff
|
tree
2020-05-22
bugzilla-daemon
[libre-riscv-dev] [Bug 324] create POWER9 DIV pipeline
commit
|
commitdiff
|
tree
2020-05-22
bugzilla-daemon
[libre-riscv-dev] [Bug 324] create POWER9 DIV pipeline
commit
|
commitdiff
|
tree
2020-05-22
bugzilla-daemon
[libre-riscv-dev] [Bug 195] Formal correctness framework...
commit
|
commitdiff
|
tree
2020-05-22
bugzilla-daemon
[libre-riscv-dev] [Bug 340] formal proof of POWER9...
commit
|
commitdiff
|
tree
2020-05-22
bugzilla-daemon
[libre-riscv-dev] [Bug 340] formal proof of POWER9...
commit
|
commitdiff
|
tree
2020-05-22
bugzilla-daemon
[libre-riscv-dev] [Bug 340] formal proof of POWER9...
commit
|
commitdiff
|
tree
2020-05-22
bugzilla-daemon
[libre-riscv-dev] [Bug 340] New: formal proof of POWER9...
commit
|
commitdiff
|
tree
2020-05-22
bugzilla-daemon
[libre-riscv-dev] [Bug 339] create POWER9 ROTATE pipeline
commit
|
commitdiff
|
tree
2020-05-22
bugzilla-daemon
[libre-riscv-dev] [Bug 335] Formal Correctness Proof...
commit
|
commitdiff
|
tree
2020-05-22
bugzilla-daemon
[libre-riscv-dev] [Bug 335] Formal Correctness Proof...
commit
|
commitdiff
|
tree
2020-05-22
bugzilla-daemon
[libre-riscv-dev] [Bug 335] Formal Correctness Proof...
commit
|
commitdiff
|
tree
2020-05-22
bugzilla-daemon
[libre-riscv-dev] [Bug 316] bperm TODO
commit
|
commitdiff
|
tree
2020-05-22
bugzilla-daemon
[libre-riscv-dev] [Bug 335] Formal Correctness Proof...
commit
|
commitdiff
|
tree
2020-05-22
bugzilla-daemon
[libre-riscv-dev] [Bug 335] Formal Correctness Proof...
commit
|
commitdiff
|
tree
2020-05-22
bugzilla-daemon
[libre-riscv-dev] [Bug 330] create POWER9 Logic Pipeline
commit
|
commitdiff
|
tree
2020-05-22
bugzilla-daemon
[libre-riscv-dev] [Bug 335] Formal Correctness Proof...
commit
|
commitdiff
|
tree
2020-05-22
bugzilla-daemon
[libre-riscv-dev] [Bug 330] create POWER9 Logic Pipeline
commit
|
commitdiff
|
tree
2020-05-22
bugzilla-daemon
[libre-riscv-dev] [Bug 335] Formal Correctness Proof...
commit
|
commitdiff
|
tree
2020-05-22
bugzilla-daemon
[libre-riscv-dev] [Bug 335] Formal Correctness Proof...
commit
|
commitdiff
|
tree
2020-05-22
bugzilla-daemon
[libre-riscv-dev] [Bug 313] Create Branch Pipeline...
commit
|
commitdiff
|
tree
2020-05-22
bugzilla-daemon
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar...
commit
|
commitdiff
|
tree
2020-05-22
bugzilla-daemon
[libre-riscv-dev] [Bug 339] create POWER9 ROTATE pipeline
commit
|
commitdiff
|
tree
next