projects / libre-riscv-dev.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise that RA (src1) can be...
2020-05-25 bugzilla-daemon[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise...
commit | commitdiff | tree
2020-05-25 bugzilla-daemon[libre-riscv-dev] [Bug 306] Formal Correctness Proof...
commit | commitdiff | tree
2020-05-25 bugzilla-daemon[libre-riscv-dev] [Bug 335] Formal Correctness Proof...
commit | commitdiff | tree
2020-05-25 bugzilla-daemon[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise...
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 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
next
Libre RISC-V Mailing list Archives (accessible via public-inbox)