libre-riscv-dev.git
4 years ago[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileAr...
bugzilla-daemon [Sun, 31 May 2020 18:20:13 +0000 (18:20 +0000)]
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileArray needed

4 years ago[libre-riscv-dev] [Bug 359] New: cut down on wires between decode and function units
bugzilla-daemon [Sun, 31 May 2020 17:46:17 +0000 (17:46 +0000)]
[libre-riscv-dev] [Bug 359] New: cut down on wires between decode and function units

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

4 years agoRe: [libre-riscv-dev] daily kan-ban update 31may2020
Luke Kenneth Casson Leighton [Sun, 31 May 2020 15:13:32 +0000 (16:13 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 31may2020

4 years ago[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileAr...
bugzilla-daemon [Sun, 31 May 2020 14:12:40 +0000 (14:12 +0000)]
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileArray needed

4 years ago[libre-riscv-dev] daily kan-ban update 31may2020
Luke Kenneth Casson Leighton [Sun, 31 May 2020 13:38:56 +0000 (14:38 +0100)]
[libre-riscv-dev] daily kan-ban update 31may2020

4 years ago[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileAr...
bugzilla-daemon [Sat, 30 May 2020 22:38:42 +0000 (22:38 +0000)]
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileArray needed

4 years ago[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileAr...
bugzilla-daemon [Sat, 30 May 2020 22:13:17 +0000 (22:13 +0000)]
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileArray needed

4 years agoRe: [libre-riscv-dev] daily kan-ban update 30may2020
Cole Poirier [Sat, 30 May 2020 22:06:24 +0000 (15:06 -0700)]
Re: [libre-riscv-dev] daily kan-ban update 30may2020

4 years agoRe: [libre-riscv-dev] daily kan-ban update 30may2020
Luke Kenneth Casson Leighton [Sat, 30 May 2020 22:02:40 +0000 (23:02 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 30may2020

4 years ago[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileAr...
bugzilla-daemon [Sat, 30 May 2020 22:03:13 +0000 (22:03 +0000)]
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileArray needed

4 years ago[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileAr...
bugzilla-daemon [Sat, 30 May 2020 21:41:08 +0000 (21:41 +0000)]
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileArray needed

4 years agoRe: [libre-riscv-dev] daily kan-ban update 30may2020
Cole Poirier [Sat, 30 May 2020 21:40:28 +0000 (14:40 -0700)]
Re: [libre-riscv-dev] daily kan-ban update 30may2020

4 years agoRe: [libre-riscv-dev] Request for Scoreboard and Functional Units Update
Cole Poirier [Sat, 30 May 2020 21:34:04 +0000 (14:34 -0700)]
Re: [libre-riscv-dev] Request for Scoreboard and Functional Units Update

4 years ago[libre-riscv-dev] [Bug 358] new MCU-ALU test picked up RC / OE / CR handling issue
bugzilla-daemon [Sat, 30 May 2020 21:22:51 +0000 (21:22 +0000)]
[libre-riscv-dev] [Bug 358] new MCU-ALU test picked up RC / OE / CR handling issue

4 years ago[libre-riscv-dev] [Bug 358] new MCU-ALU test picked up RC / OE / CR handling issue
bugzilla-daemon [Sat, 30 May 2020 20:39:40 +0000 (20:39 +0000)]
[libre-riscv-dev] [Bug 358] new MCU-ALU test picked up RC / OE / CR handling issue

4 years ago[libre-riscv-dev] [Bug 358] new MCU-ALU test picked up RC / OE / CR handling issue
bugzilla-daemon [Sat, 30 May 2020 19:48:10 +0000 (19:48 +0000)]
[libre-riscv-dev] [Bug 358] new MCU-ALU test picked up RC / OE / CR handling issue

4 years ago[libre-riscv-dev] [Bug 358] New: new MCU-ALU test picked up RC / OE / CR handling...
bugzilla-daemon [Sat, 30 May 2020 19:47:48 +0000 (19:47 +0000)]
[libre-riscv-dev] [Bug 358] New: new MCU-ALU test picked up RC / OE / CR handling issue

4 years ago[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed
bugzilla-daemon [Sat, 30 May 2020 19:40:17 +0000 (19:40 +0000)]
[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed

4 years agoRe: [libre-riscv-dev] MultiCompUnit- ALU interaction. was: daily kan-ban update 30may2020
Luke Kenneth Casson Leighton [Sat, 30 May 2020 19:05:32 +0000 (20:05 +0100)]
Re: [libre-riscv-dev] MultiCompUnit- ALU interaction. was: daily kan-ban update 30may2020

4 years agoRe: [libre-riscv-dev] MultiCompUnit- ALU interaction. was: daily kan-ban update 30may2020
Luke Kenneth Casson Leighton [Sat, 30 May 2020 18:06:56 +0000 (19:06 +0100)]
Re: [libre-riscv-dev] MultiCompUnit- ALU interaction. was: daily kan-ban update 30may2020

4 years agoRe: [libre-riscv-dev] MultiCompUnit- ALU interaction. was: daily kan-ban update 30may2020
Yehowshua [Sat, 30 May 2020 17:50:29 +0000 (13:50 -0400)]
Re: [libre-riscv-dev] MultiCompUnit- ALU interaction. was: daily kan-ban update 30may2020

4 years ago[libre-riscv-dev] MultiCompUnit- ALU interaction. was: daily kan-ban update 30may2020
Luke Kenneth Casson Leighton [Sat, 30 May 2020 17:40:01 +0000 (18:40 +0100)]
[libre-riscv-dev] MultiCompUnit- ALU interaction. was: daily kan-ban update 30may2020

4 years agoRe: [libre-riscv-dev] Request for Scoreboard and Functional Units Update
Luke Kenneth Casson Leighton [Sat, 30 May 2020 17:31:25 +0000 (18:31 +0100)]
Re: [libre-riscv-dev] Request for Scoreboard and Functional Units Update

4 years agoRe: [libre-riscv-dev] Request for Scoreboard and Functional Units Update
Yehowshua [Sat, 30 May 2020 17:08:31 +0000 (13:08 -0400)]
Re: [libre-riscv-dev] Request for Scoreboard and Functional Units Update

4 years agoRe: [libre-riscv-dev] Request for Scoreboard and Functional Units Update
Luke Kenneth Casson Leighton [Sat, 30 May 2020 16:26:58 +0000 (17:26 +0100)]
Re: [libre-riscv-dev] Request for Scoreboard and Functional Units Update

4 years ago[libre-riscv-dev] Request for Scoreboard and Functional Units Update
Yehowshua [Sat, 30 May 2020 14:58:55 +0000 (10:58 -0400)]
[libre-riscv-dev] Request for Scoreboard and Functional Units Update

4 years agoRe: [libre-riscv-dev] daily kan-ban update 30may2020
Luke Kenneth Casson Leighton [Sat, 30 May 2020 13:28:59 +0000 (14:28 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 30may2020

4 years ago[libre-riscv-dev] daily kan-ban update 30may2020
Luke Kenneth Casson Leighton [Sat, 30 May 2020 11:34:38 +0000 (12:34 +0100)]
[libre-riscv-dev] daily kan-ban update 30may2020

4 years ago[libre-riscv-dev] EU residency / businesses
Luke Kenneth Casson Leighton [Sat, 30 May 2020 09:58:31 +0000 (10:58 +0100)]
[libre-riscv-dev] EU residency / businesses

4 years agoRe: [libre-riscv-dev] daily kan-ban update 29may2020
Luke Kenneth Casson Leighton [Fri, 29 May 2020 23:58:40 +0000 (00:58 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 29may2020

4 years agoRe: [libre-riscv-dev] daily kan-ban update 29may2020
Luke Kenneth Casson Leighton [Fri, 29 May 2020 23:55:04 +0000 (00:55 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 29may2020

4 years agoRe: [libre-riscv-dev] daily kan-ban update 29may2020
Jacob Lifshay [Fri, 29 May 2020 23:19:50 +0000 (16:19 -0700)]
Re: [libre-riscv-dev] daily kan-ban update 29may2020

4 years agoRe: [libre-riscv-dev] daily kan-ban update 29may2020
Luke Kenneth Casson Leighton [Fri, 29 May 2020 17:27:46 +0000 (18:27 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 29may2020

4 years agoRe: [libre-riscv-dev] daily kan-ban update 29may2020
Cesar Strauss [Fri, 29 May 2020 16:51:55 +0000 (13:51 -0300)]
Re: [libre-riscv-dev] daily kan-ban update 29may2020

4 years ago[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed
bugzilla-daemon [Fri, 29 May 2020 16:17:37 +0000 (16:17 +0000)]
[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed

4 years agoRe: [libre-riscv-dev] daily kan-ban update 29may2020
Yehowshua [Fri, 29 May 2020 14:21:02 +0000 (10:21 -0400)]
Re: [libre-riscv-dev] daily kan-ban update 29may2020

4 years ago[libre-riscv-dev] [Bug 263] LD/ST batching needed
bugzilla-daemon [Fri, 29 May 2020 13:56:59 +0000 (13:56 +0000)]
[libre-riscv-dev] [Bug 263] LD/ST batching needed

4 years agoRe: [libre-riscv-dev] daily kan-ban update 29may2020
Luke Kenneth Casson Leighton [Fri, 29 May 2020 14:14:45 +0000 (15:14 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 29may2020

4 years ago[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed
bugzilla-daemon [Fri, 29 May 2020 13:56:59 +0000 (13:56 +0000)]
[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed

4 years agoRe: [libre-riscv-dev] daily kan-ban update 29may2020
Yehowshua [Fri, 29 May 2020 13:51:16 +0000 (09:51 -0400)]
Re: [libre-riscv-dev] daily kan-ban update 29may2020

4 years ago[libre-riscv-dev] [Bug 357] New: create simplified (testing) version of Function...
bugzilla-daemon [Fri, 29 May 2020 13:49:04 +0000 (13:49 +0000)]
[libre-riscv-dev] [Bug 357] New: create simplified (testing) version of Function Unit pipeline for test purposes

4 years ago[libre-riscv-dev] [Bug 310] Function Units to cover multiple tasks
bugzilla-daemon [Fri, 29 May 2020 13:42:00 +0000 (13:42 +0000)]
[libre-riscv-dev] [Bug 310] Function Units to cover multiple tasks

4 years ago[libre-riscv-dev] daily kan-ban update 29may2020
Luke Kenneth Casson Leighton [Fri, 29 May 2020 12:04:33 +0000 (13:04 +0100)]
[libre-riscv-dev] daily kan-ban update 29may2020

4 years agoRe: [libre-riscv-dev] Debug port (was Re: minimum viable ASIC)
Luke Kenneth Casson Leighton [Fri, 29 May 2020 10:30:49 +0000 (11:30 +0100)]
Re: [libre-riscv-dev] Debug port (was Re: minimum viable ASIC)

4 years agoRe: [libre-riscv-dev] Rough Architectural Sketch
Luke Kenneth Casson Leighton [Fri, 29 May 2020 02:45:50 +0000 (03:45 +0100)]
Re: [libre-riscv-dev] Rough Architectural Sketch

4 years ago[libre-riscv-dev] Rough Architectural Sketch
Yehowshua [Fri, 29 May 2020 01:58:59 +0000 (21:58 -0400)]
[libre-riscv-dev] Rough Architectural Sketch

4 years ago[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileAr...
bugzilla-daemon [Thu, 28 May 2020 23:57:33 +0000 (23:57 +0000)]
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileArray needed

4 years agoRe: [libre-riscv-dev] daily kan-ban update 28may2020
Cole Poirier [Thu, 28 May 2020 23:53:01 +0000 (16:53 -0700)]
Re: [libre-riscv-dev] daily kan-ban update 28may2020

4 years agoRe: [libre-riscv-dev] daily kan-ban update 28may2020
Luke Kenneth Casson Leighton [Thu, 28 May 2020 23:47:37 +0000 (00:47 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 28may2020

4 years ago[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileAr...
bugzilla-daemon [Thu, 28 May 2020 23:41:42 +0000 (23:41 +0000)]
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileArray needed

4 years agoRe: [libre-riscv-dev] daily kan-ban update 28may2020
Cole Poirier [Thu, 28 May 2020 23:32:17 +0000 (16:32 -0700)]
Re: [libre-riscv-dev] daily kan-ban update 28may2020

4 years ago[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileAr...
bugzilla-daemon [Thu, 28 May 2020 23:18:18 +0000 (23:18 +0000)]
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileArray needed

4 years agoRe: [libre-riscv-dev] daily kan-ban update 28may2020
Alain D D Williams [Thu, 28 May 2020 23:15:49 +0000 (00:15 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 28may2020

4 years agoRe: [libre-riscv-dev] daily kan-ban update 28may2020
Luke Kenneth Casson Leighton [Thu, 28 May 2020 23:13:02 +0000 (00:13 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 28may2020

4 years agoRe: [libre-riscv-dev] daily kan-ban update 28may2020
Yehowshua [Thu, 28 May 2020 23:09:33 +0000 (19:09 -0400)]
Re: [libre-riscv-dev] daily kan-ban update 28may2020

4 years agoRe: [libre-riscv-dev] daily kan-ban update 28may2020
Luke Kenneth Casson Leighton [Thu, 28 May 2020 23:06:04 +0000 (00:06 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 28may2020

4 years agoRe: [libre-riscv-dev] daily kan-ban update 28may2020
Alain D D Williams [Thu, 28 May 2020 23:02:43 +0000 (00:02 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 28may2020

4 years agoRe: [libre-riscv-dev] openpower virtual coffee call 28may2020, 90 minutes time
Luke Kenneth Casson Leighton [Thu, 28 May 2020 21:59:46 +0000 (22:59 +0100)]
Re: [libre-riscv-dev] openpower virtual coffee call 28may2020, 90 minutes time

4 years agoRe: [libre-riscv-dev] openpower virtual coffee call 28may2020, 90 minutes time
Alain D D Williams [Thu, 28 May 2020 21:51:05 +0000 (22:51 +0100)]
Re: [libre-riscv-dev] openpower virtual coffee call 28may2020, 90 minutes time

4 years agoRe: [libre-riscv-dev] openpower virtual coffee call 28may2020, 90 minutes time
Luke Kenneth Casson Leighton [Thu, 28 May 2020 21:04:29 +0000 (22:04 +0100)]
Re: [libre-riscv-dev] openpower virtual coffee call 28may2020, 90 minutes time

4 years agoRe: [libre-riscv-dev] daily kan-ban update 28may2020
Jacob Lifshay [Thu, 28 May 2020 20:51:34 +0000 (13:51 -0700)]
Re: [libre-riscv-dev] daily kan-ban update 28may2020

4 years agoRe: [libre-riscv-dev] openpower virtual coffee call 28may2020, 90 minutes time
Yehowshua [Thu, 28 May 2020 20:37:25 +0000 (16:37 -0400)]
Re: [libre-riscv-dev] openpower virtual coffee call 28may2020, 90 minutes time

4 years agoRe: [libre-riscv-dev] openpower virtual coffee call 28may2020, 90 minutes time
Luke Kenneth Casson Leighton [Thu, 28 May 2020 20:35:53 +0000 (21:35 +0100)]
Re: [libre-riscv-dev] openpower virtual coffee call 28may2020, 90 minutes time

4 years agoRe: [libre-riscv-dev] openpower virtual coffee call 28may2020, 90 minutes time
Alain D D Williams [Thu, 28 May 2020 20:35:34 +0000 (21:35 +0100)]
Re: [libre-riscv-dev] openpower virtual coffee call 28may2020, 90 minutes time

4 years ago[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed
bugzilla-daemon [Thu, 28 May 2020 20:34:10 +0000 (20:34 +0000)]
[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed

4 years agoRe: [libre-riscv-dev] openpower virtual coffee call 28may2020, 90 minutes time
Yehowshua [Thu, 28 May 2020 20:32:24 +0000 (16:32 -0400)]
Re: [libre-riscv-dev] openpower virtual coffee call 28may2020, 90 minutes time

4 years ago[libre-riscv-dev] openpower virtual coffee call 28may2020, 90 minutes time
Luke Kenneth Casson Leighton [Thu, 28 May 2020 20:28:52 +0000 (21:28 +0100)]
[libre-riscv-dev] openpower virtual coffee call 28may2020, 90 minutes time

4 years ago[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileAr...
bugzilla-daemon [Thu, 28 May 2020 20:27:22 +0000 (20:27 +0000)]
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileArray needed

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

4 years ago[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileAr...
bugzilla-daemon [Thu, 28 May 2020 20:00:00 +0000 (20:00 +0000)]
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileArray needed

4 years ago[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileAr...
bugzilla-daemon [Thu, 28 May 2020 19:50:04 +0000 (19:50 +0000)]
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileArray needed

4 years ago[libre-riscv-dev] daily kan-ban update 28may2020
Cole Poirier [Thu, 28 May 2020 19:33:16 +0000 (12:33 -0700)]
[libre-riscv-dev] daily kan-ban update 28may2020

4 years ago[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileAr...
bugzilla-daemon [Thu, 28 May 2020 16:41:48 +0000 (16:41 +0000)]
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileArray needed

4 years ago[libre-riscv-dev] [Bug 348] POWER9 SPR pipeline needed
bugzilla-daemon [Thu, 28 May 2020 16:20:15 +0000 (16:20 +0000)]
[libre-riscv-dev] [Bug 348] POWER9 SPR pipeline needed

4 years ago[libre-riscv-dev] [Bug 331] Formal Correctness Proof for LOGICAL pipeline
bugzilla-daemon [Thu, 28 May 2020 15:41:52 +0000 (15:41 +0000)]
[libre-riscv-dev] [Bug 331] Formal Correctness Proof for LOGICAL pipeline

4 years ago[libre-riscv-dev] [Bug 347] add setb (to CR pipeline?)
bugzilla-daemon [Thu, 28 May 2020 15:39:06 +0000 (15:39 +0000)]
[libre-riscv-dev] [Bug 347] add setb (to CR pipeline?)

4 years ago[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileAr...
bugzilla-daemon [Thu, 28 May 2020 14:18:37 +0000 (14:18 +0000)]
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileArray needed

4 years ago[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed
bugzilla-daemon [Thu, 28 May 2020 13:26:22 +0000 (13:26 +0000)]
[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed

4 years ago[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed
bugzilla-daemon [Thu, 28 May 2020 13:07:30 +0000 (13:07 +0000)]
[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed

4 years ago[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed
bugzilla-daemon [Thu, 28 May 2020 12:38:44 +0000 (12:38 +0000)]
[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed

4 years ago[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed
bugzilla-daemon [Thu, 28 May 2020 12:35:44 +0000 (12:35 +0000)]
[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed

4 years ago[libre-riscv-dev] Fwd: power-gem5
lkcl . [Thu, 28 May 2020 12:02:00 +0000 (13:02 +0100)]
[libre-riscv-dev] Fwd: power-gem5

4 years ago[libre-riscv-dev] [Bug 350] LDSTCompUnit also needs to support zeroing on RA
bugzilla-daemon [Thu, 28 May 2020 10:44:25 +0000 (10:44 +0000)]
[libre-riscv-dev] [Bug 350] LDSTCompUnit also needs to support zeroing on RA

4 years ago[libre-riscv-dev] [Bug 334] POWER decode A=zero needs to be set as a flag in Execute1Type
bugzilla-daemon [Thu, 28 May 2020 10:44:25 +0000 (10:44 +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, 28 May 2020 10:44:25 +0000 (10:44 +0000)]
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise that RA (src1) can be zero

4 years ago[libre-riscv-dev] [Bug 356] fu POWER9 pipeline unit tests need to test RA=0
bugzilla-daemon [Thu, 28 May 2020 10:44:25 +0000 (10:44 +0000)]
[libre-riscv-dev] [Bug 356] fu POWER9 pipeline unit tests need to test RA=0

4 years ago[libre-riscv-dev] [Bug 356] New: fu POWER9 pipeline unit tests need to test RA=0
bugzilla-daemon [Thu, 28 May 2020 10:43:29 +0000 (10:43 +0000)]
[libre-riscv-dev] [Bug 356] New: fu POWER9 pipeline unit tests need to test RA=0

4 years ago[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileAr...
bugzilla-daemon [Thu, 28 May 2020 10:18:30 +0000 (10:18 +0000)]
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileArray needed

4 years ago[libre-riscv-dev] [Bug 324] create POWER9 DIV pipeline
bugzilla-daemon [Thu, 28 May 2020 10:03:53 +0000 (10:03 +0000)]
[libre-riscv-dev] [Bug 324] create POWER9 DIV pipeline

4 years ago[libre-riscv-dev] [Bug 324] create POWER9 DIV pipeline
bugzilla-daemon [Thu, 28 May 2020 06:51:35 +0000 (06:51 +0000)]
[libre-riscv-dev] [Bug 324] create POWER9 DIV pipeline

4 years ago[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileAr...
bugzilla-daemon [Thu, 28 May 2020 02:59:21 +0000 (02:59 +0000)]
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileArray needed

4 years ago[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileAr...
bugzilla-daemon [Thu, 28 May 2020 01:50:21 +0000 (01:50 +0000)]
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileArray needed

4 years ago[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileAr...
bugzilla-daemon [Thu, 28 May 2020 01:33:08 +0000 (01:33 +0000)]
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileArray needed

4 years ago[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileAr...
bugzilla-daemon [Thu, 28 May 2020 01:18:42 +0000 (01:18 +0000)]
[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileArray needed

4 years ago[libre-riscv-dev] [Bug 323] create POWER9 MUL pipeline
bugzilla-daemon [Wed, 27 May 2020 22:21:25 +0000 (22:21 +0000)]
[libre-riscv-dev] [Bug 323] create POWER9 MUL pipeline

4 years agoRe: [libre-riscv-dev] Power ISA v3.1 bug - parityw
Luke Kenneth Casson Leighton [Wed, 27 May 2020 22:09:31 +0000 (23:09 +0100)]
Re: [libre-riscv-dev] Power ISA v3.1 bug - parityw

4 years agoRe: [libre-riscv-dev] [OpenPOWER-HDL-Cores] Power ISA v3.1 bug - parityw
Paul Mackerras [Wed, 27 May 2020 21:49:19 +0000 (07:49 +1000)]
Re: [libre-riscv-dev] [OpenPOWER-HDL-Cores] Power ISA v3.1 bug - parityw

4 years ago[libre-riscv-dev] [Bug 355] game theory "state" packet engine needed
bugzilla-daemon [Wed, 27 May 2020 21:42:32 +0000 (21:42 +0000)]
[libre-riscv-dev] [Bug 355] game theory "state" packet engine needed

4 years ago[libre-riscv-dev] [Bug 355] New: game theory "state" packet engine needed
bugzilla-daemon [Wed, 27 May 2020 21:04:35 +0000 (21:04 +0000)]
[libre-riscv-dev] [Bug 355] New: game theory "state" packet engine needed