libre-riscv-dev.git
4 years ago[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Fri, 22 May 2020 00:06:51 +0000 (00:06 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO

4 years ago[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Thu, 21 May 2020 22:24:20 +0000 (22:24 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO

4 years ago[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Thu, 21 May 2020 22:16:42 +0000 (22:16 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO

4 years ago[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Thu, 21 May 2020 22:00:45 +0000 (22:00 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO

4 years ago[libre-riscv-dev] openpower meeting starting shortly
Jacob Lifshay [Thu, 21 May 2020 21:58:00 +0000 (14:58 -0700)]
[libre-riscv-dev] openpower meeting starting shortly

4 years ago[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Thu, 21 May 2020 21:42:51 +0000 (21:42 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO

4 years ago[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise that RA (src1) can be...
bugzilla-daemon [Thu, 21 May 2020 21:41:39 +0000 (21:41 +0000)]
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise that RA (src1) can be zero

4 years ago[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Thu, 21 May 2020 21:36:49 +0000 (21:36 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO

4 years ago[libre-riscv-dev] [Bug 307] look at installing a kan-ban board on top of bugzilla
bugzilla-daemon [Thu, 21 May 2020 21:12:56 +0000 (21:12 +0000)]
[libre-riscv-dev] [Bug 307] look at installing a kan-ban board on top of bugzilla

4 years ago[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise that RA (src1) can be...
bugzilla-daemon [Thu, 21 May 2020 21:12:48 +0000 (21:12 +0000)]
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise that RA (src1) can be zero

4 years ago[libre-riscv-dev] [Bug 307] look at installing a kan-ban board on top of bugzilla
bugzilla-daemon [Thu, 21 May 2020 21:01:01 +0000 (21:01 +0000)]
[libre-riscv-dev] [Bug 307] look at installing a kan-ban board on top of bugzilla

4 years ago[libre-riscv-dev] [Bug 337] New: Convention for register outputs in *OutputData struc...
bugzilla-daemon [Thu, 21 May 2020 20:12:36 +0000 (20:12 +0000)]
[libre-riscv-dev] [Bug 337] New: Convention for register outputs in *OutputData structures is to use "Data"

4 years ago[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked...
bugzilla-daemon [Thu, 21 May 2020 19:59:34 +0000 (19:59 +0000)]
[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked up generating ILANG

4 years ago[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked...
bugzilla-daemon [Thu, 21 May 2020 19:50:17 +0000 (19:50 +0000)]
[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked up generating ILANG

4 years ago[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked...
bugzilla-daemon [Thu, 21 May 2020 19:37:41 +0000 (19:37 +0000)]
[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked up generating ILANG

4 years agoRe: [libre-riscv-dev] daily kan-ban update 21may2020
Luke Kenneth Casson Leighton [Thu, 21 May 2020 19:32:04 +0000 (20:32 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 21may2020

4 years ago[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked...
bugzilla-daemon [Thu, 21 May 2020 19:28:09 +0000 (19:28 +0000)]
[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked up generating ILANG

4 years ago[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Thu, 21 May 2020 19:24:29 +0000 (19:24 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO

4 years ago[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked...
bugzilla-daemon [Thu, 21 May 2020 19:23:14 +0000 (19:23 +0000)]
[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked up generating ILANG

4 years ago[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked...
bugzilla-daemon [Thu, 21 May 2020 19:22:24 +0000 (19:22 +0000)]
[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked up generating ILANG

4 years agoRe: [libre-riscv-dev] daily kan-ban update 21may2020
Jacob Lifshay [Thu, 21 May 2020 19:09:56 +0000 (12:09 -0700)]
Re: [libre-riscv-dev] daily kan-ban update 21may2020

4 years ago[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked...
bugzilla-daemon [Thu, 21 May 2020 19:09:49 +0000 (19:09 +0000)]
[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked up generating ILANG

4 years ago[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked...
bugzilla-daemon [Thu, 21 May 2020 19:08:03 +0000 (19:08 +0000)]
[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked up generating ILANG

4 years ago[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Thu, 21 May 2020 19:02:17 +0000 (19:02 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO

4 years ago[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked...
bugzilla-daemon [Thu, 21 May 2020 18:59:36 +0000 (18:59 +0000)]
[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked up generating ILANG

4 years ago[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked...
bugzilla-daemon [Thu, 21 May 2020 18:56:03 +0000 (18:56 +0000)]
[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked up generating ILANG

4 years agoRe: [libre-riscv-dev] daily kan-ban update 21may2020
Luke Kenneth Casson Leighton [Thu, 21 May 2020 18:51:58 +0000 (19:51 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 21may2020

4 years agoRe: [libre-riscv-dev] daily kan-ban update 21may2020
Luke Kenneth Casson Leighton [Thu, 21 May 2020 18:51:01 +0000 (19:51 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 21may2020

4 years ago[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Thu, 21 May 2020 18:44:23 +0000 (18:44 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO

4 years ago[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked...
bugzilla-daemon [Thu, 21 May 2020 18:43:11 +0000 (18:43 +0000)]
[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked up generating ILANG

4 years ago[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Thu, 21 May 2020 18:42:13 +0000 (18:42 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO

4 years ago[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Thu, 21 May 2020 18:40:19 +0000 (18:40 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO

4 years ago[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Thu, 21 May 2020 18:38:35 +0000 (18:38 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO

4 years ago[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked...
bugzilla-daemon [Thu, 21 May 2020 18:35:40 +0000 (18:35 +0000)]
[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked up generating ILANG

4 years ago[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked...
bugzilla-daemon [Thu, 21 May 2020 18:34:36 +0000 (18:34 +0000)]
[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked up generating ILANG

4 years agoRe: [libre-riscv-dev] daily kan-ban update 21may2020
Tobias Platen [Thu, 21 May 2020 18:31:20 +0000 (20:31 +0200)]
Re: [libre-riscv-dev] daily kan-ban update 21may2020

4 years ago[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked...
bugzilla-daemon [Thu, 21 May 2020 18:30:38 +0000 (18:30 +0000)]
[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked up generating ILANG

4 years ago[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Thu, 21 May 2020 18:23:04 +0000 (18:23 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO

4 years agoRe: [libre-riscv-dev] daily kan-ban update 21may2020
Cole Poirier [Thu, 21 May 2020 18:01:32 +0000 (11:01 -0700)]
Re: [libre-riscv-dev] daily kan-ban update 21may2020

4 years ago[libre-riscv-dev] [Bug 318] fix LDSTCompUnit
bugzilla-daemon [Thu, 21 May 2020 17:55:55 +0000 (17:55 +0000)]
[libre-riscv-dev] [Bug 318] fix LDSTCompUnit

4 years ago[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked...
bugzilla-daemon [Thu, 21 May 2020 17:50:25 +0000 (17:50 +0000)]
[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked up generating ILANG

4 years ago[libre-riscv-dev] [Bug 328] move decoder RB exts function into nmutil
bugzilla-daemon [Thu, 21 May 2020 17:48:16 +0000 (17:48 +0000)]
[libre-riscv-dev] [Bug 328] move decoder RB exts function into nmutil

4 years ago[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked...
bugzilla-daemon [Thu, 21 May 2020 17:46:02 +0000 (17:46 +0000)]
[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked up generating ILANG

4 years ago[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked...
bugzilla-daemon [Thu, 21 May 2020 17:39:24 +0000 (17:39 +0000)]
[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked up generating ILANG

4 years ago[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked...
bugzilla-daemon [Thu, 21 May 2020 17:32:37 +0000 (17:32 +0000)]
[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked up generating ILANG

4 years ago[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked...
bugzilla-daemon [Thu, 21 May 2020 17:23:27 +0000 (17:23 +0000)]
[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked up generating ILANG

4 years ago[libre-riscv-dev] [Bug 334] POWER decode A=zero needs to be set as a flag in Execute1Type
bugzilla-daemon [Thu, 21 May 2020 16:48:51 +0000 (16:48 +0000)]
[libre-riscv-dev] [Bug 334] POWER decode A=zero needs to be set as a flag in Execute1Type

4 years ago[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise that RA (src1) can be...
bugzilla-daemon [Thu, 21 May 2020 16:36:19 +0000 (16:36 +0000)]
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise that RA (src1) can be zero

4 years ago[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise that RA (src1) can be...
bugzilla-daemon [Thu, 21 May 2020 16:35:52 +0000 (16:35 +0000)]
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise that RA (src1) can be zero

4 years ago[libre-riscv-dev] [Bug 336] New: add indicator to Decode2ExecuteType that RA is zero
bugzilla-daemon [Thu, 21 May 2020 16:24:42 +0000 (16:24 +0000)]
[libre-riscv-dev] [Bug 336] New: add indicator to Decode2ExecuteType that RA is zero

4 years ago[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked...
bugzilla-daemon [Thu, 21 May 2020 16:02:24 +0000 (16:02 +0000)]
[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked up generating ILANG

4 years agoRe: [libre-riscv-dev] daily kan-ban update 21may2020
Luke Kenneth Casson Leighton [Thu, 21 May 2020 15:35:58 +0000 (16:35 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 21may2020

4 years agoRe: [libre-riscv-dev] daily kan-ban update 21may2020
Michael Nolan [Thu, 21 May 2020 13:52:06 +0000 (09:52 -0400)]
Re: [libre-riscv-dev] daily kan-ban update 21may2020

4 years ago[libre-riscv-dev] daily kan-ban update 21may2020
Luke Kenneth Casson Leighton [Thu, 21 May 2020 13:42:45 +0000 (14:42 +0100)]
[libre-riscv-dev] daily kan-ban update 21may2020

4 years ago[libre-riscv-dev] [Bug 195] Formal correctness framework is needed for Power ISA
bugzilla-daemon [Thu, 21 May 2020 13:05:59 +0000 (13:05 +0000)]
[libre-riscv-dev] [Bug 195] Formal correctness framework is needed for Power ISA

4 years ago[libre-riscv-dev] [Bug 335] Formal Correctness Proof for Branch pipeline
bugzilla-daemon [Thu, 21 May 2020 13:05:46 +0000 (13:05 +0000)]
[libre-riscv-dev] [Bug 335] Formal Correctness Proof for Branch pipeline

4 years ago[libre-riscv-dev] [Bug 335] New: Formal Correctness Proof for Branch pipeline
bugzilla-daemon [Thu, 21 May 2020 13:04:53 +0000 (13:04 +0000)]
[libre-riscv-dev] [Bug 335] New: Formal Correctness Proof for Branch pipeline

4 years ago[libre-riscv-dev] [Bug 195] Formal correctness framework is needed for Power ISA
bugzilla-daemon [Thu, 21 May 2020 13:02:18 +0000 (13:02 +0000)]
[libre-riscv-dev] [Bug 195] Formal correctness framework is needed for Power ISA

4 years ago[libre-riscv-dev] [Bug 332] Formal correctness proof needed for CR pipeline
bugzilla-daemon [Thu, 21 May 2020 13:01:53 +0000 (13:01 +0000)]
[libre-riscv-dev] [Bug 332] Formal correctness proof needed for CR pipeline

4 years ago[libre-riscv-dev] [Bug 331] Formal Correctness Proof for LOGICAL pipeline
bugzilla-daemon [Thu, 21 May 2020 13:01:46 +0000 (13:01 +0000)]
[libre-riscv-dev] [Bug 331] Formal Correctness Proof for LOGICAL pipeline

4 years ago[libre-riscv-dev] [Bug 306] Formal Correctness Proof for ALU pipeline
bugzilla-daemon [Thu, 21 May 2020 13:01:35 +0000 (13:01 +0000)]
[libre-riscv-dev] [Bug 306] Formal Correctness Proof for ALU pipeline

4 years ago[libre-riscv-dev] [Bug 198] Formal correctness proofs are needed for low-level librar...
bugzilla-daemon [Thu, 21 May 2020 13:01:27 +0000 (13:01 +0000)]
[libre-riscv-dev] [Bug 198] Formal correctness proofs are needed for low-level libraries in LibreSOC

4 years ago[libre-riscv-dev] [Bug 318] fix LDSTCompUnit
bugzilla-daemon [Thu, 21 May 2020 12:58:12 +0000 (12:58 +0000)]
[libre-riscv-dev] [Bug 318] fix LDSTCompUnit

4 years ago[libre-riscv-dev] [Bug 318] fix LDSTCompUnit
bugzilla-daemon [Thu, 21 May 2020 12:05:32 +0000 (12:05 +0000)]
[libre-riscv-dev] [Bug 318] fix LDSTCompUnit

4 years ago[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py
bugzilla-daemon [Thu, 21 May 2020 10:31:40 +0000 (10:31 +0000)]
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py

4 years ago[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked...
bugzilla-daemon [Thu, 21 May 2020 02:05:38 +0000 (02:05 +0000)]
[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked up generating ILANG

4 years ago[libre-riscv-dev] [Bug 334] New: POWER decode A=zero needs to be set as a flag in...
bugzilla-daemon [Thu, 21 May 2020 01:57:16 +0000 (01:57 +0000)]
[libre-riscv-dev] [Bug 334] New: POWER decode A=zero needs to be set as a flag in Execute1Type

4 years ago[libre-riscv-dev] [Bug 330] create POWER9 Logic Pipeline
bugzilla-daemon [Thu, 21 May 2020 00:57:26 +0000 (00:57 +0000)]
[libre-riscv-dev] [Bug 330] create POWER9 Logic Pipeline

4 years ago[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Thu, 21 May 2020 00:25:10 +0000 (00:25 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO

4 years ago[libre-riscv-dev] [Bug 332] Formal correctness proof needed for CR pipeline
bugzilla-daemon [Thu, 21 May 2020 00:19:36 +0000 (00:19 +0000)]
[libre-riscv-dev] [Bug 332] Formal correctness proof needed for CR pipeline

4 years ago[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Wed, 20 May 2020 22:20:28 +0000 (22:20 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO

4 years ago[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Wed, 20 May 2020 22:18:49 +0000 (22:18 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO

4 years ago[libre-riscv-dev] [Bug 304] Define minimum viable interface set for 180nm ASIC
bugzilla-daemon [Wed, 20 May 2020 22:14:26 +0000 (22:14 +0000)]
[libre-riscv-dev] [Bug 304] Define minimum viable interface set for 180nm ASIC

4 years ago[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Wed, 20 May 2020 19:53:39 +0000 (19:53 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO

4 years ago[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py
bugzilla-daemon [Wed, 20 May 2020 19:28:39 +0000 (19:28 +0000)]
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py

4 years ago[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked...
bugzilla-daemon [Wed, 20 May 2020 19:46:21 +0000 (19:46 +0000)]
[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked up generating ILANG

4 years agoRe: [libre-riscv-dev] daily kan-ban update 20may2020
Luke Kenneth Casson Leighton [Wed, 20 May 2020 19:44:03 +0000 (20:44 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 20may2020

4 years ago[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked...
bugzilla-daemon [Wed, 20 May 2020 19:42:50 +0000 (19:42 +0000)]
[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked up generating ILANG

4 years ago[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Wed, 20 May 2020 19:42:27 +0000 (19:42 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO

4 years ago[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked...
bugzilla-daemon [Wed, 20 May 2020 19:39:19 +0000 (19:39 +0000)]
[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked up generating ILANG

4 years agoRe: [libre-riscv-dev] daily kan-ban update 20may2020
Cole Poirier [Wed, 20 May 2020 19:34:26 +0000 (12:34 -0700)]
Re: [libre-riscv-dev] daily kan-ban update 20may2020

4 years ago[libre-riscv-dev] [Bug 332] Formal correctness proof needed for CR pipeline
bugzilla-daemon [Wed, 20 May 2020 19:28:39 +0000 (19:28 +0000)]
[libre-riscv-dev] [Bug 332] Formal correctness proof needed for CR pipeline

4 years ago[libre-riscv-dev] [Bug 198] Formal correctness proofs are needed for low-level librar...
bugzilla-daemon [Wed, 20 May 2020 19:27:55 +0000 (19:27 +0000)]
[libre-riscv-dev] [Bug 198] Formal correctness proofs are needed for low-level libraries in LibreSOC

4 years ago[libre-riscv-dev] [Bug 332] Formal correctness proof needed for CR pipeline
bugzilla-daemon [Wed, 20 May 2020 19:27:37 +0000 (19:27 +0000)]
[libre-riscv-dev] [Bug 332] Formal correctness proof needed for CR pipeline

4 years ago[libre-riscv-dev] [Bug 332] Formal correctness proof needed for CR pipeline
bugzilla-daemon [Wed, 20 May 2020 19:27:30 +0000 (19:27 +0000)]
[libre-riscv-dev] [Bug 332] Formal correctness proof needed for CR pipeline

4 years ago[libre-riscv-dev] [Bug 332] Formal correctness proof needed for CR pipeline
bugzilla-daemon [Wed, 20 May 2020 19:27:15 +0000 (19:27 +0000)]
[libre-riscv-dev] [Bug 332] Formal correctness proof needed for CR pipeline

4 years ago[libre-riscv-dev] [Bug 332] Formal correctness proof needed for CR pipeline
bugzilla-daemon [Wed, 20 May 2020 19:26:45 +0000 (19:26 +0000)]
[libre-riscv-dev] [Bug 332] Formal correctness proof needed for CR pipeline

4 years agoRe: [libre-riscv-dev] monorepo
Luke Kenneth Casson Leighton [Wed, 20 May 2020 19:17:27 +0000 (20:17 +0100)]
Re: [libre-riscv-dev] monorepo

4 years agoRe: [libre-riscv-dev] monorepo
Luke Kenneth Casson Leighton [Wed, 20 May 2020 19:08:52 +0000 (20:08 +0100)]
Re: [libre-riscv-dev] monorepo

4 years ago[libre-riscv-dev] [Bug 319] POWER9 setting carry (and other) XER flags
bugzilla-daemon [Wed, 20 May 2020 18:59:40 +0000 (18:59 +0000)]
[libre-riscv-dev] [Bug 319] POWER9 setting carry (and other) XER flags

4 years ago[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked...
bugzilla-daemon [Wed, 20 May 2020 18:59:40 +0000 (18:59 +0000)]
[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked up generating ILANG

4 years ago[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked...
bugzilla-daemon [Wed, 20 May 2020 18:59:26 +0000 (18:59 +0000)]
[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked up generating ILANG

4 years ago[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked...
bugzilla-daemon [Wed, 20 May 2020 18:52:28 +0000 (18:52 +0000)]
[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked up generating ILANG

4 years ago[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Wed, 20 May 2020 18:46:33 +0000 (18:46 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO

4 years ago[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked...
bugzilla-daemon [Wed, 20 May 2020 18:45:48 +0000 (18:45 +0000)]
[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked up generating ILANG

4 years ago[libre-riscv-dev] monorepo
Jacob Lifshay [Wed, 20 May 2020 18:43:32 +0000 (11:43 -0700)]
[libre-riscv-dev] monorepo

4 years ago[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked...
bugzilla-daemon [Wed, 20 May 2020 18:37:56 +0000 (18:37 +0000)]
[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked up generating ILANG

4 years ago[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked...
bugzilla-daemon [Wed, 20 May 2020 18:16:31 +0000 (18:16 +0000)]
[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked up generating ILANG

4 years ago[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Wed, 20 May 2020 18:13:03 +0000 (18:13 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO

4 years ago[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Wed, 20 May 2020 18:07:50 +0000 (18:07 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO