bugzilla-daemon [Fri, 22 May 2020 20:28:41 +0000 (20:28 +0000)]
[libre-riscv-dev] [Bug 340] New: formal proof of POWER9 SHIFTROT pipeline needed
Luke Kenneth Casson Leighton [Fri, 22 May 2020 20:12:25 +0000 (21:12 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 22may2020
Luke Kenneth Casson Leighton [Fri, 22 May 2020 20:04:57 +0000 (21:04 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 22may2020
Jacob Lifshay [Fri, 22 May 2020 19:59:44 +0000 (12:59 -0700)]
Re: [libre-riscv-dev] daily kan-ban update 22may2020
Luke Kenneth Casson Leighton [Fri, 22 May 2020 19:33:30 +0000 (20:33 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 22may2020
Tobias Platen [Fri, 22 May 2020 19:18:59 +0000 (21:18 +0200)]
Re: [libre-riscv-dev] daily kan-ban update 22may2020
Cole Poirier [Fri, 22 May 2020 19:10:11 +0000 (12:10 -0700)]
Re: [libre-riscv-dev] daily kan-ban update 22may2020
bugzilla-daemon [Fri, 22 May 2020 19:07:24 +0000 (19:07 +0000)]
[libre-riscv-dev] [Bug 339] create POWER9 ROTATE pipeline
bugzilla-daemon [Fri, 22 May 2020 19:00:21 +0000 (19:00 +0000)]
[libre-riscv-dev] [Bug 335] Formal Correctness Proof for Branch pipeline
bugzilla-daemon [Fri, 22 May 2020 18:50:55 +0000 (18:50 +0000)]
[libre-riscv-dev] [Bug 335] Formal Correctness Proof for Branch pipeline
bugzilla-daemon [Fri, 22 May 2020 18:50:26 +0000 (18:50 +0000)]
[libre-riscv-dev] [Bug 335] Formal Correctness Proof for Branch pipeline
bugzilla-daemon [Fri, 22 May 2020 18:49:16 +0000 (18:49 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Fri, 22 May 2020 18:47:39 +0000 (18:47 +0000)]
[libre-riscv-dev] [Bug 335] Formal Correctness Proof for Branch pipeline
bugzilla-daemon [Fri, 22 May 2020 18:42:36 +0000 (18:42 +0000)]
[libre-riscv-dev] [Bug 335] Formal Correctness Proof for Branch pipeline
bugzilla-daemon [Fri, 22 May 2020 18:38:07 +0000 (18:38 +0000)]
[libre-riscv-dev] [Bug 330] create POWER9 Logic Pipeline
bugzilla-daemon [Fri, 22 May 2020 18:35:18 +0000 (18:35 +0000)]
[libre-riscv-dev] [Bug 335] Formal Correctness Proof for Branch pipeline
bugzilla-daemon [Fri, 22 May 2020 18:30:50 +0000 (18:30 +0000)]
[libre-riscv-dev] [Bug 330] create POWER9 Logic Pipeline
bugzilla-daemon [Fri, 22 May 2020 18:29:56 +0000 (18:29 +0000)]
[libre-riscv-dev] [Bug 335] Formal Correctness Proof for Branch pipeline
bugzilla-daemon [Fri, 22 May 2020 18:24:55 +0000 (18:24 +0000)]
[libre-riscv-dev] [Bug 335] Formal Correctness Proof for Branch pipeline
bugzilla-daemon [Fri, 22 May 2020 18:21:34 +0000 (18:21 +0000)]
[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
bugzilla-daemon [Fri, 22 May 2020 17:27:46 +0000 (17:27 +0000)]
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py
bugzilla-daemon [Fri, 22 May 2020 17:41:11 +0000 (17:41 +0000)]
[libre-riscv-dev] [Bug 339] create POWER9 ROTATE pipeline
bugzilla-daemon [Fri, 22 May 2020 17:27:46 +0000 (17:27 +0000)]
[libre-riscv-dev] [Bug 339] create POWER9 ROTATE pipeline
bugzilla-daemon [Fri, 22 May 2020 17:27:32 +0000 (17:27 +0000)]
[libre-riscv-dev] [Bug 339] New: create POWER9 ROTATE pipeline
bugzilla-daemon [Fri, 22 May 2020 17:17:57 +0000 (17:17 +0000)]
[libre-riscv-dev] [Bug 330] create POWER9 Logic Pipeline
bugzilla-daemon [Fri, 22 May 2020 16:17:27 +0000 (16:17 +0000)]
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py
bugzilla-daemon [Fri, 22 May 2020 16:17:27 +0000 (16:17 +0000)]
[libre-riscv-dev] [Bug 338] CompUnitALU needs go_die to be wired to ALU shadow mask
bugzilla-daemon [Fri, 22 May 2020 16:16:20 +0000 (16:16 +0000)]
[libre-riscv-dev] [Bug 338] New: CompUnitALU needs go_die to be wired to ALU shadow mask
Luke Kenneth Casson Leighton [Fri, 22 May 2020 15:39:02 +0000 (16:39 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 22may2020
Michael Nolan [Fri, 22 May 2020 15:19:59 +0000 (11:19 -0400)]
Re: [libre-riscv-dev] daily kan-ban update 22may2020
Luke Kenneth Casson Leighton [Fri, 22 May 2020 15:02:25 +0000 (16:02 +0100)]
[libre-riscv-dev] daily kan-ban update 22may2020
bugzilla-daemon [Fri, 22 May 2020 14:51:46 +0000 (14:51 +0000)]
[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
bugzilla-daemon [Fri, 22 May 2020 14:33:48 +0000 (14:33 +0000)]
[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
bugzilla-daemon [Fri, 22 May 2020 14:11:56 +0000 (14:11 +0000)]
[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
bugzilla-daemon [Fri, 22 May 2020 13:53:57 +0000 (13:53 +0000)]
[libre-riscv-dev] [Bug 329] coriolis2 experiment layout for Dependency Matrices
bugzilla-daemon [Fri, 22 May 2020 13:49:14 +0000 (13:49 +0000)]
[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked up generating ILANG
bugzilla-daemon [Fri, 22 May 2020 13:46:22 +0000 (13:46 +0000)]
[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
bugzilla-daemon [Fri, 22 May 2020 13:36:07 +0000 (13:36 +0000)]
[libre-riscv-dev] [Bug 333] investigate why CR pipeline code took 100% CPU and locked up generating ILANG
bugzilla-daemon [Fri, 22 May 2020 13:35:08 +0000 (13:35 +0000)]
[libre-riscv-dev] [Bug 329] coriolis2 experiment layout for Dependency Matrices
bugzilla-daemon [Fri, 22 May 2020 13:10:31 +0000 (13:10 +0000)]
[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
bugzilla-daemon [Fri, 22 May 2020 11:13:06 +0000 (11:13 +0000)]
[libre-riscv-dev] [Bug 329] coriolis2 experiment layout for Dependency Matrices
bugzilla-daemon [Fri, 22 May 2020 08:44:57 +0000 (08:44 +0000)]
[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
bugzilla-daemon [Fri, 22 May 2020 02:39:44 +0000 (02:39 +0000)]
[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
bugzilla-daemon [Fri, 22 May 2020 01:20:00 +0000 (01:20 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Fri, 22 May 2020 01:11:00 +0000 (01:11 +0000)]
[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise that RA (src1) can be zero
bugzilla-daemon [Fri, 22 May 2020 00:06:51 +0000 (00:06 +0000)]
[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
bugzilla-daemon [Thu, 21 May 2020 22:16:42 +0000 (22:16 +0000)]
[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
Jacob Lifshay [Thu, 21 May 2020 21:58:00 +0000 (14:58 -0700)]
[libre-riscv-dev] openpower meeting starting shortly
bugzilla-daemon [Thu, 21 May 2020 21:42:51 +0000 (21:42 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
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
bugzilla-daemon [Thu, 21 May 2020 21:36:49 +0000 (21:36 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
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
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
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
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"
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
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
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
Luke Kenneth Casson Leighton [Thu, 21 May 2020 19:32:04 +0000 (20:32 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 21may2020
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
bugzilla-daemon [Thu, 21 May 2020 19:24:29 +0000 (19:24 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
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
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
Jacob Lifshay [Thu, 21 May 2020 19:09:56 +0000 (12:09 -0700)]
Re: [libre-riscv-dev] daily kan-ban update 21may2020
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
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
bugzilla-daemon [Thu, 21 May 2020 19:02:17 +0000 (19:02 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
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
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
Luke Kenneth Casson Leighton [Thu, 21 May 2020 18:51:58 +0000 (19:51 +0100)]
Re: [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
bugzilla-daemon [Thu, 21 May 2020 18:44:23 +0000 (18:44 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
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
bugzilla-daemon [Thu, 21 May 2020 18:42:13 +0000 (18:42 +0000)]
[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
bugzilla-daemon [Thu, 21 May 2020 18:38:35 +0000 (18:38 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
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
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
Tobias Platen [Thu, 21 May 2020 18:31:20 +0000 (20:31 +0200)]
Re: [libre-riscv-dev] daily kan-ban update 21may2020
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
bugzilla-daemon [Thu, 21 May 2020 18:23:04 +0000 (18:23 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
Cole Poirier [Thu, 21 May 2020 18:01:32 +0000 (11:01 -0700)]
Re: [libre-riscv-dev] daily kan-ban update 21may2020
bugzilla-daemon [Thu, 21 May 2020 17:55:55 +0000 (17:55 +0000)]
[libre-riscv-dev] [Bug 318] fix LDSTCompUnit
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
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
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
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
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
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
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
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
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
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
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
Luke Kenneth Casson Leighton [Thu, 21 May 2020 15:35:58 +0000 (16:35 +0100)]
Re: [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
Luke Kenneth Casson Leighton [Thu, 21 May 2020 13:42:45 +0000 (14:42 +0100)]
[libre-riscv-dev] daily kan-ban update 21may2020
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
projects / libre-riscv-dev.git / log