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

projects / libre-riscv-dev.git / shortlog

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	Luke Kenneth...	[libre-riscv-dev] POWER9 formal correctness proofs...	commit \| commitdiff \| tree
2020-05-27	Luke Kenneth...	[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...	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	Jacob Lifshay	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...	commit \| commitdiff \| tree
2020-05-26	Cole Poirier	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	commit \| commitdiff \| tree
2020-05-26	Luke Kenneth...	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 technica...	commit \| commitdiff \| tree
2020-05-26	bugzilla-daemon	[libre-riscv-dev] [Bug 155] a PLL is needed for the SoC	commit \| commitdiff \| tree
2020-05-26	Luke Kenneth...	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	commit \| commitdiff \| tree
2020-05-26	Luke Kenneth...	Re: [libre-riscv-dev] daily kan-ban update 26may2020	commit \| commitdiff \| tree
2020-05-26	Luke Kenneth...	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	commit \| commitdiff \| tree
2020-05-26	Cole Poirier	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	commit \| commitdiff \| tree
2020-05-26	bugzilla-daemon	[libre-riscv-dev] [Bug 342] formal proof of soc.fu...	commit \| commitdiff \| tree
2020-05-26	Luke Kenneth...	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...	commit \| commitdiff \| tree
2020-05-26	Luke Kenneth...	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	commit \| commitdiff \| tree
2020-05-26	Luke Kenneth...	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 recog...	commit \| commitdiff \| tree
2020-05-26	Luke Kenneth...	Re: [libre-riscv-dev] daily kan-ban update 26may2020	commit \| commitdiff \| tree
2020-05-26	Luke Kenneth...	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	commit \| commitdiff \| tree
2020-05-26	Michael Nolan	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	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 336] ALU CompUnit needs to recog...	commit \| commitdiff \| tree
2020-05-26	bugzilla-daemon	[libre-riscv-dev] [Bug 351] create a "block" (mass...	commit \| commitdiff \| tree
2020-05-26	Luke Kenneth...	[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...	commit \| commitdiff \| tree
2020-05-26	bugzilla-daemon	[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed	commit \| commitdiff \| tree
2020-05-26	bugzilla-daemon	[libre-riscv-dev] [Bug 155] a PLL is needed for the SoC	commit \| commitdiff \| tree
2020-05-26	bugzilla-daemon	[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...	commit \| commitdiff \| tree
2020-05-26	bugzilla-daemon	[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...	commit \| commitdiff \| tree
2020-05-26	bugzilla-daemon	[libre-riscv-dev] [Bug 155] a PLL is needed for the SoC	commit \| commitdiff \| tree
2020-05-26	Paul Mackerras	Re: [libre-riscv-dev] [OpenPOWER-HDL-Cores] Power ISA...	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 324] create POWER9 DIV pipeline	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
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
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
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 353] New: formal proof of soc...	commit \| commitdiff \| tree
2020-05-26	Cole Poirier	Re: [libre-riscv-dev] daily kan-ban update 25may2020	commit \| commitdiff \| tree
2020-05-25	bugzilla-daemon	[libre-riscv-dev] [Bug 351] create a "block" (mass...	commit \| commitdiff \| tree
2020-05-25	bugzilla-daemon	[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...	commit \| commitdiff \| tree
2020-05-25	Luke Kenneth...	Re: [libre-riscv-dev] daily kan-ban update 25may2020	commit \| commitdiff \| tree
2020-05-25	Cole Poirier	Re: [libre-riscv-dev] daily kan-ban update 25may2020	commit \| commitdiff \| tree
2020-05-25	bugzilla-daemon	[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...	commit \| commitdiff \| tree
2020-05-25	bugzilla-daemon	[libre-riscv-dev] [Bug 337] Convention for register...	commit \| commitdiff \| tree
2020-05-25	Luke Kenneth...	Re: [libre-riscv-dev] daily kan-ban update 25may2020	commit \| commitdiff \| tree
2020-05-25	Cole Poirier	Re: [libre-riscv-dev] daily kan-ban update 25may2020	commit \| commitdiff \| tree
2020-05-25	bugzilla-daemon	[libre-riscv-dev] [Bug 316] bperm TODO	commit \| commitdiff \| tree
2020-05-25	Luke Kenneth...	Re: [libre-riscv-dev] daily kan-ban update 25may2020	commit \| commitdiff \| tree
2020-05-25	Cole Poirier	Re: [libre-riscv-dev] daily kan-ban update 25may2020	commit \| commitdiff \| tree
2020-05-25	bugzilla-daemon	[libre-riscv-dev] [Bug 316] bperm TODO	commit \| commitdiff \| tree
2020-05-25	bugzilla-daemon	[libre-riscv-dev] [Bug 342] formal proof of soc.fu...	commit \| commitdiff \| tree
2020-05-25	Luke Kenneth...	Re: [libre-riscv-dev] daily kan-ban update 25may2020	commit \| commitdiff \| tree
2020-05-25	Jacob Lifshay	Re: [libre-riscv-dev] daily kan-ban update 25may2020	commit \| commitdiff \| tree
2020-05-25	bugzilla-daemon	[libre-riscv-dev] [Bug 342] formal proof of soc.fu...	commit \| commitdiff \| tree
2020-05-25	bugzilla-daemon	[libre-riscv-dev] [Bug 342] formal proof of soc.fu...	commit \| commitdiff \| tree
2020-05-25	Luke Kenneth...	Re: [libre-riscv-dev] daily kan-ban update 25may2020	commit \| commitdiff \| tree
2020-05-25	Luke Kenneth...	Re: [libre-riscv-dev] daily kan-ban update 25may2020	commit \| commitdiff \| tree
2020-05-25	Cesar Strauss	Re: [libre-riscv-dev] daily kan-ban update 25may2020	commit \| commitdiff \| tree
2020-05-25	Michael Nolan	Re: [libre-riscv-dev] daily kan-ban update 25may2020	commit \| commitdiff \| tree
2020-05-25	bugzilla-daemon	[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...	commit \| commitdiff \| tree
2020-05-25	bugzilla-daemon	[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...	commit \| commitdiff \| tree
2020-05-25	bugzilla-daemon	[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...	commit \| commitdiff \| tree
2020-05-25	Luke Kenneth...	Re: [libre-riscv-dev] daily kan-ban update 25may2020	commit \| commitdiff \| tree
2020-05-25	bugzilla-daemon	[libre-riscv-dev] [Bug 352] New: virtual (dependency...	commit \| commitdiff \| tree
2020-05-25	Tobias Platen	Re: [libre-riscv-dev] daily kan-ban update 25may2020	commit \| commitdiff \| tree
2020-05-25	bugzilla-daemon	[libre-riscv-dev] [Bug 351] New: create a "block" ...	commit \| commitdiff \| tree
2020-05-25	bugzilla-daemon	[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed	commit \| commitdiff \| tree
2020-05-25	Luke Kenneth...	[libre-riscv-dev] daily kan-ban update 25may2020	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] LDSTCompUnit also needs...	commit \| commitdiff \| tree
2020-05-25	bugzilla-daemon	[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...	commit \| commitdiff \| tree
2020-05-25	bugzilla-daemon	[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed	commit \| commitdiff \| tree
2020-05-25	bugzilla-daemon	[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...	commit \| commitdiff \| tree
2020-05-25	bugzilla-daemon	[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...	commit \| commitdiff \| tree
2020-05-25	bugzilla-daemon	[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...	commit \| commitdiff \| tree
2020-05-25	bugzilla-daemon	[libre-riscv-dev] [Bug 350] LDSTCompUnit also needs...	commit \| commitdiff \| tree
next

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

RSS Atom