libre-riscv-dev.git
4 years agoRe: [libre-riscv-dev] more compatible alternative to BE instructions on LE processor
Lauri Kasanen [Wed, 13 May 2020 06:29:53 +0000 (09:29 +0300)]
Re: [libre-riscv-dev] more compatible alternative to BE instructions on LE processor

4 years ago[libre-riscv-dev] more compatible alternative to BE instructions on LE processor
Jacob Lifshay [Wed, 13 May 2020 02:56:45 +0000 (19:56 -0700)]
[libre-riscv-dev] more compatible alternative to BE instructions on LE processor

4 years agoRe: [libre-riscv-dev] little-endian only power cores and spec compliance
Jacob Lifshay [Wed, 13 May 2020 02:27:26 +0000 (19:27 -0700)]
Re: [libre-riscv-dev] little-endian only power cores and spec compliance

4 years ago[libre-riscv-dev] [Bug 291] HDL Workflow and Coriolis2 chroot automated setup scripts
bugzilla-daemon [Wed, 13 May 2020 02:00:18 +0000 (02:00 +0000)]
[libre-riscv-dev] [Bug 291] HDL Workflow and Coriolis2 chroot automated setup scripts

4 years agoRe: [libre-riscv-dev] [OpenPOWER-HDL-Cores] little-endian only power cores and spec...
Hugh Blemings [Wed, 13 May 2020 01:22:01 +0000 (11:22 +1000)]
Re: [libre-riscv-dev] [OpenPOWER-HDL-Cores] little-endian only power cores and spec compliance

4 years ago[libre-riscv-dev] [Bug 291] HDL Workflow and Coriolis2 chroot automated setup scripts
bugzilla-daemon [Wed, 13 May 2020 01:19:01 +0000 (01:19 +0000)]
[libre-riscv-dev] [Bug 291] HDL Workflow and Coriolis2 chroot automated setup scripts

4 years ago[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py
bugzilla-daemon [Wed, 13 May 2020 01:05:04 +0000 (01:05 +0000)]
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py

4 years ago[libre-riscv-dev] [Bug 291] HDL Workflow and Coriolis2 chroot automated setup scripts
bugzilla-daemon [Wed, 13 May 2020 00:16:35 +0000 (00:16 +0000)]
[libre-riscv-dev] [Bug 291] HDL Workflow and Coriolis2 chroot automated setup scripts

4 years ago[libre-riscv-dev] [Bug 291] HDL Workflow and Coriolis2 chroot automated setup scripts
bugzilla-daemon [Wed, 13 May 2020 00:15:00 +0000 (00:15 +0000)]
[libre-riscv-dev] [Bug 291] HDL Workflow and Coriolis2 chroot automated setup scripts

4 years ago[libre-riscv-dev] [Bug 291] HDL Workflow and Coriolis2 chroot automated setup scripts
bugzilla-daemon [Wed, 13 May 2020 00:09:29 +0000 (00:09 +0000)]
[libre-riscv-dev] [Bug 291] HDL Workflow and Coriolis2 chroot automated setup scripts

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

4 years ago[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py
bugzilla-daemon [Tue, 12 May 2020 22:02:08 +0000 (22:02 +0000)]
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py

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

4 years ago[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py
bugzilla-daemon [Tue, 12 May 2020 21:33:32 +0000 (21:33 +0000)]
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py

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

4 years ago[libre-riscv-dev] [Bug 291] HDL Workflow and Coriolis2 chroot automated setup scripts
bugzilla-daemon [Tue, 12 May 2020 19:41:04 +0000 (19:41 +0000)]
[libre-riscv-dev] [Bug 291] HDL Workflow and Coriolis2 chroot automated setup scripts

4 years agoRe: [libre-riscv-dev] PowerISA 3.1 (Power10) spec released
Luke Kenneth Casson Leighton [Tue, 12 May 2020 15:56:28 +0000 (16:56 +0100)]
Re: [libre-riscv-dev] PowerISA 3.1 (Power10) spec released

4 years agoRe: [libre-riscv-dev] PowerISA 3.1 (Power10) spec released
Hendrik Boom [Tue, 12 May 2020 15:11:53 +0000 (11:11 -0400)]
Re: [libre-riscv-dev] PowerISA 3.1 (Power10) spec released

4 years agoRe: [libre-riscv-dev] daily kan-ban update 12may2020
Luke Kenneth Casson Leighton [Tue, 12 May 2020 15:03:51 +0000 (16:03 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 12may2020

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

4 years agoRe: [libre-riscv-dev] PowerISA 3.1 (Power10) spec released
Luke Kenneth Casson Leighton [Tue, 12 May 2020 14:46:33 +0000 (15:46 +0100)]
Re: [libre-riscv-dev] PowerISA 3.1 (Power10) spec released

4 years agoRe: [libre-riscv-dev] daily kan-ban update 12may2020
Yehowshua [Tue, 12 May 2020 14:42:58 +0000 (10:42 -0400)]
Re: [libre-riscv-dev] daily kan-ban update 12may2020

4 years agoRe: [libre-riscv-dev] daily kan-ban update 12may2020
Michael Nolan [Tue, 12 May 2020 14:28:58 +0000 (10:28 -0400)]
Re: [libre-riscv-dev] daily kan-ban update 12may2020

4 years agoRe: [libre-riscv-dev] daily kan-ban update 12may2020
Tobias Platen [Tue, 12 May 2020 14:00:08 +0000 (16:00 +0200)]
Re: [libre-riscv-dev] daily kan-ban update 12may2020

4 years agoRe: [libre-riscv-dev] PowerISA 3.1 (Power10) spec released
Hendrik Boom [Tue, 12 May 2020 13:55:32 +0000 (09:55 -0400)]
Re: [libre-riscv-dev] PowerISA 3.1 (Power10) spec released

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

4 years ago[libre-riscv-dev] [Bug 304] Define minimum viable interface set for 180nm ASIC
bugzilla-daemon [Tue, 12 May 2020 12:13:06 +0000 (12:13 +0000)]
[libre-riscv-dev] [Bug 304] Define minimum viable interface set for 180nm ASIC

4 years ago[libre-riscv-dev] [Bug 304] Define minimum viable interface set for 180nm ASIC
bugzilla-daemon [Tue, 12 May 2020 12:12:39 +0000 (12:12 +0000)]
[libre-riscv-dev] [Bug 304] Define minimum viable interface set for 180nm ASIC

4 years ago[libre-riscv-dev] [Bug 303] define peripheral set for 180nm ASIC
bugzilla-daemon [Tue, 12 May 2020 12:12:39 +0000 (12:12 +0000)]
[libre-riscv-dev] [Bug 303] define peripheral set for 180nm ASIC

4 years ago[libre-riscv-dev] [Bug 303] define peripheral set for 180nm ASIC
bugzilla-daemon [Tue, 12 May 2020 12:11:22 +0000 (12:11 +0000)]
[libre-riscv-dev] [Bug 303] define peripheral set for 180nm ASIC

4 years ago[libre-riscv-dev] [Bug 303] define peripheral set for 180nm ASIC
bugzilla-daemon [Tue, 12 May 2020 12:11:08 +0000 (12:11 +0000)]
[libre-riscv-dev] [Bug 303] define peripheral set for 180nm ASIC

4 years ago[libre-riscv-dev] daily kan-ban update 12may2020
Luke Kenneth Casson Leighton [Tue, 12 May 2020 10:45:22 +0000 (11:45 +0100)]
[libre-riscv-dev] daily kan-ban update 12may2020

4 years agoRe: [libre-riscv-dev] daily kan-ban update 11may2020
Luke Kenneth Casson Leighton [Tue, 12 May 2020 10:06:52 +0000 (11:06 +0100)]
Re: [libre-riscv-dev] daily kan-ban update 11may2020

4 years ago[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py
bugzilla-daemon [Tue, 12 May 2020 10:03:52 +0000 (10:03 +0000)]
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py

4 years ago[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py
bugzilla-daemon [Tue, 12 May 2020 09:24:33 +0000 (09:24 +0000)]
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py

4 years agoRe: [libre-riscv-dev] PowerISA 3.1 (Power10) spec released
Luke Kenneth Casson Leighton [Tue, 12 May 2020 09:09:33 +0000 (10:09 +0100)]
Re: [libre-riscv-dev] PowerISA 3.1 (Power10) spec released

4 years agoRe: [libre-riscv-dev] PowerISA 3.1 (Power10) spec released
Lauri Kasanen [Tue, 12 May 2020 08:50:42 +0000 (11:50 +0300)]
Re: [libre-riscv-dev] PowerISA 3.1 (Power10) spec released

4 years agoRe: [libre-riscv-dev] PowerISA 3.1 (Power10) spec released
Luke Kenneth Casson Leighton [Tue, 12 May 2020 08:33:52 +0000 (09:33 +0100)]
Re: [libre-riscv-dev] PowerISA 3.1 (Power10) spec released

4 years agoRe: [libre-riscv-dev] little-endian only power cores and spec compliance
Luke Kenneth Casson Leighton [Tue, 12 May 2020 08:23:52 +0000 (09:23 +0100)]
Re: [libre-riscv-dev] little-endian only power cores and spec compliance

4 years agoRe: [libre-riscv-dev] PowerISA 3.1 (Power10) spec released
Lauri Kasanen [Tue, 12 May 2020 08:23:14 +0000 (11:23 +0300)]
Re: [libre-riscv-dev] PowerISA 3.1 (Power10) spec released

4 years agoRe: [libre-riscv-dev] learning from a failed business
Luke Kenneth Casson Leighton [Tue, 12 May 2020 08:11:04 +0000 (09:11 +0100)]
Re: [libre-riscv-dev] learning from a failed business

4 years agoRe: [libre-riscv-dev] little-endian only power cores and spec compliance
Luke Kenneth Casson Leighton [Tue, 12 May 2020 08:07:09 +0000 (09:07 +0100)]
Re: [libre-riscv-dev] little-endian only power cores and spec compliance

4 years agoRe: [libre-riscv-dev] PowerISA 3.1 (Power10) spec released
Luke Kenneth Casson Leighton [Tue, 12 May 2020 07:56:15 +0000 (08:56 +0100)]
Re: [libre-riscv-dev] PowerISA 3.1 (Power10) spec released

4 years agoRe: [libre-riscv-dev] PowerISA 3.1 (Power10) spec released
Luke Kenneth Casson Leighton [Tue, 12 May 2020 07:50:09 +0000 (08:50 +0100)]
Re: [libre-riscv-dev] PowerISA 3.1 (Power10) spec released

4 years agoRe: [libre-riscv-dev] little-endian only power cores and spec compliance
Jacob Lifshay [Tue, 12 May 2020 07:46:22 +0000 (00:46 -0700)]
Re: [libre-riscv-dev] little-endian only power cores and spec compliance

4 years agoRe: [libre-riscv-dev] little-endian only power cores and spec compliance
Jacob Lifshay [Tue, 12 May 2020 07:40:03 +0000 (00:40 -0700)]
Re: [libre-riscv-dev] little-endian only power cores and spec compliance

4 years agoRe: [libre-riscv-dev] PowerISA 3.1 (Power10) spec released
Luke Kenneth Casson Leighton [Tue, 12 May 2020 07:36:13 +0000 (08:36 +0100)]
Re: [libre-riscv-dev] PowerISA 3.1 (Power10) spec released

4 years agoRe: [libre-riscv-dev] little-endian only power cores and spec compliance
Luke Kenneth Casson Leighton [Tue, 12 May 2020 07:31:17 +0000 (08:31 +0100)]
Re: [libre-riscv-dev] little-endian only power cores and spec compliance

4 years ago[libre-riscv-dev] little-endian only power cores and spec compliance
Jacob Lifshay [Tue, 12 May 2020 07:24:35 +0000 (00:24 -0700)]
[libre-riscv-dev] little-endian only power cores and spec compliance

4 years agoRe: [libre-riscv-dev] PowerISA 3.1 (Power10) spec released
Jacob Lifshay [Tue, 12 May 2020 07:06:44 +0000 (00:06 -0700)]
Re: [libre-riscv-dev] PowerISA 3.1 (Power10) spec released

4 years agoRe: [libre-riscv-dev] PowerISA 3.1 (Power10) spec released
Lauri Kasanen [Tue, 12 May 2020 06:44:13 +0000 (09:44 +0300)]
Re: [libre-riscv-dev] PowerISA 3.1 (Power10) spec released

4 years agoRe: [libre-riscv-dev] PowerISA 3.1 (Power10) spec released
Jacob Lifshay [Tue, 12 May 2020 06:27:38 +0000 (23:27 -0700)]
Re: [libre-riscv-dev] PowerISA 3.1 (Power10) spec released

4 years agoRe: [libre-riscv-dev] PowerISA 3.1 (Power10) spec released
Lauri Kasanen [Tue, 12 May 2020 06:01:44 +0000 (09:01 +0300)]
Re: [libre-riscv-dev] PowerISA 3.1 (Power10) spec released

4 years ago[libre-riscv-dev] learning from a failed business
Jacob Lifshay [Tue, 12 May 2020 04:15:53 +0000 (21:15 -0700)]
[libre-riscv-dev] learning from a failed business

4 years agoRe: [libre-riscv-dev] Power memory fences and icache handling
Luke Kenneth Casson Leighton [Tue, 12 May 2020 03:29:27 +0000 (04:29 +0100)]
Re: [libre-riscv-dev] Power memory fences and icache handling

4 years ago[libre-riscv-dev] Power memory fences and icache handling
Jacob Lifshay [Tue, 12 May 2020 01:42:07 +0000 (18:42 -0700)]
[libre-riscv-dev] Power memory fences and icache handling

4 years agoRe: [libre-riscv-dev] ppc-dev linux patch support for microwatt!
Luke Kenneth Casson Leighton [Tue, 12 May 2020 01:25:43 +0000 (02:25 +0100)]
Re: [libre-riscv-dev] ppc-dev linux patch support for microwatt!

4 years agoRe: [libre-riscv-dev] ppc-dev linux patch support for microwatt!
Yehowshua [Tue, 12 May 2020 00:56:22 +0000 (20:56 -0400)]
Re: [libre-riscv-dev] ppc-dev linux patch support for microwatt!

4 years agoRe: [libre-riscv-dev] ppc-dev linux patch support for microwatt!
Luke Kenneth Casson Leighton [Tue, 12 May 2020 00:53:27 +0000 (01:53 +0100)]
Re: [libre-riscv-dev] ppc-dev linux patch support for microwatt!

4 years agoRe: [libre-riscv-dev] ppc-dev linux patch support for microwatt!
Yehowshua [Mon, 11 May 2020 23:02:56 +0000 (19:02 -0400)]
Re: [libre-riscv-dev] ppc-dev linux patch support for microwatt!

4 years agoRe: [libre-riscv-dev] ppc-dev linux patch support for microwatt!
Luke Kenneth Casson Leighton [Mon, 11 May 2020 22:53:11 +0000 (23:53 +0100)]
Re: [libre-riscv-dev] ppc-dev linux patch support for microwatt!

4 years agoRe: [libre-riscv-dev] ppc-dev linux patch support for microwatt!
Luke Kenneth Casson Leighton [Mon, 11 May 2020 22:34:41 +0000 (23:34 +0100)]
Re: [libre-riscv-dev] ppc-dev linux patch support for microwatt!

4 years agoRe: [libre-riscv-dev] ppc-dev linux patch support for microwatt!
Yehowshua [Mon, 11 May 2020 22:27:49 +0000 (18:27 -0400)]
Re: [libre-riscv-dev] ppc-dev linux patch support for microwatt!

4 years agoRe: [libre-riscv-dev] ppc-dev linux patch support for microwatt!
Yehowshua [Mon, 11 May 2020 22:23:54 +0000 (18:23 -0400)]
Re: [libre-riscv-dev] ppc-dev linux patch support for microwatt!

4 years agoRe: [libre-riscv-dev] ppc-dev linux patch support for microwatt!
Luke Kenneth Casson Leighton [Mon, 11 May 2020 22:23:18 +0000 (23:23 +0100)]
Re: [libre-riscv-dev] ppc-dev linux patch support for microwatt!

4 years ago[libre-riscv-dev] ppc-dev linux patch support for microwatt!
Luke Kenneth Casson Leighton [Mon, 11 May 2020 22:19:59 +0000 (23:19 +0100)]
[libre-riscv-dev] ppc-dev linux patch support for microwatt!

4 years ago[libre-riscv-dev] [Bug 70] evaluate Bus Architectures
bugzilla-daemon [Mon, 11 May 2020 21:20:50 +0000 (21:20 +0000)]
[libre-riscv-dev] [Bug 70] evaluate Bus Architectures

4 years ago[libre-riscv-dev] [Bug 70] evaluate Bus Architectures
bugzilla-daemon [Mon, 11 May 2020 21:19:17 +0000 (21:19 +0000)]
[libre-riscv-dev] [Bug 70] evaluate Bus Architectures

4 years agoRe: [libre-riscv-dev] PowerISA 3.1 (Power10) spec released
Luke Kenneth Casson Leighton [Mon, 11 May 2020 18:37:03 +0000 (19:37 +0100)]
Re: [libre-riscv-dev] PowerISA 3.1 (Power10) spec released

4 years agoRe: [libre-riscv-dev] PowerISA 3.1 (Power10) spec released
Yehowshua [Mon, 11 May 2020 18:31:05 +0000 (14:31 -0400)]
Re: [libre-riscv-dev] PowerISA 3.1 (Power10) spec released

4 years agoRe: [libre-riscv-dev] PowerISA 3.1 (Power10) spec released
Luke Kenneth Casson Leighton [Mon, 11 May 2020 18:28:07 +0000 (19:28 +0100)]
Re: [libre-riscv-dev] PowerISA 3.1 (Power10) spec released

4 years agoRe: [libre-riscv-dev] PowerISA 3.1 (Power10) spec released
Luke Kenneth Casson Leighton [Mon, 11 May 2020 18:25:50 +0000 (19:25 +0100)]
Re: [libre-riscv-dev] PowerISA 3.1 (Power10) spec released

4 years ago[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py
bugzilla-daemon [Mon, 11 May 2020 18:23:29 +0000 (18:23 +0000)]
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py

4 years ago[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py
bugzilla-daemon [Mon, 11 May 2020 18:15:26 +0000 (18:15 +0000)]
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py

4 years ago[libre-riscv-dev] [Bug 307] look at installing a kan-ban board on top of bugzilla
bugzilla-daemon [Mon, 11 May 2020 17:52:59 +0000 (17:52 +0000)]
[libre-riscv-dev] [Bug 307] look at installing a kan-ban board on top of bugzilla

4 years ago[libre-riscv-dev] PowerISA 3.1 (Power10) spec released
Lauri Kasanen [Mon, 11 May 2020 17:34:21 +0000 (20:34 +0300)]
[libre-riscv-dev] PowerISA 3.1 (Power10) spec released

4 years ago[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py
bugzilla-daemon [Mon, 11 May 2020 16:13:53 +0000 (16:13 +0000)]
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py

4 years ago[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py
bugzilla-daemon [Mon, 11 May 2020 16:13:04 +0000 (16:13 +0000)]
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py

4 years ago[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py
bugzilla-daemon [Mon, 11 May 2020 16:03:25 +0000 (16:03 +0000)]
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py

4 years ago[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py
bugzilla-daemon [Mon, 11 May 2020 15:51:36 +0000 (15:51 +0000)]
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py

4 years ago[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py
bugzilla-daemon [Mon, 11 May 2020 14:31:39 +0000 (14:31 +0000)]
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py

4 years agoRe: [libre-riscv-dev] daily kan-ban update 11may2020
Michael Nolan [Mon, 11 May 2020 13:32:40 +0000 (09:32 -0400)]
Re: [libre-riscv-dev] daily kan-ban update 11may2020

4 years ago[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py
bugzilla-daemon [Mon, 11 May 2020 13:23:24 +0000 (13:23 +0000)]
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py

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

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

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

4 years ago[libre-riscv-dev] daily kan-ban update 11may2020
Luke Kenneth Casson Leighton [Mon, 11 May 2020 12:26:42 +0000 (13:26 +0100)]
[libre-riscv-dev] daily kan-ban update 11may2020

4 years ago[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py
bugzilla-daemon [Mon, 11 May 2020 10:30:59 +0000 (10:30 +0000)]
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py

4 years ago[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py
bugzilla-daemon [Mon, 11 May 2020 01:11:55 +0000 (01:11 +0000)]
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py

4 years ago[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py
bugzilla-daemon [Mon, 11 May 2020 00:04:15 +0000 (00:04 +0000)]
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py

4 years ago[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py
bugzilla-daemon [Sun, 10 May 2020 23:42:01 +0000 (23:42 +0000)]
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py

4 years ago[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py
bugzilla-daemon [Sun, 10 May 2020 23:15:34 +0000 (23:15 +0000)]
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py

4 years ago[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py
bugzilla-daemon [Sun, 10 May 2020 23:11:51 +0000 (23:11 +0000)]
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py

4 years ago[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py
bugzilla-daemon [Sun, 10 May 2020 23:06:51 +0000 (23:06 +0000)]
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py

4 years ago[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py
bugzilla-daemon [Sun, 10 May 2020 23:03:16 +0000 (23:03 +0000)]
[libre-riscv-dev] [Bug 305] Create Pipelined ALU similar to alu_hier.py

4 years ago[libre-riscv-dev] [Bug 306] Formal Correctness Proof for ALU pipeline
bugzilla-daemon [Sun, 10 May 2020 13:46:03 +0000 (13:46 +0000)]
[libre-riscv-dev] [Bug 306] Formal Correctness Proof for ALU pipeline

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

4 years ago[libre-riscv-dev] [Bug 306] Formal Correctness Proof for ALU pipeline
bugzilla-daemon [Sun, 10 May 2020 11:36:43 +0000 (11:36 +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 [Sun, 10 May 2020 11:36:20 +0000 (11:36 +0000)]
[libre-riscv-dev] [Bug 198] Formal correctness proofs are needed for low-level libraries in LibreSOC

4 years ago[libre-riscv-dev] [Bug 306] Formal Correctness Proof for ALU pipeline
bugzilla-daemon [Sun, 10 May 2020 11:34:24 +0000 (11:34 +0000)]
[libre-riscv-dev] [Bug 306] Formal Correctness Proof for ALU pipeline