Luke Kenneth Casson Leighton [Thu, 2 Apr 2020 21:14:30 +0000 (22:14 +0100)]
Re: [libre-riscv-dev] virtual coffee again
Luke Kenneth Casson Leighton [Thu, 2 Apr 2020 18:33:03 +0000 (19:33 +0100)]
Re: [libre-riscv-dev] test_decoder_gas.py still fails after update for unknown reason
bugzilla-daemon [Thu, 2 Apr 2020 18:26:01 +0000 (18:26 +0000)]
[libre-riscv-dev] [Bug 185] Getting 502 Bad Gateway
Immanuel, Yehowshua U [Thu, 2 Apr 2020 18:19:07 +0000 (18:19 +0000)]
Re: [libre-riscv-dev] submitted bugreport to upstream nmigen
Tobias Platen [Thu, 2 Apr 2020 18:04:04 +0000 (20:04 +0200)]
Re: [libre-riscv-dev] test_decoder_gas.py still fails after update for unknown reason
bugzilla-daemon [Thu, 2 Apr 2020 17:50:46 +0000 (17:50 +0000)]
[libre-riscv-dev] [Bug 185] Getting 502 Bad Gateway when accessing bugzilla from archive.org
bugzilla-daemon [Thu, 2 Apr 2020 16:07:19 +0000 (16:07 +0000)]
[libre-riscv-dev] [Bug 275] New: errata in V3.0B spec pseudo-code, page 88
bugzilla-daemon [Thu, 2 Apr 2020 15:06:13 +0000 (15:06 +0000)]
[libre-riscv-dev] [Bug 269] auto-conversion / parser of POWER ISA Spec v3.0B
Veera [Thu, 2 Apr 2020 12:52:53 +0000 (18:22 +0530)]
Re: [libre-riscv-dev] Public Inbox
bugzilla-daemon [Thu, 2 Apr 2020 10:41:23 +0000 (10:41 +0000)]
[libre-riscv-dev] [Bug 272] functions needed in POWER simulator which match 3.0B spec
Luke Kenneth Casson Leighton [Thu, 2 Apr 2020 09:27:51 +0000 (10:27 +0100)]
Re: [libre-riscv-dev] submitted bugreport to upstream nmigen
Luke Kenneth Casson Leighton [Thu, 2 Apr 2020 09:24:49 +0000 (10:24 +0100)]
Re: [libre-riscv-dev] virtual coffee again
Luke Kenneth Casson Leighton [Thu, 2 Apr 2020 08:57:45 +0000 (09:57 +0100)]
[libre-riscv-dev] virtual coffee again
Luke Kenneth Casson Leighton [Thu, 2 Apr 2020 08:55:45 +0000 (09:55 +0100)]
Re: [libre-riscv-dev] April fools pull request for Rust
Jacob Lifshay [Thu, 2 Apr 2020 03:03:51 +0000 (20:03 -0700)]
Re: [libre-riscv-dev] submitted bugreport to upstream nmigen
Jacob Lifshay [Thu, 2 Apr 2020 01:02:13 +0000 (18:02 -0700)]
[libre-riscv-dev] April fools pull request for Rust
bugzilla-daemon [Wed, 1 Apr 2020 23:44:54 +0000 (23:44 +0000)]
[libre-riscv-dev] [Bug 272] functions needed in POWER simulator which match 3.0B spec
bugzilla-daemon [Wed, 1 Apr 2020 23:05:46 +0000 (23:05 +0000)]
[libre-riscv-dev] [Bug 272] functions needed in POWER simulator which match 3.0B spec
bugzilla-daemon [Wed, 1 Apr 2020 21:55:06 +0000 (21:55 +0000)]
[libre-riscv-dev] [Bug 272] functions needed in POWER simulator which match 3.0B spec
bugzilla-daemon [Wed, 1 Apr 2020 19:06:54 +0000 (19:06 +0000)]
[libre-riscv-dev] [Bug 272] functions needed in POWER simulator which match 3.0B spec
bugzilla-daemon [Wed, 1 Apr 2020 18:40:43 +0000 (18:40 +0000)]
[libre-riscv-dev] [Bug 272] functions needed in POWER simulator which match 3.0B spec
Luke Kenneth Casson Leighton [Wed, 1 Apr 2020 17:59:29 +0000 (17:59 +0000)]
Re: [libre-riscv-dev] IMPORTANT - PLEASE REMOVE AND RE-CHECKOUT CROWDSUPPLY REPOSITORY Re: crowdsupply updates
Jacob Lifshay [Wed, 1 Apr 2020 17:50:19 +0000 (10:50 -0700)]
Re: [libre-riscv-dev] IMPORTANT - PLEASE REMOVE AND RE-CHECKOUT CROWDSUPPLY REPOSITORY Re: crowdsupply updates
Luke Kenneth Casson Leighton [Wed, 1 Apr 2020 17:44:37 +0000 (17:44 +0000)]
Re: [libre-riscv-dev] name change announcement on crowdsupply
Luke Kenneth Casson Leighton [Wed, 1 Apr 2020 17:43:52 +0000 (17:43 +0000)]
Re: [libre-riscv-dev] POWER simulator
Luke Kenneth Casson Leighton [Wed, 1 Apr 2020 17:39:42 +0000 (17:39 +0000)]
Re: [libre-riscv-dev] crowdsupply updates
Jacob Lifshay [Wed, 1 Apr 2020 17:31:19 +0000 (10:31 -0700)]
Re: [libre-riscv-dev] name change announcement on crowdsupply
Immanuel, Yehowshua U [Wed, 1 Apr 2020 17:04:12 +0000 (17:04 +0000)]
Re: [libre-riscv-dev] POWER simulator
Immanuel, Yehowshua U [Wed, 1 Apr 2020 16:33:09 +0000 (16:33 +0000)]
Re: [libre-riscv-dev] crowdsupply updates
bugzilla-daemon [Wed, 1 Apr 2020 16:26:59 +0000 (16:26 +0000)]
[libre-riscv-dev] [Bug 274] New: Investigate how BSV performs Formal Verification and what can be Applied to FPUs
Immanuel, Yehowshua U [Wed, 1 Apr 2020 16:18:06 +0000 (16:18 +0000)]
Re: [libre-riscv-dev] crowdsupply updates
Luke Kenneth Casson Leighton [Wed, 1 Apr 2020 16:14:59 +0000 (16:14 +0000)]
Re: [libre-riscv-dev] crowdsupply updates
Luke Kenneth Casson Leighton [Wed, 1 Apr 2020 16:08:47 +0000 (16:08 +0000)]
[libre-riscv-dev] IMPORTANT - PLEASE REMOVE AND RE-CHECKOUT CROWDSUPPLY REPOSITORY Re: crowdsupply updates
Luke Kenneth Casson Leighton [Wed, 1 Apr 2020 16:02:35 +0000 (16:02 +0000)]
[libre-riscv-dev] crowdsupply updates
lkcl . [Wed, 1 Apr 2020 15:55:31 +0000 (15:55 +0000)]
[libre-riscv-dev] POWER simulator
Luke Kenneth Casson Leighton [Wed, 1 Apr 2020 15:42:01 +0000 (15:42 +0000)]
Re: [libre-riscv-dev] additional ddr3 interfaces
bugzilla-daemon [Wed, 1 Apr 2020 15:35:42 +0000 (15:35 +0000)]
[libre-riscv-dev] [Bug 272] functions needed in POWER simulator which match 3.0B spec
Staf Verhaegen [Wed, 1 Apr 2020 15:19:12 +0000 (17:19 +0200)]
Re: [libre-riscv-dev] additional ddr3 interfaces
Luke Kenneth Casson Leighton [Wed, 1 Apr 2020 15:16:22 +0000 (15:16 +0000)]
Re: [libre-riscv-dev] test_decoder_gas.py still fails after update for unknown reason
Michael Nolan [Wed, 1 Apr 2020 14:54:31 +0000 (10:54 -0400)]
Re: [libre-riscv-dev] test_decoder_gas.py still fails after update for unknown reason
bugzilla-daemon [Wed, 1 Apr 2020 13:48:24 +0000 (13:48 +0000)]
[libre-riscv-dev] [Bug 269] auto-conversion / parser of POWER ISA Spec v3.0B
bugzilla-daemon [Wed, 1 Apr 2020 13:43:55 +0000 (13:43 +0000)]
[libre-riscv-dev] [Bug 273] New: replace use of wget in soc with use of git submodule
bugzilla-daemon [Wed, 1 Apr 2020 13:42:39 +0000 (13:42 +0000)]
[libre-riscv-dev] [Bug 269] auto-conversion / parser of POWER ISA Spec v3.0B
Luke Kenneth Casson Leighton [Wed, 1 Apr 2020 11:10:29 +0000 (11:10 +0000)]
Re: [libre-riscv-dev] additional ddr3 interfaces
Luke Kenneth Casson Leighton [Wed, 1 Apr 2020 11:00:08 +0000 (11:00 +0000)]
Re: [libre-riscv-dev] PPC on Talos and Playstation 3
Luke Kenneth Casson Leighton [Wed, 1 Apr 2020 10:57:46 +0000 (10:57 +0000)]
Re: [libre-riscv-dev] name change announcement on crowdsupply
Luke Kenneth Casson Leighton [Wed, 1 Apr 2020 10:54:49 +0000 (10:54 +0000)]
Re: [libre-riscv-dev] extremely busy crowdsupply update started
Luke Kenneth Casson Leighton [Wed, 1 Apr 2020 10:16:24 +0000 (10:16 +0000)]
Re: [libre-riscv-dev] submitted bugreport to upstream nmigen
Luke Kenneth Casson Leighton [Wed, 1 Apr 2020 10:14:29 +0000 (10:14 +0000)]
Re: [libre-riscv-dev] test_decoder_gas.py still fails after update for unknown reason
Luke Kenneth Casson Leighton [Wed, 1 Apr 2020 10:08:04 +0000 (10:08 +0000)]
Re: [libre-riscv-dev] extremely busy crowdsupply update started
Tobias Platen [Wed, 1 Apr 2020 06:59:21 +0000 (08:59 +0200)]
[libre-riscv-dev] test_decoder_gas.py still fails after update for unknown reason
Jacob Lifshay [Wed, 1 Apr 2020 03:21:40 +0000 (20:21 -0700)]
[libre-riscv-dev] submitted bugreport to upstream nmigen
Jacob Lifshay [Wed, 1 Apr 2020 01:52:43 +0000 (18:52 -0700)]
Re: [libre-riscv-dev] name change announcement on crowdsupply
Jacob Lifshay [Wed, 1 Apr 2020 01:51:30 +0000 (18:51 -0700)]
[libre-riscv-dev] name change announcement on crowdsupply
Jacob Lifshay [Wed, 1 Apr 2020 01:01:55 +0000 (18:01 -0700)]
Re: [libre-riscv-dev] additional ddr3 interfaces
Immanuel, Yehowshua U [Wed, 1 Apr 2020 00:47:58 +0000 (00:47 +0000)]
Re: [libre-riscv-dev] additional ddr3 interfaces
Jacob Lifshay [Wed, 1 Apr 2020 00:44:19 +0000 (17:44 -0700)]
[libre-riscv-dev] additional ddr3 interfaces
Immanuel, Yehowshua U [Wed, 1 Apr 2020 00:23:13 +0000 (00:23 +0000)]
Re: [libre-riscv-dev] PPC on Talos and Playstation 3
Cole Poirier [Tue, 31 Mar 2020 23:11:42 +0000 (16:11 -0700)]
Re: [libre-riscv-dev] extremely busy crowdsupply update started
bugzilla-daemon [Tue, 31 Mar 2020 23:07:07 +0000 (23:07 +0000)]
[libre-riscv-dev] [Bug 272] functions needed in POWER simulator which match 3.0B spec
Luke Kenneth Casson Leighton [Tue, 31 Mar 2020 23:01:56 +0000 (23:01 +0000)]
Re: [libre-riscv-dev] PPC on Talos and Playstation 3
bugzilla-daemon [Tue, 31 Mar 2020 22:02:03 +0000 (22:02 +0000)]
[libre-riscv-dev] [Bug 272] functions needed in POWER simulator which match 3.0B spec
Michael Nolan [Tue, 31 Mar 2020 21:57:09 +0000 (17:57 -0400)]
Re: [libre-riscv-dev] PPC on Talos and Playstation 3
bugzilla-daemon [Tue, 31 Mar 2020 20:06:50 +0000 (20:06 +0000)]
[libre-riscv-dev] [Bug 272] functions needed in POWER simulator which match 3.0B spec
bugzilla-daemon [Tue, 31 Mar 2020 18:47:34 +0000 (18:47 +0000)]
[libre-riscv-dev] [Bug 272] functions needed in POWER simulator which match 3.0B spec
bugzilla-daemon [Tue, 31 Mar 2020 18:35:25 +0000 (18:35 +0000)]
[libre-riscv-dev] [Bug 272] functions needed in POWER simulator which match 3.0B spec
Cole Poirier [Tue, 31 Mar 2020 18:35:01 +0000 (11:35 -0700)]
Re: [libre-riscv-dev] extremely busy crowdsupply update started
Luke Kenneth Casson Leighton [Tue, 31 Mar 2020 18:14:26 +0000 (18:14 +0000)]
Re: [libre-riscv-dev] extremely busy crowdsupply update started
Luke Kenneth Casson Leighton [Tue, 31 Mar 2020 18:09:52 +0000 (18:09 +0000)]
Re: [libre-riscv-dev] extremely busy crowdsupply update started
Luke Kenneth Casson Leighton [Tue, 31 Mar 2020 18:08:26 +0000 (18:08 +0000)]
Re: [libre-riscv-dev] Public Inbox
Luke Kenneth Casson Leighton [Tue, 31 Mar 2020 18:06:16 +0000 (18:06 +0000)]
Re: [libre-riscv-dev] Public Inbox
Immanuel, Yehowshua U [Tue, 31 Mar 2020 18:02:56 +0000 (18:02 +0000)]
Re: [libre-riscv-dev] Public Inbox
Jacob Lifshay [Tue, 31 Mar 2020 16:16:09 +0000 (09:16 -0700)]
Re: [libre-riscv-dev] pyobjc, gnu objective-c and gnustep
Jacob Lifshay [Tue, 31 Mar 2020 16:00:03 +0000 (09:00 -0700)]
Re: [libre-riscv-dev] Public Inbox
Luke Kenneth Casson Leighton [Tue, 31 Mar 2020 15:49:36 +0000 (15:49 +0000)]
Re: [libre-riscv-dev] Public Inbox
Jacob Lifshay [Tue, 31 Mar 2020 15:33:33 +0000 (08:33 -0700)]
Re: [libre-riscv-dev] Public Inbox
bugzilla-daemon [Tue, 31 Mar 2020 14:31:00 +0000 (14:31 +0000)]
[libre-riscv-dev] [Bug 272] functions needed in POWER simulator which match 3.0B spec
lkcl . [Tue, 31 Mar 2020 14:30:00 +0000 (14:30 +0000)]
Re: [libre-riscv-dev] pyobjc, gnu objective-c and gnustep
bugzilla-daemon [Tue, 31 Mar 2020 14:24:40 +0000 (14:24 +0000)]
[libre-riscv-dev] [Bug 272] functions needed in POWER simulator which match 3.0B spec
Jean-Paul Chaput [Tue, 31 Mar 2020 14:11:35 +0000 (16:11 +0200)]
Re: [libre-riscv-dev] pyobjc, gnu objective-c and gnustep
bugzilla-daemon [Tue, 31 Mar 2020 13:21:44 +0000 (13:21 +0000)]
[libre-riscv-dev] [Bug 269] auto-conversion / parser of POWER ISA Spec v3.0B
bugzilla-daemon [Tue, 31 Mar 2020 13:06:57 +0000 (13:06 +0000)]
[libre-riscv-dev] [Bug 272] functions needed in POWER simulator which match 3.0B spec
bugzilla-daemon [Tue, 31 Mar 2020 12:57:39 +0000 (12:57 +0000)]
[libre-riscv-dev] [Bug 272] functions needed in POWER simulator which match 3.0B spec
lkcl . [Tue, 31 Mar 2020 11:42:27 +0000 (11:42 +0000)]
Re: [libre-riscv-dev] pyobjc, gnu objective-c and gnustep
Luke Kenneth Casson Leighton [Tue, 31 Mar 2020 11:26:31 +0000 (11:26 +0000)]
Re: [libre-riscv-dev] extremely busy crowdsupply update started
Luke Kenneth Casson Leighton [Tue, 31 Mar 2020 11:17:36 +0000 (11:17 +0000)]
Re: [libre-riscv-dev] extremely busy crowdsupply update started
Luke Kenneth Casson Leighton [Tue, 31 Mar 2020 10:04:08 +0000 (10:04 +0000)]
Re: [libre-riscv-dev] Public Inbox
Luke Kenneth Casson Leighton [Tue, 31 Mar 2020 09:49:11 +0000 (09:49 +0000)]
Re: [libre-riscv-dev] Public Inbox
Luke Kenneth Casson Leighton [Tue, 31 Mar 2020 09:48:04 +0000 (09:48 +0000)]
Re: [libre-riscv-dev] Public Inbox
Luke Kenneth Casson Leighton [Tue, 31 Mar 2020 09:38:56 +0000 (09:38 +0000)]
[libre-riscv-dev] pyobjc, gnu objective-c and gnustep
Luke Kenneth Casson Leighton [Tue, 31 Mar 2020 09:32:51 +0000 (09:32 +0000)]
Re: [libre-riscv-dev] extremely busy crowdsupply update started
Luke Kenneth Casson Leighton [Tue, 31 Mar 2020 09:31:47 +0000 (09:31 +0000)]
Re: [libre-riscv-dev] extremely busy crowdsupply update started
Jean-Paul Chaput [Tue, 31 Mar 2020 08:17:25 +0000 (10:17 +0200)]
Re: [libre-riscv-dev] extremely busy crowdsupply update started
Jacob Lifshay [Tue, 31 Mar 2020 05:20:12 +0000 (22:20 -0700)]
Re: [libre-riscv-dev] Public Inbox
Immanuel, Yehowshua U [Tue, 31 Mar 2020 04:43:54 +0000 (04:43 +0000)]
Re: [libre-riscv-dev] Public Inbox
Immanuel, Yehowshua U [Tue, 31 Mar 2020 04:31:18 +0000 (04:31 +0000)]
Re: [libre-riscv-dev] Public Inbox
Jacob Lifshay [Tue, 31 Mar 2020 04:30:21 +0000 (21:30 -0700)]
Re: [libre-riscv-dev] Public Inbox
Immanuel, Yehowshua U [Tue, 31 Mar 2020 04:27:25 +0000 (04:27 +0000)]
Re: [libre-riscv-dev] Public Inbox
Immanuel, Yehowshua U [Tue, 31 Mar 2020 04:25:02 +0000 (04:25 +0000)]
Re: [libre-riscv-dev] Public Inbox
Immanuel, Yehowshua U [Tue, 31 Mar 2020 04:21:45 +0000 (04:21 +0000)]
Re: [libre-riscv-dev] Public Inbox
projects / libre-riscv-dev.git / log