Luke Kenneth Casson Leighton [Fri, 3 Apr 2020 19:44:33 +0000 (20:44 +0100)]
Re: [libre-riscv-dev] finishing off the crowdsupply update
Cole Poirier [Fri, 3 Apr 2020 19:43:07 +0000 (12:43 -0700)]
Re: [libre-riscv-dev] finishing off the crowdsupply update
Luke Kenneth Casson Leighton [Fri, 3 Apr 2020 19:40:04 +0000 (20:40 +0100)]
Re: [libre-riscv-dev] finishing off the crowdsupply update
Cole Poirier [Fri, 3 Apr 2020 19:39:13 +0000 (12:39 -0700)]
Re: [libre-riscv-dev] finishing off the crowdsupply update
Luke Kenneth Casson Leighton [Fri, 3 Apr 2020 19:35:34 +0000 (20:35 +0100)]
Re: [libre-riscv-dev] finishing off the crowdsupply update
Cole Poirier [Fri, 3 Apr 2020 19:27:42 +0000 (12:27 -0700)]
Re: [libre-riscv-dev] finishing off the crowdsupply update
Luke Kenneth Casson Leighton [Fri, 3 Apr 2020 19:24:06 +0000 (20:24 +0100)]
Re: [libre-riscv-dev] submitted bugreport to upstream nmigen
bugzilla-daemon [Fri, 3 Apr 2020 19:21:57 +0000 (19:21 +0000)]
[libre-riscv-dev] [Bug 276] SR NAND Latch needed in nmigen
bugzilla-daemon [Fri, 3 Apr 2020 19:11:26 +0000 (19:11 +0000)]
[libre-riscv-dev] [Bug 269] auto-conversion / parser of POWER ISA Spec v3.0B
bugzilla-daemon [Fri, 3 Apr 2020 18:51:45 +0000 (18:51 +0000)]
[libre-riscv-dev] [Bug 276] SR NAND Latch needed in nmigen
bugzilla-daemon [Fri, 3 Apr 2020 18:50:39 +0000 (18:50 +0000)]
[libre-riscv-dev] [Bug 185] Getting 502 Bad Gateway
Luke Kenneth Casson Leighton [Fri, 3 Apr 2020 18:49:53 +0000 (19:49 +0100)]
Re: [libre-riscv-dev] parser precedence, code review / checking needed
bugzilla-daemon [Fri, 3 Apr 2020 18:45:10 +0000 (18:45 +0000)]
[libre-riscv-dev] [Bug 269] auto-conversion / parser of POWER ISA Spec v3.0B
bugzilla-daemon [Fri, 3 Apr 2020 18:37:23 +0000 (18:37 +0000)]
[libre-riscv-dev] [Bug 269] auto-conversion / parser of POWER ISA Spec v3.0B
bugzilla-daemon [Fri, 3 Apr 2020 18:32:03 +0000 (18:32 +0000)]
[libre-riscv-dev] [Bug 185] Getting 502 Bad Gateway
Jacob Lifshay [Fri, 3 Apr 2020 18:26:27 +0000 (11:26 -0700)]
Re: [libre-riscv-dev] submitted bugreport to upstream nmigen
Jacob Lifshay [Fri, 3 Apr 2020 18:22:56 +0000 (11:22 -0700)]
Re: [libre-riscv-dev] parser precedence, code review / checking needed
bugzilla-daemon [Fri, 3 Apr 2020 18:13:27 +0000 (18:13 +0000)]
[libre-riscv-dev] [Bug 275] errata in V3.0B spec pseudo-code, page 88
Luke Kenneth Casson Leighton [Fri, 3 Apr 2020 18:11:51 +0000 (19:11 +0100)]
Re: [libre-riscv-dev] submitted bugreport to upstream nmigen
bugzilla-daemon [Fri, 3 Apr 2020 18:00:56 +0000 (18:00 +0000)]
[libre-riscv-dev] [Bug 275] errata in V3.0B spec pseudo-code, page 88
Jacob Lifshay [Fri, 3 Apr 2020 17:41:43 +0000 (10:41 -0700)]
Re: [libre-riscv-dev] submitted bugreport to upstream nmigen
Luke Kenneth Casson Leighton [Fri, 3 Apr 2020 15:19:36 +0000 (16:19 +0100)]
[libre-riscv-dev] parser precedence, code review / checking needed
bugzilla-daemon [Fri, 3 Apr 2020 14:52:01 +0000 (14:52 +0000)]
[libre-riscv-dev] [Bug 275] errata in V3.0B spec pseudo-code, page 88
bugzilla-daemon [Fri, 3 Apr 2020 14:02:21 +0000 (14:02 +0000)]
[libre-riscv-dev] [Bug 276] SR NAND Latch needed in nmigen
bugzilla-daemon [Fri, 3 Apr 2020 13:58:51 +0000 (13:58 +0000)]
[libre-riscv-dev] [Bug 276] SR NAND Latch needed in nmigen
bugzilla-daemon [Fri, 3 Apr 2020 13:42:15 +0000 (13:42 +0000)]
[libre-riscv-dev] [Bug 276] SR NAND Latch needed in nmigen
bugzilla-daemon [Fri, 3 Apr 2020 13:24:01 +0000 (13:24 +0000)]
[libre-riscv-dev] [Bug 276] SR NAND Latch needed in nmigen
bugzilla-daemon [Fri, 3 Apr 2020 12:52:17 +0000 (12:52 +0000)]
[libre-riscv-dev] [Bug 276] SR NAND Latch needed in nmigen
bugzilla-daemon [Fri, 3 Apr 2020 12:12:10 +0000 (12:12 +0000)]
[libre-riscv-dev] [Bug 277] New: evaluate proposal of portions of nmutil for review and inclusion in nmigen
bugzilla-daemon [Fri, 3 Apr 2020 12:11:31 +0000 (12:11 +0000)]
[libre-riscv-dev] [Bug 276] SR NAND Latch needed in nmigen
bugzilla-daemon [Fri, 3 Apr 2020 12:05:29 +0000 (12:05 +0000)]
[libre-riscv-dev] [Bug 276] SR NAND Latch needed in nmigen
N.A. [Fri, 3 Apr 2020 10:52:10 +0000 (12:52 +0200)]
Re: [libre-riscv-dev] sorry state of ieee754fpu repo -- CI desperately needed
N.A. [Fri, 3 Apr 2020 10:28:53 +0000 (12:28 +0200)]
Re: [libre-riscv-dev] sorry state of ieee754fpu repo -- CI desperately needed
Luke Kenneth Casson Leighton [Fri, 3 Apr 2020 11:09:30 +0000 (12:09 +0100)]
Re: [libre-riscv-dev] sorry state of ieee754fpu repo -- CI desperately needed
bugzilla-daemon [Fri, 3 Apr 2020 11:00:13 +0000 (11:00 +0000)]
[libre-riscv-dev] [Bug 276] SR NAND Latch needed in nmigen
Frieder Paape [Fri, 3 Apr 2020 10:52:31 +0000 (12:52 +0200)]
Re: [libre-riscv-dev] sorry state of ieee754fpu repo -- CI desperately needed
Luke Kenneth Casson Leighton [Fri, 3 Apr 2020 10:48:10 +0000 (11:48 +0100)]
Re: [libre-riscv-dev] sorry state of ieee754fpu repo -- CI desperately needed
Luke Kenneth Casson Leighton [Fri, 3 Apr 2020 10:37:55 +0000 (11:37 +0100)]
Re: [libre-riscv-dev] submitted bugreport to upstream nmigen
Frieder Paape [Fri, 3 Apr 2020 10:29:59 +0000 (12:29 +0200)]
Re: [libre-riscv-dev] sorry state of ieee754fpu repo -- CI desperately needed
Luke Kenneth Casson Leighton [Fri, 3 Apr 2020 10:28:54 +0000 (11:28 +0100)]
Re: [libre-riscv-dev] finishing off the crowdsupply update
Luke Kenneth Casson Leighton [Fri, 3 Apr 2020 10:24:57 +0000 (11:24 +0100)]
Re: [libre-riscv-dev] sorry state of ieee754fpu repo -- CI desperately needed
bugzilla-daemon [Fri, 3 Apr 2020 10:00:37 +0000 (10:00 +0000)]
[libre-riscv-dev] [Bug 276] New: SR NAND Latch needed in nmigrn
Jacob Lifshay [Fri, 3 Apr 2020 07:04:16 +0000 (00:04 -0700)]
[libre-riscv-dev] sorry state of ieee754fpu repo -- CI desperately needed
Jacob Lifshay [Fri, 3 Apr 2020 04:10:25 +0000 (21:10 -0700)]
Re: [libre-riscv-dev] submitted bugreport to upstream nmigen
Jacob Lifshay [Thu, 2 Apr 2020 22:59:06 +0000 (15:59 -0700)]
[libre-riscv-dev] finishing off the crowdsupply update
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
projects / libre-riscv-dev.git / log