projects
/
libre-riscv-dev.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
libre-riscv-dev.git
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 recog...
commit
|
commitdiff
|
tree
2020-05-23
Luke Kenneth...
Re: [libre-riscv-dev] daily kan-ban update 23may2020
commit
|
commitdiff
|
tree
2020-05-23
Cole Poirier
Re: [libre-riscv-dev] daily kan-ban update 23may2020
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 recog...
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
Luke Kenneth...
Re: [libre-riscv-dev] daily kan-ban update 23may2020
commit
|
commitdiff
|
tree
2020-05-23
Luke Kenneth...
Re: [libre-riscv-dev] daily kan-ban update 23may2020
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 316] bperm TODO
commit
|
commitdiff
|
tree
2020-05-23
Cole Poirier
Re: [libre-riscv-dev] daily kan-ban update 23may2020
commit
|
commitdiff
|
tree
2020-05-23
Luke Kenneth...
Re: [libre-riscv-dev] daily kan-ban update 23may2020
commit
|
commitdiff
|
tree
2020-05-23
Luke Kenneth...
Re: [libre-riscv-dev] daily kan-ban update 23may2020
commit
|
commitdiff
|
tree
2020-05-23
Cole Poirier
Re: [libre-riscv-dev] daily kan-ban update 23may2020
commit
|
commitdiff
|
tree
2020-05-23
Cole Poirier
Re: [libre-riscv-dev] daily kan-ban update 23may2020
commit
|
commitdiff
|
tree
2020-05-23
Luke Kenneth...
Re: [libre-riscv-dev] daily kan-ban update 23may2020
commit
|
commitdiff
|
tree
2020-05-23
Luke Kenneth...
Re: [libre-riscv-dev] daily kan-ban update 23may2020
commit
|
commitdiff
|
tree
2020-05-23
Luke Kenneth...
Re: [libre-riscv-dev] daily kan-ban update 23may2020
commit
|
commitdiff
|
tree
2020-05-23
Luke Kenneth...
Re: [libre-riscv-dev] daily kan-ban update 23may2020
commit
|
commitdiff
|
tree
2020-05-23
Luke Kenneth...
Re: [libre-riscv-dev] daily kan-ban update 23may2020
commit
|
commitdiff
|
tree
2020-05-23
Luke Kenneth...
Re: [libre-riscv-dev] daily kan-ban update 23may2020
commit
|
commitdiff
|
tree
2020-05-23
Cesar Strauss
Re: [libre-riscv-dev] daily kan-ban update 23may2020
commit
|
commitdiff
|
tree
2020-05-23
Cole Poirier
Re: [libre-riscv-dev] daily kan-ban update 23may2020
commit
|
commitdiff
|
tree
2020-05-23
Cole Poirier
Re: [libre-riscv-dev] daily kan-ban update 23may2020
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 314] Create POWER9 Condition...
commit
|
commitdiff
|
tree
2020-05-23
Luke Kenneth...
Re: [libre-riscv-dev] daily kan-ban update 23may2020
commit
|
commitdiff
|
tree
2020-05-23
Luke Kenneth...
Re: [libre-riscv-dev] daily kan-ban update 23may2020
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...
commit
|
commitdiff
|
tree
2020-05-23
Michael Nolan
Re: [libre-riscv-dev] daily kan-ban update 23may2020
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 314] Create POWER9 Condition...
commit
|
commitdiff
|
tree
2020-05-23
Cole Poirier
Re: [libre-riscv-dev] daily kan-ban update 23may2020
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 332] Formal correctness proof...
commit
|
commitdiff
|
tree
2020-05-23
Luke Kenneth...
[libre-riscv-dev] Function Units "patch-up" linking...
commit
|
commitdiff
|
tree
2020-05-23
Cole Poirier
Re: [libre-riscv-dev] daily kan-ban update 22may2020
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
Luke Kenneth...
Re: [libre-riscv-dev] daily kan-ban update 23may2020
commit
|
commitdiff
|
tree
2020-05-23
Tobias Platen
Re: [libre-riscv-dev] daily kan-ban update 23may2020
commit
|
commitdiff
|
tree
2020-05-23
Luke Kenneth...
[libre-riscv-dev] daily kan-ban update 23may2020
commit
|
commitdiff
|
tree
2020-05-23
Luke Kenneth...
Re: [libre-riscv-dev] Priority Encoder for Cesar
commit
|
commitdiff
|
tree
2020-05-23
Cesar Strauss
[libre-riscv-dev] Priority Encoder for Cesar
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 recog...
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recog...
commit
|
commitdiff
|
tree
2020-05-23
Luke Kenneth...
Re: [libre-riscv-dev] daily kan-ban update 22may2020
commit
|
commitdiff
|
tree
2020-05-23
Cesar Strauss
Re: [libre-riscv-dev] daily kan-ban update 22may2020
commit
|
commitdiff
|
tree
2020-05-23
Luke Kenneth...
Re: [libre-riscv-dev] daily kan-ban update 22may2020
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
Cesar Strauss
Re: [libre-riscv-dev] daily kan-ban update 22may2020
commit
|
commitdiff
|
tree
2020-05-23
bugzilla-daemon
[libre-riscv-dev] [Bug 313] Create Branch Pipeline...
commit
|
commitdiff
|
tree
2020-05-23
Luke Kenneth...
Re: [libre-riscv-dev] dns entries for talos server...
commit
|
commitdiff
|
tree
2020-05-23
Luke Kenneth...
Re: [libre-riscv-dev] daily kan-ban update 22may2020
commit
|
commitdiff
|
tree
2020-05-23
Cesar Strauss
Re: [libre-riscv-dev] daily kan-ban update 22may2020
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-23
Jacob Lifshay
Re: [libre-riscv-dev] dns entries for talos server...
commit
|
commitdiff
|
tree
2020-05-22
Luke Kenneth...
Re: [libre-riscv-dev] dns entries for talos server...
commit
|
commitdiff
|
tree
2020-05-22
Luke Kenneth...
Re: [libre-riscv-dev] dns entries for talos server...
commit
|
commitdiff
|
tree
2020-05-22
bugzilla-daemon
[libre-riscv-dev] [Bug 324] create POWER9 DIV pipeline
commit
|
commitdiff
|
tree
2020-05-22
Luke Kenneth...
Re: [libre-riscv-dev] dns entries for talos server...
commit
|
commitdiff
|
tree
2020-05-22
Jacob Lifshay
[libre-riscv-dev] dns entries for talos server & server...
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 framewor...
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
Luke Kenneth...
Re: [libre-riscv-dev] daily kan-ban update 22may2020
commit
|
commitdiff
|
tree
2020-05-22
Luke Kenneth...
Re: [libre-riscv-dev] daily kan-ban update 22may2020
commit
|
commitdiff
|
tree
2020-05-22
Jacob Lifshay
Re: [libre-riscv-dev] daily kan-ban update 22may2020
commit
|
commitdiff
|
tree
2020-05-22
Luke Kenneth...
Re: [libre-riscv-dev] daily kan-ban update 22may2020
commit
|
commitdiff
|
tree
2020-05-22
Tobias Platen
Re: [libre-riscv-dev] daily kan-ban update 22may2020
commit
|
commitdiff
|
tree
2020-05-22
Cole Poirier
Re: [libre-riscv-dev] daily kan-ban update 22may2020
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
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 313] Create Branch Pipeline...
commit
|
commitdiff
|
tree
2020-05-22
bugzilla-daemon
[libre-riscv-dev] [Bug 305] Create Pipelined ALU simila...
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 339] create POWER9 ROTATE pipeline
commit
|
commitdiff
|
tree
2020-05-22
bugzilla-daemon
[libre-riscv-dev] [Bug 339] New: create POWER9 ROTATE...
commit
|
commitdiff
|
tree
next