Luke Kenneth Casson Leighton [Sat, 16 May 2020 13:28:39 +0000 (14:28 +0100)]
[libre-riscv-dev] daily kan-ban update 16may2020
Luke Kenneth Casson Leighton [Sat, 16 May 2020 12:30:57 +0000 (13:30 +0100)]
Re: [libre-riscv-dev] Introduction and Questions
Luke Kenneth Casson Leighton [Sat, 16 May 2020 12:14:11 +0000 (13:14 +0100)]
Re: [libre-riscv-dev] Introduction and Questions
Luke Kenneth Casson Leighton [Sat, 16 May 2020 12:11:56 +0000 (13:11 +0100)]
Re: [libre-riscv-dev] Introduction and Questions
Staf Verhaegen [Sat, 16 May 2020 11:30:51 +0000 (13:30 +0200)]
Re: [libre-riscv-dev] Introduction and Questions
Staf Verhaegen [Sat, 16 May 2020 09:47:27 +0000 (11:47 +0200)]
Re: [libre-riscv-dev] Introduction and Questions
Staf Verhaegen [Sat, 16 May 2020 09:43:54 +0000 (11:43 +0200)]
Re: [libre-riscv-dev] Introduction and Questions
bugzilla-daemon [Sat, 16 May 2020 04:52:08 +0000 (04:52 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Sat, 16 May 2020 04:37:23 +0000 (04:37 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Sat, 16 May 2020 04:35:10 +0000 (04:35 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Sat, 16 May 2020 04:20:18 +0000 (04:20 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Sat, 16 May 2020 03:59:39 +0000 (03:59 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Sat, 16 May 2020 02:03:12 +0000 (02:03 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Sat, 16 May 2020 01:45:53 +0000 (01:45 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Sat, 16 May 2020 01:16:40 +0000 (01:16 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Sat, 16 May 2020 00:56:36 +0000 (00:56 +0000)]
[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
bugzilla-daemon [Sat, 16 May 2020 00:50:55 +0000 (00:50 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
Luke Kenneth Casson Leighton [Sat, 16 May 2020 00:40:56 +0000 (01:40 +0100)]
Re: [libre-riscv-dev] Introduction and Questions
bugzilla-daemon [Sat, 16 May 2020 00:24:56 +0000 (00:24 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
Jeremy Singher [Fri, 15 May 2020 23:49:15 +0000 (16:49 -0700)]
Re: [libre-riscv-dev] Introduction and Questions
bugzilla-daemon [Fri, 15 May 2020 23:49:17 +0000 (23:49 +0000)]
[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
Luke Kenneth Casson Leighton [Fri, 15 May 2020 22:51:35 +0000 (23:51 +0100)]
Re: [libre-riscv-dev] Introduction and Questions
Luke Kenneth Casson Leighton [Fri, 15 May 2020 22:47:51 +0000 (23:47 +0100)]
Re: [libre-riscv-dev] Introduction and Questions
bugzilla-daemon [Fri, 15 May 2020 22:36:03 +0000 (22:36 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
Yehowshua [Fri, 15 May 2020 22:29:38 +0000 (18:29 -0400)]
Re: [libre-riscv-dev] Introduction and Questions
bugzilla-daemon [Fri, 15 May 2020 22:23:53 +0000 (22:23 +0000)]
[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
Jeremy Singher [Fri, 15 May 2020 22:15:30 +0000 (15:15 -0700)]
Re: [libre-riscv-dev] Introduction and Questions
bugzilla-daemon [Fri, 15 May 2020 22:14:10 +0000 (22:14 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Fri, 15 May 2020 22:05:12 +0000 (22:05 +0000)]
[libre-riscv-dev] [Bug 314] Create Condition Register pipeline
bugzilla-daemon [Fri, 15 May 2020 22:05:01 +0000 (22:05 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
Luke Kenneth Casson Leighton [Fri, 15 May 2020 21:55:43 +0000 (22:55 +0100)]
Re: [libre-riscv-dev] Introduction and Questions
Luke Kenneth Casson Leighton [Fri, 15 May 2020 21:53:21 +0000 (22:53 +0100)]
Re: [libre-riscv-dev] Introduction and Questions
bugzilla-daemon [Fri, 15 May 2020 21:53:18 +0000 (21:53 +0000)]
[libre-riscv-dev] [Bug 314] Create Condition Register pipeline
bugzilla-daemon [Fri, 15 May 2020 21:27:33 +0000 (21:27 +0000)]
[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
bugzilla-daemon [Fri, 15 May 2020 21:26:53 +0000 (21:26 +0000)]
[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
bugzilla-daemon [Fri, 15 May 2020 21:23:35 +0000 (21:23 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
Jacob Lifshay [Fri, 15 May 2020 21:19:48 +0000 (14:19 -0700)]
Re: [libre-riscv-dev] Introduction and Questions
bugzilla-daemon [Fri, 15 May 2020 21:18:08 +0000 (21:18 +0000)]
[libre-riscv-dev] [Bug 291] HDL Workflow and Coriolis2 chroot automated setup scripts
Cole Poirier [Fri, 15 May 2020 21:13:21 +0000 (14:13 -0700)]
Re: [libre-riscv-dev] daily kan-ban update 15may2020
bugzilla-daemon [Fri, 15 May 2020 21:11:48 +0000 (21:11 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
bugzilla-daemon [Fri, 15 May 2020 21:07:40 +0000 (21:07 +0000)]
[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
bugzilla-daemon [Fri, 15 May 2020 21:06:44 +0000 (21:06 +0000)]
[libre-riscv-dev] [Bug 316] bperm TODO
Yehowshua [Fri, 15 May 2020 21:03:28 +0000 (17:03 -0400)]
Re: [libre-riscv-dev] Introduction and Questions
bugzilla-daemon [Fri, 15 May 2020 21:01:29 +0000 (21:01 +0000)]
[libre-riscv-dev] [Bug 316] New: bperm TODO
Jeremy Singher [Fri, 15 May 2020 20:50:23 +0000 (13:50 -0700)]
Re: [libre-riscv-dev] Introduction and Questions
bugzilla-daemon [Fri, 15 May 2020 20:46:10 +0000 (20:46 +0000)]
[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
bugzilla-daemon [Fri, 15 May 2020 20:39:27 +0000 (20:39 +0000)]
[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
bugzilla-daemon [Fri, 15 May 2020 20:31:18 +0000 (20:31 +0000)]
[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
Luke Kenneth Casson Leighton [Fri, 15 May 2020 20:11:09 +0000 (21:11 +0100)]
Re: [libre-riscv-dev] Introduction and Questions
bugzilla-daemon [Fri, 15 May 2020 20:11:05 +0000 (20:11 +0000)]
[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
bugzilla-daemon [Fri, 15 May 2020 19:36:10 +0000 (19:36 +0000)]
[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
Yehowshua [Fri, 15 May 2020 19:33:51 +0000 (15:33 -0400)]
Re: [libre-riscv-dev] Introduction and Questions
bugzilla-daemon [Fri, 15 May 2020 19:33:31 +0000 (19:33 +0000)]
[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
bugzilla-daemon [Fri, 15 May 2020 19:28:59 +0000 (19:28 +0000)]
[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
Yehowshua [Fri, 15 May 2020 19:24:03 +0000 (15:24 -0400)]
Re: [libre-riscv-dev] Introduction and Questions
Yehowshua [Fri, 15 May 2020 19:20:03 +0000 (15:20 -0400)]
Re: [libre-riscv-dev] Introduction and Questions
bugzilla-daemon [Fri, 15 May 2020 19:17:50 +0000 (19:17 +0000)]
[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
Jeremy Singher [Fri, 15 May 2020 19:15:32 +0000 (12:15 -0700)]
Re: [libre-riscv-dev] Introduction and Questions
bugzilla-daemon [Fri, 15 May 2020 19:14:17 +0000 (19:14 +0000)]
[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
bugzilla-daemon [Fri, 15 May 2020 19:01:50 +0000 (19:01 +0000)]
[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
bugzilla-daemon [Fri, 15 May 2020 18:58:23 +0000 (18:58 +0000)]
[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
Yehowshua [Fri, 15 May 2020 18:47:28 +0000 (14:47 -0400)]
Re: [libre-riscv-dev] Introduction and Questions
Yehowshua [Fri, 15 May 2020 18:45:09 +0000 (14:45 -0400)]
Re: [libre-riscv-dev] Introduction and Questions
Jeremy Singher [Fri, 15 May 2020 18:24:29 +0000 (11:24 -0700)]
[libre-riscv-dev] Introduction and Questions
bugzilla-daemon [Fri, 15 May 2020 17:41:09 +0000 (17:41 +0000)]
[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
bugzilla-daemon [Fri, 15 May 2020 17:26:23 +0000 (17:26 +0000)]
[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
bugzilla-daemon [Fri, 15 May 2020 15:33:09 +0000 (15:33 +0000)]
[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
bugzilla-daemon [Fri, 15 May 2020 15:30:31 +0000 (15:30 +0000)]
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py
bugzilla-daemon [Fri, 15 May 2020 15:41:21 +0000 (15:41 +0000)]
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py
bugzilla-daemon [Fri, 15 May 2020 15:41:21 +0000 (15:41 +0000)]
[libre-riscv-dev] [Bug 315] SPR Pipeline needed
bugzilla-daemon [Fri, 15 May 2020 15:41:10 +0000 (15:41 +0000)]
[libre-riscv-dev] [Bug 314] Create Condition Register pipeline
bugzilla-daemon [Fri, 15 May 2020 15:41:10 +0000 (15:41 +0000)]
[libre-riscv-dev] [Bug 315] SPR Pipeline needed
bugzilla-daemon [Fri, 15 May 2020 15:40:52 +0000 (15:40 +0000)]
[libre-riscv-dev] [Bug 315] New: SPR Pipeline needed
bugzilla-daemon [Fri, 15 May 2020 15:33:31 +0000 (15:33 +0000)]
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py
bugzilla-daemon [Fri, 15 May 2020 15:33:31 +0000 (15:33 +0000)]
[libre-riscv-dev] [Bug 314] Create Condition Register pipeline
bugzilla-daemon [Fri, 15 May 2020 15:33:09 +0000 (15:33 +0000)]
[libre-riscv-dev] [Bug 314] Create Condition Register pipeline
bugzilla-daemon [Fri, 15 May 2020 15:33:01 +0000 (15:33 +0000)]
[libre-riscv-dev] [Bug 314] New: Create Condition Register pipeline
bugzilla-daemon [Fri, 15 May 2020 15:30:31 +0000 (15:30 +0000)]
[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9
bugzilla-daemon [Fri, 15 May 2020 15:30:18 +0000 (15:30 +0000)]
[libre-riscv-dev] [Bug 313] New: Create Branch Pipeline for POWER9
bugzilla-daemon [Fri, 15 May 2020 15:29:08 +0000 (15:29 +0000)]
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py
Luke Kenneth Casson Leighton [Fri, 15 May 2020 15:09:49 +0000 (16:09 +0100)]
Re: [libre-riscv-dev] Power ISA v3.1 bug - parityw
bugzilla-daemon [Fri, 15 May 2020 15:07:52 +0000 (15:07 +0000)]
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py
Michael Nolan [Fri, 15 May 2020 15:07:12 +0000 (11:07 -0400)]
[libre-riscv-dev] Power ISA v3.1 bug - parityw
bugzilla-daemon [Fri, 15 May 2020 14:23:19 +0000 (14:23 +0000)]
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py
bugzilla-daemon [Fri, 15 May 2020 14:19:15 +0000 (14:19 +0000)]
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py
bugzilla-daemon [Fri, 15 May 2020 14:01:37 +0000 (14:01 +0000)]
[libre-riscv-dev] [Bug 311] countzero function for Logic Pipeline
bugzilla-daemon [Fri, 15 May 2020 14:16:22 +0000 (14:16 +0000)]
[libre-riscv-dev] [Bug 198] Formal correctness proofs are needed for low-level libraries in LibreSOC
bugzilla-daemon [Fri, 15 May 2020 14:16:04 +0000 (14:16 +0000)]
[libre-riscv-dev] [Bug 312] Formal Correctness Proof for CountZero needed (basically PriorityEncoder)
bugzilla-daemon [Fri, 15 May 2020 14:15:25 +0000 (14:15 +0000)]
[libre-riscv-dev] [Bug 312] Formal Correctness Proof for CountZero needed (basically PriorityEncoder)
bugzilla-daemon [Fri, 15 May 2020 14:13:18 +0000 (14:13 +0000)]
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py
bugzilla-daemon [Fri, 15 May 2020 14:01:37 +0000 (14:01 +0000)]
[libre-riscv-dev] [Bug 312] Formal Correctness Proof for CountZero needed (basically PriorityEncoder)
bugzilla-daemon [Fri, 15 May 2020 14:01:16 +0000 (14:01 +0000)]
[libre-riscv-dev] [Bug 312] New: Formal Correctness Proof for CountZero needed (basically PriorityEncoder)
bugzilla-daemon [Fri, 15 May 2020 14:00:10 +0000 (14:00 +0000)]
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py
bugzilla-daemon [Fri, 15 May 2020 13:51:27 +0000 (13:51 +0000)]
[libre-riscv-dev] [Bug 311] countzero function for Logic Pipeline
Luke Kenneth Casson Leighton [Fri, 15 May 2020 13:44:44 +0000 (14:44 +0100)]
[libre-riscv-dev] marketnext online call, earlier today
bugzilla-daemon [Fri, 15 May 2020 13:18:05 +0000 (13:18 +0000)]
[libre-riscv-dev] [Bug 311] countzero function for Logic Pipeline
Luke Kenneth Casson Leighton [Fri, 15 May 2020 12:05:58 +0000 (13:05 +0100)]
[libre-riscv-dev] daily kan-ban update 15may2020
bugzilla-daemon [Fri, 15 May 2020 11:43:58 +0000 (11:43 +0000)]
[libre-riscv-dev] [Bug 311] countzero function for Logic Pipeline
bugzilla-daemon [Fri, 15 May 2020 11:34:29 +0000 (11:34 +0000)]
[libre-riscv-dev] [Bug 311] countzero function for Logic Pipeline
bugzilla-daemon [Fri, 15 May 2020 11:30:51 +0000 (11:30 +0000)]
[libre-riscv-dev] [Bug 311] countzero function for Logic Pipeline
projects / libre-riscv-dev.git / log