lkcl [Wed, 17 Aug 2022 13:48:56 +0000 (14:48 +0100)]
lkcl [Wed, 17 Aug 2022 13:21:18 +0000 (14:21 +0100)]
lkcl [Wed, 17 Aug 2022 13:19:52 +0000 (14:19 +0100)]
lkcl [Wed, 17 Aug 2022 13:02:03 +0000 (14:02 +0100)]
lkcl [Wed, 17 Aug 2022 07:37:20 +0000 (08:37 +0100)]
lkcl [Wed, 17 Aug 2022 07:09:28 +0000 (08:09 +0100)]
lkcl [Wed, 17 Aug 2022 02:32:37 +0000 (03:32 +0100)]
lkcl [Wed, 17 Aug 2022 02:25:19 +0000 (03:25 +0100)]
lkcl [Tue, 16 Aug 2022 20:18:52 +0000 (21:18 +0100)]
lkcl [Tue, 16 Aug 2022 19:47:49 +0000 (20:47 +0100)]
R Veera Kumar [Tue, 16 Aug 2022 12:35:12 +0000 (18:05 +0530)]
Add new currently working bug #907
lkcl [Tue, 16 Aug 2022 09:48:11 +0000 (10:48 +0100)]
lkcl [Tue, 16 Aug 2022 09:47:31 +0000 (10:47 +0100)]
lkcl [Tue, 16 Aug 2022 00:49:25 +0000 (01:49 +0100)]
lkcl [Mon, 15 Aug 2022 16:05:45 +0000 (17:05 +0100)]
lkcl [Mon, 15 Aug 2022 15:06:04 +0000 (16:06 +0100)]
lkcl [Mon, 15 Aug 2022 12:15:53 +0000 (13:15 +0100)]
lkcl [Mon, 15 Aug 2022 10:17:08 +0000 (11:17 +0100)]
lkcl [Sun, 14 Aug 2022 16:16:15 +0000 (17:16 +0100)]
lkcl [Sun, 14 Aug 2022 16:03:55 +0000 (17:03 +0100)]
lkcl [Sun, 14 Aug 2022 13:02:03 +0000 (14:02 +0100)]
lkcl [Sun, 14 Aug 2022 12:55:41 +0000 (13:55 +0100)]
lkcl [Sun, 14 Aug 2022 11:55:44 +0000 (12:55 +0100)]
lkcl [Sun, 14 Aug 2022 02:04:23 +0000 (03:04 +0100)]
lkcl [Sun, 14 Aug 2022 00:18:38 +0000 (01:18 +0100)]
lkcl [Sat, 13 Aug 2022 23:20:13 +0000 (00:20 +0100)]
lkcl [Sat, 13 Aug 2022 23:12:31 +0000 (00:12 +0100)]
lkcl [Sat, 13 Aug 2022 23:06:50 +0000 (00:06 +0100)]
lkcl [Sat, 13 Aug 2022 10:58:33 +0000 (11:58 +0100)]
lkcl [Sat, 13 Aug 2022 10:33:11 +0000 (11:33 +0100)]
lkcl [Sat, 13 Aug 2022 10:29:11 +0000 (11:29 +0100)]
lkcl [Sat, 13 Aug 2022 10:18:09 +0000 (11:18 +0100)]
lkcl [Sat, 13 Aug 2022 05:42:05 +0000 (06:42 +0100)]
lkcl [Fri, 12 Aug 2022 17:37:55 +0000 (18:37 +0100)]
lkcl [Fri, 12 Aug 2022 16:56:25 +0000 (17:56 +0100)]
lkcl [Fri, 12 Aug 2022 14:46:23 +0000 (15:46 +0100)]
lkcl [Fri, 12 Aug 2022 14:43:29 +0000 (15:43 +0100)]
lkcl [Fri, 12 Aug 2022 13:59:57 +0000 (14:59 +0100)]
lkcl [Fri, 12 Aug 2022 13:58:47 +0000 (14:58 +0100)]
lkcl [Fri, 12 Aug 2022 13:44:57 +0000 (14:44 +0100)]
lkcl [Fri, 12 Aug 2022 13:42:19 +0000 (14:42 +0100)]
lkcl [Fri, 12 Aug 2022 13:36:26 +0000 (14:36 +0100)]
lkcl [Fri, 12 Aug 2022 11:52:38 +0000 (12:52 +0100)]
clarify about cache-inhibited LD/ST
Luke Kenneth Casson Leighton [Fri, 12 Aug 2022 11:32:56 +0000 (12:32 +0100)]
remove deorecated svfixedload.mdwn, and the svfpload.
they contained non-RISC variants of scalar ops.
lkcl [Fri, 12 Aug 2022 02:01:40 +0000 (03:01 +0100)]
lkcl [Fri, 12 Aug 2022 01:19:15 +0000 (02:19 +0100)]
lkcl [Fri, 12 Aug 2022 01:17:34 +0000 (02:17 +0100)]
lkcl [Fri, 12 Aug 2022 00:47:55 +0000 (01:47 +0100)]
lkcl [Fri, 12 Aug 2022 00:44:50 +0000 (01:44 +0100)]
cleanup of page to remove shift and bitrev
lkcl [Thu, 11 Aug 2022 23:13:08 +0000 (00:13 +0100)]
lkcl [Thu, 11 Aug 2022 23:11:59 +0000 (00:11 +0100)]
lkcl [Thu, 11 Aug 2022 23:10:38 +0000 (00:10 +0100)]
lkcl [Thu, 11 Aug 2022 23:06:46 +0000 (00:06 +0100)]
lkcl [Thu, 11 Aug 2022 22:55:17 +0000 (23:55 +0100)]
lkcl [Thu, 11 Aug 2022 22:54:32 +0000 (23:54 +0100)]
lkcl [Mon, 8 Aug 2022 18:55:57 +0000 (19:55 +0100)]
lkcl [Mon, 8 Aug 2022 11:58:08 +0000 (12:58 +0100)]
lkcl [Mon, 8 Aug 2022 11:49:49 +0000 (12:49 +0100)]
lkcl [Mon, 8 Aug 2022 11:45:06 +0000 (12:45 +0100)]
lkcl [Sun, 7 Aug 2022 23:38:32 +0000 (00:38 +0100)]
lkcl [Sun, 7 Aug 2022 23:08:55 +0000 (00:08 +0100)]
lkcl [Sun, 7 Aug 2022 23:07:09 +0000 (00:07 +0100)]
lkcl [Sun, 7 Aug 2022 11:39:42 +0000 (12:39 +0100)]
lkcl [Wed, 3 Aug 2022 03:18:41 +0000 (04:18 +0100)]
Jacob Lifshay [Tue, 2 Aug 2022 17:33:14 +0000 (10:33 -0700)]
fix URL rendering for VAMP cpu links
lkcl [Tue, 2 Aug 2022 15:46:27 +0000 (16:46 +0100)]
Luke Kenneth Casson Leighton [Tue, 2 Aug 2022 13:44:55 +0000 (14:44 +0100)]
add to resources formal proof for VAMP CPU
Luke Kenneth Casson Leighton [Mon, 1 Aug 2022 20:33:50 +0000 (21:33 +0100)]
cleanup, remove old pages
Luke Kenneth Casson Leighton [Mon, 1 Aug 2022 20:32:57 +0000 (21:32 +0100)]
cleanup, remove old pages
Luke Kenneth Casson Leighton [Mon, 1 Aug 2022 20:31:41 +0000 (21:31 +0100)]
cleanup, remove old pages
Luke Kenneth Casson Leighton [Mon, 1 Aug 2022 19:06:19 +0000 (20:06 +0100)]
cleanup, remove old pages
Luke Kenneth Casson Leighton [Mon, 1 Aug 2022 19:05:03 +0000 (20:05 +0100)]
cleanup, remove old pages
Luke Kenneth Casson Leighton [Mon, 1 Aug 2022 18:48:26 +0000 (19:48 +0100)]
whitespace
Luke Kenneth Casson Leighton [Mon, 1 Aug 2022 18:44:48 +0000 (19:44 +0100)]
add EABI 1.9 Link
toshywoshy [Mon, 1 Aug 2022 17:13:53 +0000 (18:13 +0100)]
lkcl [Mon, 1 Aug 2022 04:12:27 +0000 (05:12 +0100)]
Luke Kenneth Casson Leighton [Mon, 1 Aug 2022 01:58:57 +0000 (02:58 +0100)]
add exec summary link
Luke Kenneth Casson Leighton [Sun, 31 Jul 2022 21:40:20 +0000 (22:40 +0100)]
shorten table, clarify data-dependent fail-first
lkcl [Sun, 31 Jul 2022 17:14:26 +0000 (18:14 +0100)]
lkcl [Sun, 31 Jul 2022 17:12:37 +0000 (18:12 +0100)]
Luke Kenneth Casson Leighton [Sun, 31 Jul 2022 17:00:30 +0000 (18:00 +0100)]
remove atomics from spec, not enough research done yet
lkcl [Sun, 31 Jul 2022 16:57:44 +0000 (17:57 +0100)]
lkcl [Sun, 31 Jul 2022 15:57:30 +0000 (16:57 +0100)]
lkcl [Sun, 31 Jul 2022 15:56:22 +0000 (16:56 +0100)]
lkcl [Sun, 31 Jul 2022 15:54:49 +0000 (16:54 +0100)]
lkcl [Sun, 31 Jul 2022 15:53:36 +0000 (16:53 +0100)]
lkcl [Sun, 31 Jul 2022 15:38:26 +0000 (16:38 +0100)]
Luke Kenneth Casson Leighton [Sun, 31 Jul 2022 15:33:45 +0000 (16:33 +0100)]
add budget note
Luke Kenneth Casson Leighton [Sun, 31 Jul 2022 15:27:35 +0000 (16:27 +0100)]
add trust bit
Luke Kenneth Casson Leighton [Sun, 31 Jul 2022 15:20:46 +0000 (16:20 +0100)]
words for nlnet ongoing 2022 grant
Luke Kenneth Casson Leighton [Sun, 31 Jul 2022 14:28:45 +0000 (15:28 +0100)]
add stub nlnet ongoing grant 2022
lkcl [Sun, 31 Jul 2022 14:18:03 +0000 (15:18 +0100)]
lkcl [Sun, 31 Jul 2022 14:13:18 +0000 (15:13 +0100)]
Luke Kenneth Casson Leighton [Sun, 31 Jul 2022 04:42:42 +0000 (05:42 +0100)]
clarify scalar book section
lkcl [Sat, 30 Jul 2022 23:54:45 +0000 (00:54 +0100)]
Luke Kenneth Casson Leighton [Sat, 30 Jul 2022 20:18:34 +0000 (21:18 +0100)]
correct inline svanalysis into PDF
Luke Kenneth Casson Leighton [Sat, 30 Jul 2022 20:02:27 +0000 (21:02 +0100)]
add svanalysis to spec
Luke Kenneth Casson Leighton [Sat, 30 Jul 2022 19:53:13 +0000 (20:53 +0100)]
add svanalysis page
lkcl [Sat, 30 Jul 2022 19:33:01 +0000 (20:33 +0100)]
Luke Kenneth Casson Leighton [Sat, 30 Jul 2022 01:14:12 +0000 (02:14 +0100)]
use alpha-numeric footnote numbering