bugzilla-daemon [Wed, 20 May 2020 15:22:59 +0000 (15:22 +0000)]
[libre-riscv-dev] [Bug 331] Formal Correctness Proof for LOGICAL pipeline
bugzilla-daemon [Wed, 20 May 2020 15:21:34 +0000 (15:21 +0000)]
[libre-riscv-dev] [Bug 198] Formal correctness proofs are needed for low-level libraries in LibreSOC
bugzilla-daemon [Wed, 20 May 2020 15:21:15 +0000 (15:21 +0000)]
[libre-riscv-dev] [Bug 331] Formal Correctness Proof for LOGICAL pipeline
bugzilla-daemon [Wed, 20 May 2020 15:20:58 +0000 (15:20 +0000)]
[libre-riscv-dev] [Bug 331] Formal Correctness Proof for LOGICAL pipeline
bugzilla-daemon [Wed, 20 May 2020 15:20:43 +0000 (15:20 +0000)]
[libre-riscv-dev] [Bug 306] Formal Correctness Proof for ALU pipeline
bugzilla-daemon [Wed, 20 May 2020 15:20:43 +0000 (15:20 +0000)]
[libre-riscv-dev] [Bug 331] Formal Correctness Proof for LOGICAL pipeline
bugzilla-daemon [Wed, 20 May 2020 15:20:37 +0000 (15:20 +0000)]
[libre-riscv-dev] [Bug 331] New: Formal Correctness Proof for LOGICAL pipeline
bugzilla-daemon [Wed, 20 May 2020 15:19:44 +0000 (15:19 +0000)]
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py
bugzilla-daemon [Wed, 20 May 2020 15:19:44 +0000 (15:19 +0000)]
[libre-riscv-dev] [Bug 330] create POWER9 Logic Pipeline
bugzilla-daemon [Wed, 20 May 2020 15:19:34 +0000 (15:19 +0000)]
[libre-riscv-dev] [Bug 330] New: create POWER9 Logic Pipeline
Luke Kenneth Casson Leighton [Wed, 20 May 2020 15:14:39 +0000 (16:14 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 20may2020
Cole Poirier [Wed, 20 May 2020 14:50:54 +0000 (07:50 -0700)]
Re: [libre-riscv-dev] daily kan-ban update 20may2020
bugzilla-daemon [Wed, 20 May 2020 14:40:05 +0000 (14:40 +0000)]
[libre-riscv-dev] [Bug 318] fix LDSTCompUnit
bugzilla-daemon [Wed, 20 May 2020 14:16:50 +0000 (14:16 +0000)]
[libre-riscv-dev] [Bug 306] Formal Correctness Proof for ALU pipeline
Luke Kenneth Casson Leighton [Wed, 20 May 2020 14:14:11 +0000 (15:14 +0100)]
[libre-riscv-dev] daily kan-ban update 20may2020
bugzilla-daemon [Wed, 20 May 2020 14:01:33 +0000 (14:01 +0000)]
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py
bugzilla-daemon [Wed, 20 May 2020 12:20:46 +0000 (12:20 +0000)]
[libre-riscv-dev] [Bug 217] create a "ring" system which allows pad locations to be specified conveniently
bugzilla-daemon [Wed, 20 May 2020 12:41:38 +0000 (12:41 +0000)]
[libre-riscv-dev] [Bug 329] coriolis2 experiment layout for Dependency Matrices
bugzilla-daemon [Wed, 20 May 2020 12:34:24 +0000 (12:34 +0000)]
[libre-riscv-dev] [Bug 329] coriolis2 experiment layout for Dependency Matrices
bugzilla-daemon [Wed, 20 May 2020 12:33:51 +0000 (12:33 +0000)]
[libre-riscv-dev] [Bug 329] coriolis2 experiment layout for Dependency Matrices
bugzilla-daemon [Wed, 20 May 2020 12:33:22 +0000 (12:33 +0000)]
[libre-riscv-dev] [Bug 329] coriolis2 experiment layout for Dependency Matrices
bugzilla-daemon [Wed, 20 May 2020 12:30:40 +0000 (12:30 +0000)]
[libre-riscv-dev] [Bug 329] coriolis2 experiment layout for Dependency Matrices
bugzilla-daemon [Wed, 20 May 2020 12:20:46 +0000 (12:20 +0000)]
[libre-riscv-dev] [Bug 329] coriolis2 experiment layout for Dependency Matrices
bugzilla-daemon [Wed, 20 May 2020 12:20:23 +0000 (12:20 +0000)]
[libre-riscv-dev] [Bug 329] coriolis2 experiment layout for Dependency Matrices
bugzilla-daemon [Wed, 20 May 2020 12:18:35 +0000 (12:18 +0000)]
[libre-riscv-dev] [Bug 329] New: coriolis2 experiment layout for Dependency Matrices
bugzilla-daemon [Wed, 20 May 2020 11:35:07 +0000 (11:35 +0000)]
[libre-riscv-dev] [Bug 70] evaluate Bus Architectures
Luke Kenneth Casson Leighton [Wed, 20 May 2020 11:28:12 +0000 (12:28 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 19may2020
bugzilla-daemon [Wed, 20 May 2020 06:47:33 +0000 (06:47 +0000)]
[libre-riscv-dev] [Bug 70] evaluate Bus Architectures
Tobias Platen [Wed, 20 May 2020 06:39:52 +0000 (08:39 +0200)]
Re: [libre-riscv-dev] daily kan-ban update 19may2020
bugzilla-daemon [Wed, 20 May 2020 06:06:27 +0000 (06:06 +0000)]
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py
bugzilla-daemon [Wed, 20 May 2020 06:06:27 +0000 (06:06 +0000)]
[libre-riscv-dev] [Bug 328] move decoder RB exts function into nmutil
bugzilla-daemon [Wed, 20 May 2020 06:06:10 +0000 (06:06 +0000)]
[libre-riscv-dev] [Bug 328] New: move decoder RB exts function into nmutil
bugzilla-daemon [Wed, 20 May 2020 05:58:38 +0000 (05:58 +0000)]
[libre-riscv-dev] [Bug 184] new mailing lists proposal for libre-soc.org
bugzilla-daemon [Wed, 20 May 2020 04:50:28 +0000 (04:50 +0000)]
[libre-riscv-dev] [Bug 319] POWER9 setting carry (and other) XER flags
bugzilla-daemon [Wed, 20 May 2020 04:10:19 +0000 (04:10 +0000)]
[libre-riscv-dev] [Bug 319] POWER9 setting carry (and other) XER flags
bugzilla-daemon [Wed, 20 May 2020 03:17:03 +0000 (03:17 +0000)]
[libre-riscv-dev] [Bug 318] fix LDSTCompUnit
bugzilla-daemon [Wed, 20 May 2020 03:09:42 +0000 (03:09 +0000)]
[libre-riscv-dev] [Bug 318] fix LDSTCompUnit
bugzilla-daemon [Wed, 20 May 2020 01:34:27 +0000 (01:34 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Wed, 20 May 2020 01:13:36 +0000 (01:13 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Wed, 20 May 2020 01:09:26 +0000 (01:09 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Wed, 20 May 2020 01:07:40 +0000 (01:07 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Wed, 20 May 2020 01:05:05 +0000 (01:05 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Wed, 20 May 2020 01:04:52 +0000 (01:04 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Wed, 20 May 2020 01:04:12 +0000 (01:04 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Wed, 20 May 2020 01:02:20 +0000 (01:02 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Wed, 20 May 2020 00:56:24 +0000 (00:56 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Wed, 20 May 2020 00:54:01 +0000 (00:54 +0000)]
[libre-riscv-dev] [Bug 327] New: Don't use sudo with setup.py
bugzilla-daemon [Wed, 20 May 2020 00:50:30 +0000 (00:50 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Wed, 20 May 2020 00:48:48 +0000 (00:48 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Wed, 20 May 2020 00:44:46 +0000 (00:44 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Wed, 20 May 2020 00:40:29 +0000 (00:40 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Wed, 20 May 2020 00:35:55 +0000 (00:35 +0000)]
[libre-riscv-dev] [Bug 323] create POWER9 MUL pipeline
bugzilla-daemon [Wed, 20 May 2020 00:31:53 +0000 (00:31 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Wed, 20 May 2020 00:27:46 +0000 (00:27 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Wed, 20 May 2020 00:21:28 +0000 (00:21 +0000)]
[libre-riscv-dev] [Bug 324] create POWER9 DIV pipeline
bugzilla-daemon [Wed, 20 May 2020 00:17:38 +0000 (00:17 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Wed, 20 May 2020 00:09:18 +0000 (00:09 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Tue, 19 May 2020 23:31:05 +0000 (23:31 +0000)]
[libre-riscv-dev] [Bug 325] create POWER9 TRAP pipeline
bugzilla-daemon [Tue, 19 May 2020 23:19:00 +0000 (23:19 +0000)]
[libre-riscv-dev] [Bug 325] create POWER9 TRAP pipeline
bugzilla-daemon [Tue, 19 May 2020 21:44:37 +0000 (21:44 +0000)]
[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
bugzilla-daemon [Tue, 19 May 2020 21:41:37 +0000 (21:41 +0000)]
[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
bugzilla-daemon [Tue, 19 May 2020 21:22:39 +0000 (21:22 +0000)]
[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
bugzilla-daemon [Tue, 19 May 2020 21:19:46 +0000 (21:19 +0000)]
[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
bugzilla-daemon [Tue, 19 May 2020 21:14:25 +0000 (21:14 +0000)]
[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
Jacob Lifshay [Tue, 19 May 2020 21:09:27 +0000 (14:09 -0700)]
Re: [libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
bugzilla-daemon [Tue, 19 May 2020 21:06:03 +0000 (21:06 +0000)]
[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
bugzilla-daemon [Tue, 19 May 2020 21:02:23 +0000 (21:02 +0000)]
[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
bugzilla-daemon [Tue, 19 May 2020 20:43:34 +0000 (20:43 +0000)]
[libre-riscv-dev] [Bug 325] create POWER9 TRAP pipeline
Cole Poirier [Tue, 19 May 2020 20:17:56 +0000 (13:17 -0700)]
Re: [libre-riscv-dev] daily kan-ban update 19may2020
bugzilla-daemon [Tue, 19 May 2020 19:30:51 +0000 (19:30 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Tue, 19 May 2020 19:24:19 +0000 (19:24 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Tue, 19 May 2020 19:16:42 +0000 (19:16 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
Luke Kenneth Casson Leighton [Tue, 19 May 2020 18:46:58 +0000 (19:46 +0100)]
Re: [libre-riscv-dev] priority encoder replacement
bugzilla-daemon [Tue, 19 May 2020 18:30:14 +0000 (18:30 +0000)]
[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
bugzilla-daemon [Tue, 19 May 2020 18:13:27 +0000 (18:13 +0000)]
[libre-riscv-dev] [Bug 325] create POWER9 TRAP pipeline
bugzilla-daemon [Tue, 19 May 2020 18:09:49 +0000 (18:09 +0000)]
[libre-riscv-dev] [Bug 325] create POWER9 TRAP pipeline
bugzilla-daemon [Tue, 19 May 2020 18:09:06 +0000 (18:09 +0000)]
[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
bugzilla-daemon [Tue, 19 May 2020 18:08:36 +0000 (18:08 +0000)]
[libre-riscv-dev] [Bug 314] Create Condition Register pipeline
Jacob Lifshay [Tue, 19 May 2020 18:01:59 +0000 (11:01 -0700)]
[libre-riscv-dev] priority encoder replacement
Luke Kenneth Casson Leighton [Tue, 19 May 2020 17:56:20 +0000 (18:56 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 19may2020
bugzilla-daemon [Tue, 19 May 2020 17:52:10 +0000 (17:52 +0000)]
[libre-riscv-dev] [Bug 326] nmutil.clz to be retired (removed) because it is identical to PriorityEncoder
Michael Nolan [Tue, 19 May 2020 17:47:28 +0000 (13:47 -0400)]
Re: [libre-riscv-dev] daily kan-ban update 19may2020
Luke Kenneth Casson Leighton [Tue, 19 May 2020 17:34:47 +0000 (18:34 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 19may2020
Jacob Lifshay [Tue, 19 May 2020 17:13:35 +0000 (10:13 -0700)]
Re: [libre-riscv-dev] daily kan-ban update 19may2020
bugzilla-daemon [Tue, 19 May 2020 17:05:31 +0000 (17:05 +0000)]
[libre-riscv-dev] [Bug 326] nmutil.clz to be retired (removed) because it is identical to PriorityEncoder
bugzilla-daemon [Tue, 19 May 2020 16:54:55 +0000 (16:54 +0000)]
[libre-riscv-dev] [Bug 325] create POWER9 TRAP pipeline
bugzilla-daemon [Tue, 19 May 2020 16:33:34 +0000 (16:33 +0000)]
[libre-riscv-dev] [Bug 312] Formal Correctness Proof for CountZero needed (basically PriorityEncoder)
Cesar Strauss [Tue, 19 May 2020 16:38:02 +0000 (13:38 -0300)]
Re: [libre-riscv-dev] daily kan-ban update 19may2020
bugzilla-daemon [Tue, 19 May 2020 16:33:49 +0000 (16:33 +0000)]
[libre-riscv-dev] [Bug 326] nmutil.clz to be retired (removed) because it is identical to PriorityEncoder
bugzilla-daemon [Tue, 19 May 2020 16:33:34 +0000 (16:33 +0000)]
[libre-riscv-dev] [Bug 326] nmutil.clz to be retired (removed) because it is identical to PriorityEncoder
bugzilla-daemon [Tue, 19 May 2020 16:33:15 +0000 (16:33 +0000)]
[libre-riscv-dev] [Bug 326] New: nmutil.clz to be retired (removed) because it is identical to PriorityEncoder
bugzilla-daemon [Tue, 19 May 2020 16:30:56 +0000 (16:30 +0000)]
[libre-riscv-dev] [Bug 312] Formal Correctness Proof for CountZero needed (basically PriorityEncoder)
bugzilla-daemon [Tue, 19 May 2020 15:49:15 +0000 (15:49 +0000)]
[libre-riscv-dev] [Bug 325] create POWER9 TRAP pipeline
Luke Kenneth Casson Leighton [Tue, 19 May 2020 15:18:43 +0000 (16:18 +0100)]
Re: [libre-riscv-dev] Tomasulo and Scoreboards
bugzilla-daemon [Tue, 19 May 2020 14:57:27 +0000 (14:57 +0000)]
[libre-riscv-dev] [Bug 325] create POWER9 TRAP pipeline
bugzilla-daemon [Tue, 19 May 2020 14:40:47 +0000 (14:40 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Tue, 19 May 2020 14:11:03 +0000 (14:11 +0000)]
[libre-riscv-dev] [Bug 325] create POWER9 TRAP pipeline
Luke Kenneth Casson Leighton [Tue, 19 May 2020 13:47:36 +0000 (14:47 +0100)]
[libre-riscv-dev] Tomasulo and Scoreboards
bugzilla-daemon [Tue, 19 May 2020 12:30:01 +0000 (12:30 +0000)]
[libre-riscv-dev] [Bug 325] create POWER9 TRAP pipeline
Luke Kenneth Casson Leighton [Tue, 19 May 2020 12:36:18 +0000 (13:36 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 19may2020
projects / libre-riscv-dev.git / log