git.libre-soc.org Git - libre-riscv-dev.git/search

2020-05-28	bugzilla-daemon	[libre-riscv-dev] [Bug 353] formal proof of soc.regfile... [libre-riscv-dev] [Bug 353] formal proof of soc...	commit \| commitdiff \| tree
2020-05-28	bugzilla-daemon	[libre-riscv-dev] [Bug 353] formal proof of soc.regfile... [libre-riscv-dev] [Bug 353] formal proof of soc...	commit \| commitdiff \| tree
2020-05-28	Cole Poirier	[libre-riscv-dev] daily kan-ban update 28may2020 [libre-riscv-dev] daily kan-ban update 28may2020	commit \| commitdiff \| tree
2020-05-28	bugzilla-daemon	[libre-riscv-dev] [Bug 353] formal proof of soc.regfile... [libre-riscv-dev] [Bug 353] formal proof of soc...	commit \| commitdiff \| tree
2020-05-28	bugzilla-daemon	[libre-riscv-dev] [Bug 348] POWER9 SPR pipeline needed [libre-riscv-dev] [Bug 348] POWER9 SPR pipeline...	commit \| commitdiff \| tree
2020-05-28	bugzilla-daemon	[libre-riscv-dev] [Bug 331] Formal Correctness Proof... [libre-riscv-dev] [Bug 331] Formal Correctness...	commit \| commitdiff \| tree
2020-05-28	bugzilla-daemon	[libre-riscv-dev] [Bug 347] add setb (to CR pipeline?) [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... [libre-riscv-dev] [Bug 353] formal proof of soc...	commit \| commitdiff \| tree
2020-05-28	bugzilla-daemon	[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed [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 [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 [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 [libre-riscv-dev] [Bug 216] LOAD STORE buffer needed	commit \| commitdiff \| tree
2020-05-28	lkcl .	[libre-riscv-dev] Fwd: power-gem5 [libre-riscv-dev] Fwd: power-gem5	commit \| commitdiff \| tree
2020-05-28	bugzilla-daemon	[libre-riscv-dev] [Bug 350] LDSTCompUnit also needs... [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... [libre-riscv-dev] [Bug 334] POWER decode A=zero...	commit \| commitdiff \| tree
2020-05-28	bugzilla-daemon	[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise... [libre-riscv-dev] [Bug 336] ALU CompUnit needs...	commit \| commitdiff \| tree
2020-05-28	bugzilla-daemon	[libre-riscv-dev] [Bug 356] fu POWER9 pipeline unit... [libre-riscv-dev] [Bug 356] fu POWER9 pipeline...	commit \| commitdiff \| tree
2020-05-28	bugzilla-daemon	[libre-riscv-dev] [Bug 356] New: fu POWER9 pipeline... [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... [libre-riscv-dev] [Bug 353] formal proof of soc...	commit \| commitdiff \| tree
2020-05-28	bugzilla-daemon	[libre-riscv-dev] [Bug 324] create POWER9 DIV pipeline [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 [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... [libre-riscv-dev] [Bug 353] formal proof of soc...	commit \| commitdiff \| tree
2020-05-28	bugzilla-daemon	[libre-riscv-dev] [Bug 353] formal proof of soc.regfile... [libre-riscv-dev] [Bug 353] formal proof of soc...	commit \| commitdiff \| tree
2020-05-28	bugzilla-daemon	[libre-riscv-dev] [Bug 353] formal proof of soc.regfile... [libre-riscv-dev] [Bug 353] formal proof of soc...	commit \| commitdiff \| tree
2020-05-28	bugzilla-daemon	[libre-riscv-dev] [Bug 353] formal proof of soc.regfile... [libre-riscv-dev] [Bug 353] formal proof of soc...	commit \| commitdiff \| tree
2020-05-27	bugzilla-daemon	[libre-riscv-dev] [Bug 323] create POWER9 MUL pipeline [libre-riscv-dev] [Bug 323] create POWER9 MUL pipeline	commit \| commitdiff \| tree
2020-05-27	Luke Kenneth Casson...	Re: [libre-riscv-dev] Power ISA v3.1 bug - parityw Re: [libre-riscv-dev] Power ISA v3.1 bug - parityw	commit \| commitdiff \| tree
2020-05-27	Paul Mackerras	Re: [libre-riscv-dev] [OpenPOWER-HDL-Cores] Power ISA... Re: [libre-riscv-dev] [OpenPOWER-HDL-Cores] Power ISA...	commit \| commitdiff \| tree
2020-05-27	bugzilla-daemon	[libre-riscv-dev] [Bug 355] game theory "state" packet... [libre-riscv-dev] [Bug 355] game theory "state...	commit \| commitdiff \| tree
2020-05-27	bugzilla-daemon	[libre-riscv-dev] [Bug 355] New: game theory "state... [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... [libre-riscv-dev] [Bug 353] formal proof of soc...	commit \| commitdiff \| tree
2020-05-27	bugzilla-daemon	[libre-riscv-dev] [Bug 353] formal proof of soc.regfile... [libre-riscv-dev] [Bug 353] formal proof of soc...	commit \| commitdiff \| tree
2020-05-27	bugzilla-daemon	[libre-riscv-dev] [Bug 353] formal proof of soc.regfile... [libre-riscv-dev] [Bug 353] formal proof of soc...	commit \| commitdiff \| tree
2020-05-27	bugzilla-daemon	[libre-riscv-dev] [Bug 353] formal proof of soc.regfile... [libre-riscv-dev] [Bug 353] formal proof of soc...	commit \| commitdiff \| tree
2020-05-27	Luke Kenneth Casson...	Re: [libre-riscv-dev] daily kan-ban update 27may2020 Re: [libre-riscv-dev] daily kan-ban update 27may2020	commit \| commitdiff \| tree
2020-05-27	bugzilla-daemon	[libre-riscv-dev] [Bug 353] formal proof of soc.regfile... [libre-riscv-dev] [Bug 353] formal proof of soc...	commit \| commitdiff \| tree
2020-05-27	bugzilla-daemon	[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar... [libre-riscv-dev] [Bug 305] Create Pipelined ALU...	commit \| commitdiff \| tree
2020-05-27	bugzilla-daemon	[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar... [libre-riscv-dev] [Bug 305] Create Pipelined ALU...	commit \| commitdiff \| tree
2020-05-27	bugzilla-daemon	[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar... [libre-riscv-dev] [Bug 305] Create Pipelined ALU...	commit \| commitdiff \| tree
2020-05-27	bugzilla-daemon	[libre-riscv-dev] [Bug 353] formal proof of soc.regfile... [libre-riscv-dev] [Bug 353] formal proof of soc...	commit \| commitdiff \| tree
2020-05-27	bugzilla-daemon	[libre-riscv-dev] [Bug 348] POWER9 SPR pipeline needed [libre-riscv-dev] [Bug 348] POWER9 SPR pipeline...	commit \| commitdiff \| tree
2020-05-27	bugzilla-daemon	[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar... [libre-riscv-dev] [Bug 305] Create Pipelined ALU...	commit \| commitdiff \| tree
2020-05-27	bugzilla-daemon	[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar... [libre-riscv-dev] [Bug 305] Create Pipelined ALU...	commit \| commitdiff \| tree
2020-05-27	bugzilla-daemon	[libre-riscv-dev] [Bug 353] formal proof of soc.regfile... [libre-riscv-dev] [Bug 353] formal proof of soc...	commit \| commitdiff \| tree
2020-05-27	bugzilla-daemon	[libre-riscv-dev] [Bug 348] POWER9 SPR pipeline needed [libre-riscv-dev] [Bug 348] POWER9 SPR pipeline...	commit \| commitdiff \| tree
2020-05-27	Tobias Platen	Re: [libre-riscv-dev] daily kan-ban update 27may2020 Re: [libre-riscv-dev] daily kan-ban update 27may2020	commit \| commitdiff \| tree
2020-05-27	bugzilla-daemon	[libre-riscv-dev] [Bug 353] formal proof of soc.regfile... [libre-riscv-dev] [Bug 353] formal proof of soc...	commit \| commitdiff \| tree
2020-05-27	bugzilla-daemon	[libre-riscv-dev] [Bug 353] formal proof of soc.regfile... [libre-riscv-dev] [Bug 353] formal proof of soc...	commit \| commitdiff \| tree
2020-05-27	Cole Poirier	Re: [libre-riscv-dev] daily kan-ban update 27may2020 Re: [libre-riscv-dev] daily kan-ban update 27may2020	commit \| commitdiff \| tree
2020-05-27	bugzilla-daemon	[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar... [libre-riscv-dev] [Bug 305] Create Pipelined ALU...	commit \| commitdiff \| tree
2020-05-27	bugzilla-daemon	[libre-riscv-dev] [Bug 348] POWER9 SPR pipeline needed [libre-riscv-dev] [Bug 348] POWER9 SPR pipeline...	commit \| commitdiff \| tree
2020-05-27	bugzilla-daemon	[libre-riscv-dev] [Bug 325] create POWER9 TRAP pipeline [libre-riscv-dev] [Bug 325] create POWER9 TRAP...	commit \| commitdiff \| tree
2020-05-27	bugzilla-daemon	[libre-riscv-dev] [Bug 325] create POWER9 TRAP pipeline [libre-riscv-dev] [Bug 325] create POWER9 TRAP...	commit \| commitdiff \| tree
2020-05-27	bugzilla-daemon	[libre-riscv-dev] [Bug 340] formal proof of POWER9... [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 [libre-riscv-dev] [Bug 325] create POWER9 TRAP...	commit \| commitdiff \| tree
2020-05-27	bugzilla-daemon	[libre-riscv-dev] [Bug 343] compalu_multi write requests... [libre-riscv-dev] [Bug 343] compalu_multi write...	commit \| commitdiff \| tree
2020-05-27	bugzilla-daemon	[libre-riscv-dev] [Bug 343] compalu_multi write requests... [libre-riscv-dev] [Bug 343] compalu_multi write...	commit \| commitdiff \| tree
2020-05-27	bugzilla-daemon	[libre-riscv-dev] [Bug 343] compalu_multi write requests... [libre-riscv-dev] [Bug 343] compalu_multi write...	commit \| commitdiff \| tree
2020-05-27	bugzilla-daemon	[libre-riscv-dev] [Bug 332] Formal correctness proof... [libre-riscv-dev] [Bug 332] Formal correctness...	commit \| commitdiff \| tree
2020-05-27	bugzilla-daemon	[libre-riscv-dev] [Bug 306] Formal Correctness Proof... [libre-riscv-dev] [Bug 306] Formal Correctness...	commit \| commitdiff \| tree
2020-05-27	bugzilla-daemon	[libre-riscv-dev] [Bug 306] Formal Correctness Proof... [libre-riscv-dev] [Bug 306] Formal Correctness...	commit \| commitdiff \| tree
2020-05-27	bugzilla-daemon	[libre-riscv-dev] [Bug 306] Formal Correctness Proof... [libre-riscv-dev] [Bug 306] Formal Correctness...	commit \| commitdiff \| tree
2020-05-27	Luke Kenneth Casson...	[libre-riscv-dev] POWER9 formal correctness proofs... [libre-riscv-dev] POWER9 formal correctness proofs...	commit \| commitdiff \| tree
2020-05-27	Luke Kenneth Casson...	[libre-riscv-dev] daily kan-ban update 27may2020 [libre-riscv-dev] daily kan-ban update 27may2020	commit \| commitdiff \| tree
2020-05-27	bugzilla-daemon	[libre-riscv-dev] [Bug 353] formal proof of soc.regfile... [libre-riscv-dev] [Bug 353] formal proof of soc...	commit \| commitdiff \| tree
2020-05-27	bugzilla-daemon	[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed [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... [libre-riscv-dev] [Bug 353] formal proof of soc...	commit \| commitdiff \| tree
2020-05-27	bugzilla-daemon	[libre-riscv-dev] [Bug 354] idea/optimisation: make... [libre-riscv-dev] [Bug 354] idea/optimisation:...	commit \| commitdiff \| tree
2020-05-27	bugzilla-daemon	[libre-riscv-dev] [Bug 354] New: idea/optimisation... [libre-riscv-dev] [Bug 354] New: idea/optimisation...	commit \| commitdiff \| tree
2020-05-27	bugzilla-daemon	[libre-riscv-dev] [Bug 345] define POWER9 regfiles [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... [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... [libre-riscv-dev] [Bug 353] formal proof of soc...	commit \| commitdiff \| tree
2020-05-26	bugzilla-daemon	[libre-riscv-dev] [Bug 351] create a "block" (mass... [libre-riscv-dev] [Bug 351] create a "block" (mass...	commit \| commitdiff \| tree
2020-05-26	Jacob Lifshay	Re: [libre-riscv-dev] funny article about Rust and... Re: [libre-riscv-dev] funny article about Rust and...	commit \| commitdiff \| tree
2020-05-26	bugzilla-daemon	[libre-riscv-dev] [Bug 351] create a "block" (mass... [libre-riscv-dev] [Bug 351] create a "block" (mass...	commit \| commitdiff \| tree
2020-05-26	Cole Poirier	Re: [libre-riscv-dev] funny article about Rust and... Re: [libre-riscv-dev] funny article about Rust and...	commit \| commitdiff \| tree
2020-05-26	bugzilla-daemon	[libre-riscv-dev] [Bug 155] a PLL is needed for the SoC [libre-riscv-dev] [Bug 155] a PLL is needed for...	commit \| commitdiff \| tree
2020-05-26	Luke Kenneth Casson...	Re: [libre-riscv-dev] funny article about Rust and... Re: [libre-riscv-dev] funny article about Rust and...	commit \| commitdiff \| tree
2020-05-26	Jacob Lifshay	[libre-riscv-dev] funny article about Rust and technical... [libre-riscv-dev] funny article about Rust and...	commit \| commitdiff \| tree
2020-05-26	bugzilla-daemon	[libre-riscv-dev] [Bug 155] a PLL is needed for the SoC [libre-riscv-dev] [Bug 155] a PLL is needed for...	commit \| commitdiff \| tree
2020-05-26	Luke Kenneth Casson...	Re: [libre-riscv-dev] daily kan-ban update 26may2020 Re: [libre-riscv-dev] daily kan-ban update 26may2020	commit \| commitdiff \| tree
2020-05-26	Tobias Platen	Re: [libre-riscv-dev] daily kan-ban update 26may2020 Re: [libre-riscv-dev] daily kan-ban update 26may2020	commit \| commitdiff \| tree
2020-05-26	Luke Kenneth Casson...	Re: [libre-riscv-dev] daily kan-ban update 26may2020 Re: [libre-riscv-dev] daily kan-ban update 26may2020	commit \| commitdiff \| tree
2020-05-26	Luke Kenneth Casson...	Re: [libre-riscv-dev] daily kan-ban update 26may2020 Re: [libre-riscv-dev] daily kan-ban update 26may2020	commit \| commitdiff \| tree
2020-05-26	Jacob Lifshay	Re: [libre-riscv-dev] daily kan-ban update 26may2020 Re: [libre-riscv-dev] daily kan-ban update 26may2020	commit \| commitdiff \| tree
2020-05-26	Cole Poirier	Re: [libre-riscv-dev] daily kan-ban update 26may2020 Re: [libre-riscv-dev] daily kan-ban update 26may2020	commit \| commitdiff \| tree
2020-05-26	Michael Nolan	Re: [libre-riscv-dev] daily kan-ban update 26may2020 Re: [libre-riscv-dev] daily kan-ban update 26may2020	commit \| commitdiff \| tree
2020-05-26	bugzilla-daemon	[libre-riscv-dev] [Bug 342] formal proof of soc.fu... [libre-riscv-dev] [Bug 342] formal proof of soc...	commit \| commitdiff \| tree
2020-05-26	Luke Kenneth Casson...	Re: [libre-riscv-dev] daily kan-ban update 26may2020 Re: [libre-riscv-dev] daily kan-ban update 26may2020	commit \| commitdiff \| tree
2020-05-26	bugzilla-daemon	[libre-riscv-dev] [Bug 342] formal proof of soc.fu... [libre-riscv-dev] [Bug 342] formal proof of soc...	commit \| commitdiff \| tree
2020-05-26	Luke Kenneth Casson...	Re: [libre-riscv-dev] daily kan-ban update 26may2020 Re: [libre-riscv-dev] daily kan-ban update 26may2020	commit \| commitdiff \| tree
2020-05-26	Cole Poirier	Re: [libre-riscv-dev] daily kan-ban update 26may2020 Re: [libre-riscv-dev] daily kan-ban update 26may2020	commit \| commitdiff \| tree
2020-05-26	Luke Kenneth Casson...	Re: [libre-riscv-dev] daily kan-ban update 26may2020 Re: [libre-riscv-dev] daily kan-ban update 26may2020	commit \| commitdiff \| tree
2020-05-26	bugzilla-daemon	[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise... [libre-riscv-dev] [Bug 336] ALU CompUnit needs...	commit \| commitdiff \| tree
2020-05-26	Luke Kenneth Casson...	Re: [libre-riscv-dev] daily kan-ban update 26may2020 Re: [libre-riscv-dev] daily kan-ban update 26may2020	commit \| commitdiff \| tree
2020-05-26	Luke Kenneth Casson...	Re: [libre-riscv-dev] daily kan-ban update 26may2020 Re: [libre-riscv-dev] daily kan-ban update 26may2020	commit \| commitdiff \| tree
2020-05-26	Cole Poirier	Re: [libre-riscv-dev] daily kan-ban update 26may2020 Re: [libre-riscv-dev] daily kan-ban update 26may2020	commit \| commitdiff \| tree
2020-05-26	Michael Nolan	Re: [libre-riscv-dev] daily kan-ban update 26may2020 Re: [libre-riscv-dev] daily kan-ban update 26may2020	commit \| commitdiff \| tree
2020-05-26	Cesar Strauss	Re: [libre-riscv-dev] daily kan-ban update 26may2020 Re: [libre-riscv-dev] daily kan-ban update 26may2020	commit \| commitdiff \| tree
2020-05-26	bugzilla-daemon	[libre-riscv-dev] [Bug 351] create a "block" (mass... [libre-riscv-dev] [Bug 351] create a "block" (mass...	commit \| commitdiff \| tree
next

Libre RISC-V Mailing list Archives (accessible via public-inbox)

RSS Atom