Luke Kenneth Casson Leighton [Fri, 10 Apr 2020 15:01:41 +0000 (16:01 +0100)]
Re: [libre-riscv-dev] morphing 6600 code to use power decoder
bugzilla-daemon [Fri, 10 Apr 2020 14:16:29 +0000 (14:16 +0000)]
[libre-riscv-dev] [Bug 158] NLNet 2019 Formal Correctness Proofs toplevel 2019-10-032
Luke Kenneth Casson Leighton [Fri, 10 Apr 2020 12:08:37 +0000 (13:08 +0100)]
Re: [libre-riscv-dev] gitlab-ci-archiver status
Jacob Lifshay [Fri, 10 Apr 2020 02:27:13 +0000 (19:27 -0700)]
Re: [libre-riscv-dev] gitlab-ci-archiver status
Luke Kenneth Casson Leighton [Fri, 10 Apr 2020 01:56:38 +0000 (02:56 +0100)]
Re: [libre-riscv-dev] gitlab-ci-archiver status
Luke Kenneth Casson Leighton [Thu, 9 Apr 2020 23:19:03 +0000 (00:19 +0100)]
Re: [libre-riscv-dev] gitlab-ci-archiver status
lkcl . [Thu, 9 Apr 2020 21:56:02 +0000 (22:56 +0100)]
[libre-riscv-dev] POWER virtual coffee 5 mins (now)
Jacob Lifshay [Thu, 9 Apr 2020 21:54:38 +0000 (14:54 -0700)]
Re: [libre-riscv-dev] gitlab-ci-archiver status
Luke Kenneth Casson Leighton [Thu, 9 Apr 2020 21:48:06 +0000 (22:48 +0100)]
Re: [libre-riscv-dev] gitlab-ci-archiver status
Jacob Lifshay [Thu, 9 Apr 2020 20:31:08 +0000 (13:31 -0700)]
Re: [libre-riscv-dev] gitlab-ci-archiver status
bugzilla-daemon [Thu, 9 Apr 2020 20:28:12 +0000 (20:28 +0000)]
[libre-riscv-dev] [Bug 184] new mailing lists proposal for libre-soc.org
Jacob Lifshay [Thu, 9 Apr 2020 20:25:33 +0000 (13:25 -0700)]
Re: [libre-riscv-dev] GitLab CI Archiver
Luke Kenneth Casson Leighton [Thu, 9 Apr 2020 20:24:35 +0000 (21:24 +0100)]
Re: [libre-riscv-dev] gitlab-ci-archiver status
bugzilla-daemon [Thu, 9 Apr 2020 20:14:16 +0000 (20:14 +0000)]
[libre-riscv-dev] [Bug 184] new mailing lists proposal for libre-soc.org
Jacob Lifshay [Thu, 9 Apr 2020 20:03:26 +0000 (13:03 -0700)]
[libre-riscv-dev] gitlab-ci-archiver status
bugzilla-daemon [Thu, 9 Apr 2020 19:36:02 +0000 (19:36 +0000)]
[libre-riscv-dev] [Bug 184] new mailing lists proposal for libre-soc.org
Luke Kenneth Casson Leighton [Thu, 9 Apr 2020 19:31:33 +0000 (20:31 +0100)]
Re: [libre-riscv-dev] more build failures
Jacob Lifshay [Thu, 9 Apr 2020 19:21:01 +0000 (12:21 -0700)]
[libre-riscv-dev] more build failures
bugzilla-daemon [Thu, 9 Apr 2020 18:56:30 +0000 (18:56 +0000)]
[libre-riscv-dev] [Bug 184] new mailing lists proposal for libre-soc.org
bugzilla-daemon [Thu, 9 Apr 2020 14:01:31 +0000 (14:01 +0000)]
[libre-riscv-dev] [Bug 186] Create decoder for SOC: Power ISA and RISC-V
bugzilla-daemon [Thu, 9 Apr 2020 13:46:31 +0000 (13:46 +0000)]
[libre-riscv-dev] [Bug 186] Create decoder for SOC: Power ISA and RISC-V
bugzilla-daemon [Thu, 9 Apr 2020 11:20:46 +0000 (11:20 +0000)]
[libre-riscv-dev] [Bug 184] new mailing lists proposal for libre-soc.org
Luke Kenneth Casson Leighton [Thu, 9 Apr 2020 01:21:54 +0000 (02:21 +0100)]
Re: [libre-riscv-dev] morphing 6600 code to use power decoder
whygee [Thu, 9 Apr 2020 00:47:08 +0000 (02:47 +0200)]
Re: [libre-riscv-dev] morphing 6600 code to use power decoder
bugzilla-daemon [Wed, 8 Apr 2020 19:21:24 +0000 (19:21 +0000)]
[libre-riscv-dev] [Bug 184] new mailing lists proposal for libre-soc.org
bugzilla-daemon [Wed, 8 Apr 2020 15:55:52 +0000 (15:55 +0000)]
[libre-riscv-dev] [Bug 182] Move to libre-soc.org
Alain D D Williams [Wed, 8 Apr 2020 17:09:03 +0000 (18:09 +0100)]
[libre-riscv-dev] test
Luke Kenneth Casson Leighton [Wed, 8 Apr 2020 16:15:40 +0000 (17:15 +0100)]
Re: [libre-riscv-dev] GitLab CI Archiver
Jacob Lifshay [Wed, 8 Apr 2020 15:42:26 +0000 (08:42 -0700)]
[libre-riscv-dev] GitLab CI Archiver
Luke Kenneth Casson Leighton [Wed, 8 Apr 2020 13:26:47 +0000 (14:26 +0100)]
[libre-riscv-dev] morphing 6600 code to use power decoder
bugzilla-daemon [Tue, 7 Apr 2020 19:46:32 +0000 (19:46 +0000)]
[libre-riscv-dev] [Bug 138] NLNet 2019 Coriolis2 Layout proposal 2019-10-029
bugzilla-daemon [Tue, 7 Apr 2020 16:57:19 +0000 (16:57 +0000)]
[libre-riscv-dev] [Bug 269] auto-conversion / parser of POWER ISA Spec v3.0B
Luke Kenneth Casson Leighton [Tue, 7 Apr 2020 16:52:23 +0000 (17:52 +0100)]
Re: [libre-riscv-dev] Broken build notification from debian salsa
Jacob Lifshay [Tue, 7 Apr 2020 16:41:31 +0000 (09:41 -0700)]
Re: [libre-riscv-dev] Broken build notification from debian salsa
bugzilla-daemon [Tue, 7 Apr 2020 16:29:43 +0000 (16:29 +0000)]
[libre-riscv-dev] [Bug 185] Getting 502 Bad Gateway
Jacob Lifshay [Tue, 7 Apr 2020 16:00:06 +0000 (09:00 -0700)]
Re: [libre-riscv-dev] Broken build notification from debian salsa
bugzilla-daemon [Tue, 7 Apr 2020 15:55:09 +0000 (15:55 +0000)]
[libre-riscv-dev] [Bug 269] auto-conversion / parser of POWER ISA Spec v3.0B
Luke Kenneth Casson Leighton [Tue, 7 Apr 2020 15:52:24 +0000 (16:52 +0100)]
Re: [libre-riscv-dev] Broken build notification from debian salsa
bugzilla-daemon [Tue, 7 Apr 2020 15:50:47 +0000 (15:50 +0000)]
[libre-riscv-dev] [Bug 185] Getting 502 Bad Gateway
Luke Kenneth Casson Leighton [Tue, 7 Apr 2020 15:47:43 +0000 (16:47 +0100)]
Re: [libre-riscv-dev] Broken build notification from debian salsa
whygee [Tue, 7 Apr 2020 15:46:41 +0000 (17:46 +0200)]
Re: [libre-riscv-dev] [Bug 267] The efficiency of adder/subtractor
bugzilla-daemon [Tue, 7 Apr 2020 15:31:39 +0000 (15:31 +0000)]
[libre-riscv-dev] [Bug 185] Getting 502 Bad Gateway
Jacob Lifshay [Tue, 7 Apr 2020 15:25:45 +0000 (08:25 -0700)]
Re: [libre-riscv-dev] [Bug 267] The efficiency of adder/subtractor
whygee [Tue, 7 Apr 2020 15:14:09 +0000 (17:14 +0200)]
Re: [libre-riscv-dev] [Bug 267] The efficiency of adder/subtractor
Jacob Lifshay [Tue, 7 Apr 2020 15:13:04 +0000 (08:13 -0700)]
Re: [libre-riscv-dev] Broken build notification from debian salsa
Luke Kenneth Casson Leighton [Tue, 7 Apr 2020 15:10:12 +0000 (16:10 +0100)]
Re: [libre-riscv-dev] Broken build notification from debian salsa
bugzilla-daemon [Tue, 7 Apr 2020 15:09:15 +0000 (15:09 +0000)]
[libre-riscv-dev] [Bug 184] new mailing lists proposal for libre-soc.org
bugzilla-daemon [Tue, 7 Apr 2020 15:07:35 +0000 (15:07 +0000)]
[libre-riscv-dev] [Bug 184] new mailing lists proposal for libre-soc.org
bugzilla-daemon [Tue, 7 Apr 2020 15:04:21 +0000 (15:04 +0000)]
[libre-riscv-dev] [Bug 185] Getting 502 Bad Gateway
Immanuel, Yehowshua U [Tue, 7 Apr 2020 15:03:09 +0000 (15:03 +0000)]
Re: [libre-riscv-dev] Broken build notification from debian salsa
bugzilla-daemon [Tue, 7 Apr 2020 15:01:01 +0000 (15:01 +0000)]
[libre-riscv-dev] [Bug 185] Getting 502 Bad Gateway
Luke Kenneth Casson Leighton [Tue, 7 Apr 2020 15:00:06 +0000 (16:00 +0100)]
Re: [libre-riscv-dev] Broken build notification from debian salsa
bugzilla-daemon [Tue, 7 Apr 2020 14:58:41 +0000 (14:58 +0000)]
[libre-riscv-dev] [Bug 185] Getting 502 Bad Gateway
bugzilla-daemon [Tue, 7 Apr 2020 14:44:36 +0000 (14:44 +0000)]
[libre-riscv-dev] [Bug 267] The efficiency of adder/subtractor
Jacob Lifshay [Tue, 7 Apr 2020 14:37:36 +0000 (07:37 -0700)]
[libre-riscv-dev] Broken build notification from debian salsa
bugzilla-daemon [Tue, 7 Apr 2020 13:38:46 +0000 (13:38 +0000)]
[libre-riscv-dev] [Bug 267] The efficiency of adder/subtractor
bugzilla-daemon [Tue, 7 Apr 2020 13:36:20 +0000 (13:36 +0000)]
[libre-riscv-dev] [Bug 267] The efficiency of adder/subtractor
bugzilla-daemon [Tue, 7 Apr 2020 13:15:46 +0000 (13:15 +0000)]
[libre-riscv-dev] [Bug 267] The efficiency of adder/subtractor
bugzilla-daemon [Tue, 7 Apr 2020 11:48:38 +0000 (11:48 +0000)]
[libre-riscv-dev] [Bug 267] The efficiency of adder/subtractor
bugzilla-daemon [Tue, 7 Apr 2020 11:39:11 +0000 (11:39 +0000)]
[libre-riscv-dev] [Bug 267] The efficiency of adder/subtractor
bugzilla-daemon [Tue, 7 Apr 2020 11:37:51 +0000 (11:37 +0000)]
[libre-riscv-dev] [Bug 185] Getting 502 Bad Gateway
bugzilla-daemon [Tue, 7 Apr 2020 11:35:12 +0000 (11:35 +0000)]
[libre-riscv-dev] [Bug 185] Getting 502 Bad Gateway
bugzilla-daemon [Tue, 7 Apr 2020 11:21:42 +0000 (11:21 +0000)]
[libre-riscv-dev] [Bug 185] Getting 502 Bad Gateway
bugzilla-daemon [Tue, 7 Apr 2020 11:02:25 +0000 (11:02 +0000)]
[libre-riscv-dev] [Bug 185] Getting 502 Bad Gateway
bugzilla-daemon [Tue, 7 Apr 2020 09:48:44 +0000 (09:48 +0000)]
[libre-riscv-dev] [Bug 267] The efficiency of adder/subtractor
bugzilla-daemon [Tue, 7 Apr 2020 09:46:15 +0000 (09:46 +0000)]
[libre-riscv-dev] [Bug 217] create a "ring" system which allows pad locations to be specified conveniently
Luke Kenneth Casson Leighton [Tue, 7 Apr 2020 09:38:15 +0000 (10:38 +0100)]
Re: [libre-riscv-dev] finishing off the crowdsupply update
bugzilla-daemon [Tue, 7 Apr 2020 08:12:32 +0000 (08:12 +0000)]
[libre-riscv-dev] [Bug 217] create a "ring" system which allows pad locations to be specified conveniently
Jacob Lifshay [Tue, 7 Apr 2020 07:49:56 +0000 (00:49 -0700)]
Re: [libre-riscv-dev] finishing off the crowdsupply update
bugzilla-daemon [Tue, 7 Apr 2020 05:23:01 +0000 (05:23 +0000)]
[libre-riscv-dev] [Bug 267] The efficiency of adder/subtractor
Luke Kenneth Casson Leighton [Tue, 7 Apr 2020 00:22:16 +0000 (01:22 +0100)]
Re: [libre-riscv-dev] CI passes for soc.git!!!
bugzilla-daemon [Tue, 7 Apr 2020 00:16:26 +0000 (00:16 +0000)]
[libre-riscv-dev] [Bug 269] auto-conversion / parser of POWER ISA Spec v3.0B
Jacob Lifshay [Tue, 7 Apr 2020 00:07:26 +0000 (17:07 -0700)]
Re: [libre-riscv-dev] CI passes for soc.git!!!
bugzilla-daemon [Mon, 6 Apr 2020 21:55:41 +0000 (21:55 +0000)]
[libre-riscv-dev] [Bug 185] Getting 502 Bad Gateway
bugzilla-daemon [Mon, 6 Apr 2020 21:32:03 +0000 (21:32 +0000)]
[libre-riscv-dev] [Bug 185] Getting 502 Bad Gateway
Luke Kenneth Casson Leighton [Mon, 6 Apr 2020 20:34:44 +0000 (21:34 +0100)]
Re: [libre-riscv-dev] CI passes for soc.git!!!
Jacob Lifshay [Mon, 6 Apr 2020 19:15:43 +0000 (12:15 -0700)]
Re: [libre-riscv-dev] CI passes for soc.git!!!
Immanuel, Yehowshua U [Mon, 6 Apr 2020 18:23:53 +0000 (18:23 +0000)]
Re: [libre-riscv-dev] Removing orphan pages from the wiki
Luke Kenneth Casson Leighton [Mon, 6 Apr 2020 18:22:13 +0000 (19:22 +0100)]
Re: [libre-riscv-dev] Removing orphan pages from the wiki
Immanuel, Yehowshua U [Mon, 6 Apr 2020 17:53:30 +0000 (17:53 +0000)]
Re: [libre-riscv-dev] Removing orphan pages from the wiki
bugzilla-daemon [Mon, 6 Apr 2020 17:15:18 +0000 (17:15 +0000)]
[libre-riscv-dev] [Bug 217] create a "ring" system which allows pad locations to be specified conveniently
Luke Kenneth Casson Leighton [Mon, 6 Apr 2020 17:12:31 +0000 (18:12 +0100)]
Re: [libre-riscv-dev] CI passes for soc.git!!!
Luke Kenneth Casson Leighton [Mon, 6 Apr 2020 17:11:19 +0000 (18:11 +0100)]
Re: [libre-riscv-dev] Removing orphan pages from the wiki
Luke Kenneth Casson Leighton [Mon, 6 Apr 2020 17:08:45 +0000 (18:08 +0100)]
Re: [libre-riscv-dev] nlnet 2019 standards update - video and 3d acceleration standards
bugzilla-daemon [Mon, 6 Apr 2020 16:58:30 +0000 (16:58 +0000)]
[libre-riscv-dev] [Bug 217] create a "ring" system which allows pad locations to be specified conveniently
bugzilla-daemon [Mon, 6 Apr 2020 16:53:42 +0000 (16:53 +0000)]
[libre-riscv-dev] [Bug 217] create a "ring" system which allows pad locations to be specified conveniently
Immanuel, Yehowshua U [Mon, 6 Apr 2020 16:02:18 +0000 (16:02 +0000)]
[libre-riscv-dev] nlnet 2019 standards update - video and 3d acceleration standards
Immanuel, Yehowshua U [Mon, 6 Apr 2020 14:57:30 +0000 (14:57 +0000)]
Re: [libre-riscv-dev] Removing orphan pages from the wiki
Immanuel, Yehowshua U [Mon, 6 Apr 2020 14:55:52 +0000 (14:55 +0000)]
[libre-riscv-dev] Removing orphan pages from the wiki
Jacob Lifshay [Mon, 6 Apr 2020 14:37:05 +0000 (07:37 -0700)]
Re: [libre-riscv-dev] CI passes for soc.git!!!
bugzilla-daemon [Mon, 6 Apr 2020 14:18:36 +0000 (14:18 +0000)]
[libre-riscv-dev] [Bug 217] create a "ring" system which allows pad locations to be specified conveniently
bugzilla-daemon [Mon, 6 Apr 2020 12:45:11 +0000 (12:45 +0000)]
[libre-riscv-dev] [Bug 280] POWER spec parser needs to support fall-through cases
bugzilla-daemon [Mon, 6 Apr 2020 12:33:22 +0000 (12:33 +0000)]
[libre-riscv-dev] [Bug 280] POWER spec parser needs to support fall-through cases
Luke Kenneth Casson Leighton [Mon, 6 Apr 2020 11:26:35 +0000 (12:26 +0100)]
[libre-riscv-dev] [OT] the microsoft hacker ("Baby Driver")
bugzilla-daemon [Mon, 6 Apr 2020 11:18:15 +0000 (11:18 +0000)]
[libre-riscv-dev] [Bug 269] auto-conversion / parser of POWER ISA Spec v3.0B
Luke Kenneth Casson Leighton [Mon, 6 Apr 2020 11:07:21 +0000 (12:07 +0100)]
Re: [libre-riscv-dev] CI passes for soc.git!!!
Luke Kenneth Casson Leighton [Mon, 6 Apr 2020 10:58:58 +0000 (11:58 +0100)]
Re: [libre-riscv-dev] Following the PowerISA
Luke Kenneth Casson Leighton [Mon, 6 Apr 2020 10:51:07 +0000 (11:51 +0100)]
Re: [libre-riscv-dev] Following the PowerISA
Luke Kenneth Casson Leighton [Mon, 6 Apr 2020 10:49:36 +0000 (11:49 +0100)]
Re: [libre-riscv-dev] Who Buys Talos Workstations?
Luke Kenneth Casson Leighton [Mon, 6 Apr 2020 10:39:30 +0000 (11:39 +0100)]
Re: [libre-riscv-dev] sorry state of ieee754fpu repo -- CI desperately needed
projects / libre-riscv-dev.git / log