libre-riscv-dev.git
2020-05-25 bugzilla-daemon[libre-riscv-dev] [Bug 342] formal proof of soc.fu...
2020-05-25 bugzilla-daemon[libre-riscv-dev] [Bug 342] formal proof of soc.fu...
2020-05-25 Luke Kenneth... Re: [libre-riscv-dev] daily kan-ban update 25may2020
2020-05-25 Luke Kenneth... Re: [libre-riscv-dev] daily kan-ban update 25may2020
2020-05-25 Cesar StraussRe: [libre-riscv-dev] daily kan-ban update 25may2020
2020-05-25 Michael NolanRe: [libre-riscv-dev] daily kan-ban update 25may2020
2020-05-25 bugzilla-daemon[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...
2020-05-25 bugzilla-daemon[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...
2020-05-25 bugzilla-daemon[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...
2020-05-25 Luke Kenneth... Re: [libre-riscv-dev] daily kan-ban update 25may2020
2020-05-25 bugzilla-daemon[libre-riscv-dev] [Bug 352] New: virtual (dependency...
2020-05-25 Tobias PlatenRe: [libre-riscv-dev] daily kan-ban update 25may2020
2020-05-25 bugzilla-daemon[libre-riscv-dev] [Bug 351] New: create a "block" ...
2020-05-25 bugzilla-daemon[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed
2020-05-25 Luke Kenneth... [libre-riscv-dev] daily kan-ban update 25may2020
2020-05-25 bugzilla-daemon[libre-riscv-dev] [Bug 350] LDSTCompUnit also needs...
2020-05-25 bugzilla-daemon[libre-riscv-dev] [Bug 350] LDSTCompUnit also needs...
2020-05-25 bugzilla-daemon[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...
2020-05-25 bugzilla-daemon[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed
2020-05-25 bugzilla-daemon[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...
2020-05-25 bugzilla-daemon[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...
2020-05-25 bugzilla-daemon[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...
2020-05-25 bugzilla-daemon[libre-riscv-dev] [Bug 350] LDSTCompUnit also needs...
2020-05-25 bugzilla-daemon[libre-riscv-dev] [Bug 325] create POWER9 TRAP pipeline
2020-05-25 bugzilla-daemon[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...
2020-05-25 bugzilla-daemon[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...
2020-05-25 bugzilla-daemon[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...
2020-05-25 bugzilla-daemon[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...
2020-05-25 bugzilla-daemon[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...
2020-05-25 bugzilla-daemon[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...
2020-05-25 bugzilla-daemon[libre-riscv-dev] [Bug 306] Formal Correctness Proof...
2020-05-25 bugzilla-daemon[libre-riscv-dev] [Bug 335] Formal Correctness Proof...
2020-05-25 bugzilla-daemon[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...
2020-05-25 bugzilla-daemon[libre-riscv-dev] [Bug 350] LDSTCompUnit also needs...
2020-05-25 bugzilla-daemon[libre-riscv-dev] [Bug 318] fix LDSTCompUnit
2020-05-25 bugzilla-daemon[libre-riscv-dev] [Bug 350] LDSTCompUnit also needs...
2020-05-25 bugzilla-daemon[libre-riscv-dev] [Bug 350] New: LDSTCompUnit also...
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 349] privileged-instruction...
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 349] New: privileged-instruction...
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 348] POWER9 SPR pipeline needed
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 348] New: POWER9 SPR pipeline...
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 333] investigate why CR pipeline...
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 345] define POWER9 regfiles
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 314] Create POWER9 Condition...
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 342] formal proof of soc.fu...
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 342] formal proof of soc.fu...
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 347] add setb (to CR pipeline?)
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 314] Create POWER9 Condition...
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 347] New: add setb (to CR pipeline?)
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed
2020-05-24 Luke Kenneth... Re: [libre-riscv-dev] daily kan-ban update 24may2020
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 331] Formal Correctness Proof...
2020-05-24 Tobias PlatenRe: [libre-riscv-dev] daily kan-ban update 24may2020
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 335] Formal Correctness Proof...
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 335] Formal Correctness Proof...
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 316] bperm TODO
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 342] formal proof of soc.fu...
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 197] Formal correctness proof...
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 331] Formal Correctness Proof...
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 342] formal proof of soc.fu...
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 316] bperm TODO
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 316] bperm TODO
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 316] bperm TODO
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 346] New: simplified test link...
2020-05-24 Luke Kenneth... [libre-riscv-dev] idea for testing pipelines
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 345] New: define POWER9 regfiles
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 344] New: missing mtmsr and...
2020-05-24 Luke Kenneth... [libre-riscv-dev] daily kan-ban update 24may2020
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 314] Create POWER9 Condition...
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 337] Convention for register...
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 325] create POWER9 TRAP pipeline
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 325] create POWER9 TRAP pipeline
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 343] compalu_multi write request...
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 343] New: compalu_multi write...
2020-05-24 bugzilla-daemon[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...
2020-05-24 Luke Kenneth... [libre-riscv-dev] Fwd: [OpenPOWER-HDL-Cores] POWER9...
2020-05-23 bugzilla-daemon[libre-riscv-dev] [Bug 341] unit tests needed for soc...
2020-05-23 bugzilla-daemon[libre-riscv-dev] [Bug 342] formal proof of soc.fu...
2020-05-23 bugzilla-daemon[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...
2020-05-23 Luke Kenneth... Re: [libre-riscv-dev] daily kan-ban update 23may2020
2020-05-23 Cole PoirierRe: [libre-riscv-dev] daily kan-ban update 23may2020
2020-05-23 bugzilla-daemon[libre-riscv-dev] [Bug 342] formal proof of soc.fu...
2020-05-23 bugzilla-daemon[libre-riscv-dev] [Bug 342] formal proof of soc.fu...
2020-05-23 bugzilla-daemon[libre-riscv-dev] [Bug 342] New: formal proof of soc...
2020-05-23 bugzilla-daemon[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...
2020-05-23 bugzilla-daemon[libre-riscv-dev] [Bug 341] unit tests needed for soc...
2020-05-23 bugzilla-daemon[libre-riscv-dev] [Bug 341] New: unit tests needed...
2020-05-23 Luke Kenneth... Re: [libre-riscv-dev] daily kan-ban update 23may2020
2020-05-23 Luke Kenneth... Re: [libre-riscv-dev] daily kan-ban update 23may2020
2020-05-23 bugzilla-daemon[libre-riscv-dev] [Bug 316] bperm TODO
next