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 329] coriolis2 experiment layout for Dependency Matrices
2020-06-01
bugzilla-daemon
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile...
commit
|
commitdiff
|
tree
2020-06-01
bugzilla-daemon
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile...
commit
|
commitdiff
|
tree
2020-06-01
bugzilla-daemon
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile...
commit
|
commitdiff
|
tree
2020-06-01
bugzilla-daemon
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile...
commit
|
commitdiff
|
tree
2020-06-01
bugzilla-daemon
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile...
commit
|
commitdiff
|
tree
2020-06-01
bugzilla-daemon
[libre-riscv-dev] [Bug 339] create POWER9 ROTATE (SHIFTROT...
commit
|
commitdiff
|
tree
2020-06-01
bugzilla-daemon
[libre-riscv-dev] [Bug 360] New: move RS to 1st or...
commit
|
commitdiff
|
tree
2020-06-01
bugzilla-daemon
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise...
commit
|
commitdiff
|
tree
2020-06-01
bugzilla-daemon
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise...
commit
|
commitdiff
|
tree
2020-06-01
bugzilla-daemon
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise...
commit
|
commitdiff
|
tree
2020-06-01
bugzilla-daemon
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise...
commit
|
commitdiff
|
tree
2020-06-01
bugzilla-daemon
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise...
commit
|
commitdiff
|
tree
2020-05-31
bugzilla-daemon
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile...
commit
|
commitdiff
|
tree
2020-05-31
bugzilla-daemon
[libre-riscv-dev] [Bug 359] New: cut down on wires...
commit
|
commitdiff
|
tree
2020-05-31
bugzilla-daemon
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise...
commit
|
commitdiff
|
tree
2020-05-31
bugzilla-daemon
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile...
commit
|
commitdiff
|
tree
2020-05-30
bugzilla-daemon
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile...
commit
|
commitdiff
|
tree
2020-05-30
bugzilla-daemon
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile...
commit
|
commitdiff
|
tree
2020-05-30
bugzilla-daemon
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile...
commit
|
commitdiff
|
tree
2020-05-30
bugzilla-daemon
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile...
commit
|
commitdiff
|
tree
2020-05-30
bugzilla-daemon
[libre-riscv-dev] [Bug 358] new MCU-ALU test picked...
commit
|
commitdiff
|
tree
2020-05-30
bugzilla-daemon
[libre-riscv-dev] [Bug 358] new MCU-ALU test picked...
commit
|
commitdiff
|
tree
2020-05-30
bugzilla-daemon
[libre-riscv-dev] [Bug 358] new MCU-ALU test picked...
commit
|
commitdiff
|
tree
2020-05-30
bugzilla-daemon
[libre-riscv-dev] [Bug 358] New: new MCU-ALU test picked...
commit
|
commitdiff
|
tree
2020-05-30
bugzilla-daemon
[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed
commit
|
commitdiff
|
tree
2020-05-29
bugzilla-daemon
[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed
commit
|
commitdiff
|
tree
2020-05-29
bugzilla-daemon
[libre-riscv-dev] [Bug 263] LD/ST batching needed
commit
|
commitdiff
|
tree
2020-05-29
bugzilla-daemon
[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed
commit
|
commitdiff
|
tree
2020-05-29
bugzilla-daemon
[libre-riscv-dev] [Bug 357] New: create simplified...
commit
|
commitdiff
|
tree
2020-05-29
bugzilla-daemon
[libre-riscv-dev] [Bug 310] Function Units to cover...
commit
|
commitdiff
|
tree
2020-05-28
bugzilla-daemon
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile...
commit
|
commitdiff
|
tree
2020-05-28
bugzilla-daemon
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile...
commit
|
commitdiff
|
tree
2020-05-28
bugzilla-daemon
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile...
commit
|
commitdiff
|
tree
2020-05-28
bugzilla-daemon
[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed
commit
|
commitdiff
|
tree
2020-05-28
bugzilla-daemon
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile...
commit
|
commitdiff
|
tree
2020-05-28
bugzilla-daemon
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile...
commit
|
commitdiff
|
tree
2020-05-28
bugzilla-daemon
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile...
commit
|
commitdiff
|
tree
2020-05-28
bugzilla-daemon
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile...
commit
|
commitdiff
|
tree
2020-05-28
bugzilla-daemon
[libre-riscv-dev] [Bug 348] POWER9 SPR pipeline needed
commit
|
commitdiff
|
tree
2020-05-28
bugzilla-daemon
[libre-riscv-dev] [Bug 331] Formal Correctness Proof...
commit
|
commitdiff
|
tree
2020-05-28
bugzilla-daemon
[libre-riscv-dev] [Bug 347] add setb (to CR pipeline?)
commit
|
commitdiff
|
tree
2020-05-28
bugzilla-daemon
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile...
commit
|
commitdiff
|
tree
2020-05-28
bugzilla-daemon
[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed
commit
|
commitdiff
|
tree
2020-05-28
bugzilla-daemon
[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed
commit
|
commitdiff
|
tree
2020-05-28
bugzilla-daemon
[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed
commit
|
commitdiff
|
tree
2020-05-28
bugzilla-daemon
[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed
commit
|
commitdiff
|
tree
2020-05-28
bugzilla-daemon
[libre-riscv-dev] [Bug 350] LDSTCompUnit also needs...
commit
|
commitdiff
|
tree
2020-05-28
bugzilla-daemon
[libre-riscv-dev] [Bug 334] POWER decode A=zero needs...
commit
|
commitdiff
|
tree
2020-05-28
bugzilla-daemon
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise...
commit
|
commitdiff
|
tree
2020-05-28
bugzilla-daemon
[libre-riscv-dev] [Bug 356] fu POWER9 pipeline unit...
commit
|
commitdiff
|
tree
2020-05-28
bugzilla-daemon
[libre-riscv-dev] [Bug 356] New: fu POWER9 pipeline...
commit
|
commitdiff
|
tree
2020-05-28
bugzilla-daemon
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile...
commit
|
commitdiff
|
tree
2020-05-28
bugzilla-daemon
[libre-riscv-dev] [Bug 324] create POWER9 DIV pipeline
commit
|
commitdiff
|
tree
2020-05-28
bugzilla-daemon
[libre-riscv-dev] [Bug 324] create POWER9 DIV pipeline
commit
|
commitdiff
|
tree
2020-05-28
bugzilla-daemon
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile...
commit
|
commitdiff
|
tree
2020-05-28
bugzilla-daemon
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile...
commit
|
commitdiff
|
tree
2020-05-28
bugzilla-daemon
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile...
commit
|
commitdiff
|
tree
2020-05-28
bugzilla-daemon
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile...
commit
|
commitdiff
|
tree
2020-05-27
bugzilla-daemon
[libre-riscv-dev] [Bug 323] create POWER9 MUL pipeline
commit
|
commitdiff
|
tree
2020-05-27
bugzilla-daemon
[libre-riscv-dev] [Bug 355] game theory "state" packet...
commit
|
commitdiff
|
tree
2020-05-27
bugzilla-daemon
[libre-riscv-dev] [Bug 355] New: game theory "state...
commit
|
commitdiff
|
tree
2020-05-27
bugzilla-daemon
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile...
commit
|
commitdiff
|
tree
2020-05-27
bugzilla-daemon
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile...
commit
|
commitdiff
|
tree
2020-05-27
bugzilla-daemon
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile...
commit
|
commitdiff
|
tree
2020-05-27
bugzilla-daemon
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile...
commit
|
commitdiff
|
tree
2020-05-27
bugzilla-daemon
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile...
commit
|
commitdiff
|
tree
2020-05-27
bugzilla-daemon
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar...
commit
|
commitdiff
|
tree
2020-05-27
bugzilla-daemon
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar...
commit
|
commitdiff
|
tree
2020-05-27
bugzilla-daemon
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar...
commit
|
commitdiff
|
tree
2020-05-27
bugzilla-daemon
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile...
commit
|
commitdiff
|
tree
2020-05-27
bugzilla-daemon
[libre-riscv-dev] [Bug 348] POWER9 SPR pipeline needed
commit
|
commitdiff
|
tree
2020-05-27
bugzilla-daemon
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar...
commit
|
commitdiff
|
tree
2020-05-27
bugzilla-daemon
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar...
commit
|
commitdiff
|
tree
2020-05-27
bugzilla-daemon
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile...
commit
|
commitdiff
|
tree
2020-05-27
bugzilla-daemon
[libre-riscv-dev] [Bug 348] POWER9 SPR pipeline needed
commit
|
commitdiff
|
tree
2020-05-27
bugzilla-daemon
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile...
commit
|
commitdiff
|
tree
2020-05-27
bugzilla-daemon
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile...
commit
|
commitdiff
|
tree
2020-05-27
bugzilla-daemon
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar...
commit
|
commitdiff
|
tree
2020-05-27
bugzilla-daemon
[libre-riscv-dev] [Bug 348] POWER9 SPR pipeline needed
commit
|
commitdiff
|
tree
2020-05-27
bugzilla-daemon
[libre-riscv-dev] [Bug 325] create POWER9 TRAP pipeline
commit
|
commitdiff
|
tree
2020-05-27
bugzilla-daemon
[libre-riscv-dev] [Bug 325] create POWER9 TRAP pipeline
commit
|
commitdiff
|
tree
2020-05-27
bugzilla-daemon
[libre-riscv-dev] [Bug 340] formal proof of POWER9...
commit
|
commitdiff
|
tree
2020-05-27
bugzilla-daemon
[libre-riscv-dev] [Bug 325] create POWER9 TRAP pipeline
commit
|
commitdiff
|
tree
2020-05-27
bugzilla-daemon
[libre-riscv-dev] [Bug 343] compalu_multi write requests...
commit
|
commitdiff
|
tree
2020-05-27
bugzilla-daemon
[libre-riscv-dev] [Bug 343] compalu_multi write requests...
commit
|
commitdiff
|
tree
2020-05-27
bugzilla-daemon
[libre-riscv-dev] [Bug 343] compalu_multi write requests...
commit
|
commitdiff
|
tree
2020-05-27
bugzilla-daemon
[libre-riscv-dev] [Bug 332] Formal correctness proof...
commit
|
commitdiff
|
tree
2020-05-27
bugzilla-daemon
[libre-riscv-dev] [Bug 306] Formal Correctness Proof...
commit
|
commitdiff
|
tree
2020-05-27
bugzilla-daemon
[libre-riscv-dev] [Bug 306] Formal Correctness Proof...
commit
|
commitdiff
|
tree
2020-05-27
bugzilla-daemon
[libre-riscv-dev] [Bug 306] Formal Correctness Proof...
commit
|
commitdiff
|
tree
2020-05-27
bugzilla-daemon
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile...
commit
|
commitdiff
|
tree
2020-05-27
bugzilla-daemon
[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed
commit
|
commitdiff
|
tree
2020-05-27
bugzilla-daemon
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile...
commit
|
commitdiff
|
tree
2020-05-27
bugzilla-daemon
[libre-riscv-dev] [Bug 354] idea/optimisation: make...
commit
|
commitdiff
|
tree
2020-05-27
bugzilla-daemon
[libre-riscv-dev] [Bug 354] New: idea/optimisation...
commit
|
commitdiff
|
tree
2020-05-27
bugzilla-daemon
[libre-riscv-dev] [Bug 345] define POWER9 regfiles
commit
|
commitdiff
|
tree
2020-05-26
bugzilla-daemon
[libre-riscv-dev] [Bug 351] create a "block" (mass...
commit
|
commitdiff
|
tree
2020-05-26
bugzilla-daemon
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile...
commit
|
commitdiff
|
tree
2020-05-26
bugzilla-daemon
[libre-riscv-dev] [Bug 351] create a "block" (mass...
commit
|
commitdiff
|
tree
2020-05-26
bugzilla-daemon
[libre-riscv-dev] [Bug 351] create a "block" (mass...
commit
|
commitdiff
|
tree
next