Cesar_Strauss [Tue, 19 Mar 2024 17:33:51 +0000 (17:33 +0000)]
Jacob Lifshay [Tue, 19 Mar 2024 17:19:36 +0000 (10:19 -0700)]
update meeting notes
Jacob Lifshay [Tue, 19 Mar 2024 17:16:36 +0000 (10:16 -0700)]
add meeting doc
programmerjake [Tue, 12 Mar 2024 17:43:32 +0000 (17:43 +0000)]
Luke Kenneth Casson Leighton [Tue, 12 Mar 2024 17:42:07 +0000 (17:42 +0000)]
add note about stress levels and visits to hospital
Luke Kenneth Casson Leighton [Tue, 12 Mar 2024 17:37:38 +0000 (17:37 +0000)]
cesar got a touchscreen for orangecrab
Luke Kenneth Casson Leighton [Tue, 12 Mar 2024 17:35:51 +0000 (17:35 +0000)]
cesar suggest tobias do orangecrab
Luke Kenneth Casson Leighton [Tue, 12 Mar 2024 17:33:56 +0000 (17:33 +0000)]
cesar nexys video fpga arrived
Luke Kenneth Casson Leighton [Tue, 12 Mar 2024 17:31:59 +0000 (17:31 +0000)]
rita attending research course
programmerjake [Tue, 12 Mar 2024 17:33:20 +0000 (17:33 +0000)]
programmerjake [Tue, 12 Mar 2024 17:32:55 +0000 (17:32 +0000)]
programmerjake [Tue, 12 Mar 2024 17:32:11 +0000 (17:32 +0000)]
programmerjake [Tue, 12 Mar 2024 17:31:50 +0000 (17:31 +0000)]
programmerjake [Tue, 12 Mar 2024 17:31:10 +0000 (17:31 +0000)]
Luke Kenneth Casson Leighton [Tue, 12 Mar 2024 17:29:19 +0000 (17:29 +0000)]
add bit about 1150
programmerjake [Tue, 12 Mar 2024 17:20:19 +0000 (17:20 +0000)]
Luke Kenneth Casson Leighton [Tue, 12 Mar 2024 17:15:55 +0000 (17:15 +0000)]
add grant number
Luke Kenneth Casson Leighton [Tue, 12 Mar 2024 17:11:06 +0000 (17:11 +0000)]
add meeting notes 2024-03-12
Dmitry Selyutin [Sun, 10 Mar 2024 09:53:02 +0000 (12:53 +0300)]
ppc_svp64_autogen: minor fixes
Dmitry Selyutin [Wed, 6 Mar 2024 19:20:48 +0000 (22:20 +0300)]
nlnet_proposals: mention ppc_svp64_autogen
Dmitry Selyutin [Wed, 6 Mar 2024 19:19:23 +0000 (22:19 +0300)]
ppc_svp64_autogen: introduce proposal page
programmerjake [Tue, 5 Mar 2024 17:24:53 +0000 (17:24 +0000)]
lkcl [Tue, 5 Mar 2024 17:21:19 +0000 (17:21 +0000)]
lkcl [Tue, 5 Mar 2024 17:15:04 +0000 (17:15 +0000)]
lkcl [Tue, 5 Mar 2024 17:12:36 +0000 (17:12 +0000)]
lkcl [Tue, 5 Mar 2024 17:05:48 +0000 (17:05 +0000)]
lkcl [Tue, 5 Mar 2024 17:01:45 +0000 (17:01 +0000)]
Luke Kenneth Casson Leighton [Tue, 5 Mar 2024 16:59:04 +0000 (16:59 +0000)]
add stub meeting 2024-03-05
Luke Kenneth Casson Leighton [Tue, 5 Mar 2024 14:31:39 +0000 (14:31 +0000)]
bug 1155: add svshape4 into PO5. fits barely
Cesar Strauss [Wed, 28 Feb 2024 10:23:34 +0000 (07:23 -0300)]
Updated tasks for 2024-02-27 meeting
lkcl [Tue, 27 Feb 2024 21:00:09 +0000 (21:00 +0000)]
lkcl [Tue, 27 Feb 2024 17:42:42 +0000 (17:42 +0000)]
lkcl [Tue, 27 Feb 2024 17:38:36 +0000 (17:38 +0000)]
programmerjake [Tue, 27 Feb 2024 17:36:20 +0000 (17:36 +0000)]
programmerjake [Tue, 27 Feb 2024 17:33:52 +0000 (17:33 +0000)]
programmerjake [Tue, 27 Feb 2024 17:33:15 +0000 (17:33 +0000)]
lkcl [Tue, 27 Feb 2024 17:14:42 +0000 (17:14 +0000)]
Luke Kenneth Casson Leighton [Tue, 27 Feb 2024 17:03:20 +0000 (17:03 +0000)]
add stub 2024-02-27 meeting
lkcl [Tue, 20 Feb 2024 17:31:44 +0000 (17:31 +0000)]
lkcl [Tue, 20 Feb 2024 17:22:12 +0000 (17:22 +0000)]
lkcl [Tue, 20 Feb 2024 17:21:24 +0000 (17:21 +0000)]
lkcl [Tue, 20 Feb 2024 17:19:18 +0000 (17:19 +0000)]
programmerjake [Tue, 20 Feb 2024 17:16:48 +0000 (17:16 +0000)]
lkcl [Tue, 20 Feb 2024 17:14:56 +0000 (17:14 +0000)]
lkcl [Tue, 20 Feb 2024 15:16:20 +0000 (15:16 +0000)]
lkcl [Sat, 17 Feb 2024 23:49:36 +0000 (23:49 +0000)]
lkcl [Sat, 17 Feb 2024 23:47:11 +0000 (23:47 +0000)]
lkcl [Sat, 17 Feb 2024 23:46:14 +0000 (23:46 +0000)]
lkcl [Sat, 17 Feb 2024 23:45:13 +0000 (23:45 +0000)]
lkcl [Tue, 13 Feb 2024 17:20:00 +0000 (17:20 +0000)]
lkcl [Tue, 13 Feb 2024 17:18:56 +0000 (17:18 +0000)]
lkcl [Tue, 13 Feb 2024 17:17:38 +0000 (17:17 +0000)]
programmerjake [Tue, 13 Feb 2024 17:00:36 +0000 (17:00 +0000)]
Cesar Strauss [Tue, 13 Feb 2024 16:56:41 +0000 (13:56 -0300)]
Remove old news, add FOSDEM related activities.
lkcl [Tue, 13 Feb 2024 16:00:26 +0000 (16:00 +0000)]
Luke Kenneth Casson Leighton [Tue, 13 Feb 2024 15:58:44 +0000 (15:58 +0000)]
bug 1244: add video link to ddffirst talk
Luke Kenneth Casson Leighton [Tue, 13 Feb 2024 14:42:19 +0000 (14:42 +0000)]
add cesar and tobias meeting notes
Luke Kenneth Casson Leighton [Tue, 13 Feb 2024 14:38:59 +0000 (14:38 +0000)]
add sync up 2024-02-13 page
Cesar Strauss [Tue, 13 Feb 2024 13:43:27 +0000 (10:43 -0300)]
bug 1220: add a few more slides with examples
I did a practice run of the talk, and turns out I still had time to
show some more examples.
Added: verification of memories, streams and partitioned SIMD
Luke Kenneth Casson Leighton [Tue, 13 Feb 2024 12:20:12 +0000 (12:20 +0000)]
bug 1244: add pospopcount cookbook link
Luke Kenneth Casson Leighton [Tue, 13 Feb 2024 12:15:05 +0000 (12:15 +0000)]
bug 1244: update maxloc slides after finding shorter algorithm
Luke Kenneth Casson Leighton [Tue, 13 Feb 2024 12:09:46 +0000 (12:09 +0000)]
bug 676: noted a way to reduce the number of instructions
Luke Kenneth Casson Leighton [Mon, 12 Feb 2024 17:51:50 +0000 (17:51 +0000)]
bug 1244: add assembler and python maxloc listing to slides
Luke Kenneth Casson Leighton [Mon, 12 Feb 2024 17:46:55 +0000 (17:46 +0000)]
bug 1244: add maxloc.s and maxloc.py
Luke Kenneth Casson Leighton [Mon, 12 Feb 2024 17:44:45 +0000 (17:44 +0000)]
bug 1244: maxloc talk, update intro and summary slide
Luke Kenneth Casson Leighton [Mon, 12 Feb 2024 16:50:47 +0000 (16:50 +0000)]
update fosdem 2024 ddffirst strncpy section on slides
Luke Kenneth Casson Leighton [Mon, 12 Feb 2024 10:29:25 +0000 (10:29 +0000)]
bug 676: complete description of maxloc algorithm
Luke Kenneth Casson Leighton [Sun, 11 Feb 2024 15:26:07 +0000 (15:26 +0000)]
add strncpy TODO background
Luke Kenneth Casson Leighton [Sat, 10 Feb 2024 19:46:33 +0000 (19:46 +0000)]
minor priority/wording change on ls006.fpintmv
Luke Kenneth Casson Leighton [Sat, 10 Feb 2024 19:43:36 +0000 (19:43 +0000)]
update date and status of ls006.fpintmv
Luke Kenneth Casson Leighton [Fri, 9 Feb 2024 11:37:38 +0000 (11:37 +0000)]
bug 1015:deferring the TODO, it can wait. spelling. whitespace
Luke Kenneth Casson Leighton [Wed, 7 Feb 2024 20:16:08 +0000 (20:16 +0000)]
note update date on RFC ls004 (v2)
Luke Kenneth Casson Leighton [Wed, 7 Feb 2024 13:24:21 +0000 (13:24 +0000)]
bug 1055: add fixed/fp load/store shifted to ls004
lkcl [Tue, 6 Feb 2024 17:44:43 +0000 (17:44 +0000)]
lkcl [Tue, 6 Feb 2024 17:37:02 +0000 (17:37 +0000)]
lkcl [Tue, 6 Feb 2024 17:31:46 +0000 (17:31 +0000)]
lkcl [Tue, 6 Feb 2024 17:27:25 +0000 (17:27 +0000)]
lkcl [Tue, 6 Feb 2024 17:24:17 +0000 (17:24 +0000)]
lkcl [Tue, 6 Feb 2024 17:17:58 +0000 (17:17 +0000)]
lkcl [Tue, 6 Feb 2024 17:12:12 +0000 (17:12 +0000)]
lkcl [Tue, 6 Feb 2024 17:08:09 +0000 (17:08 +0000)]
Luke Kenneth Casson Leighton [Tue, 6 Feb 2024 15:19:36 +0000 (15:19 +0000)]
bug 676 more on maxloc
Luke Kenneth Casson Leighton [Tue, 6 Feb 2024 14:15:56 +0000 (14:15 +0000)]
bug 676: notes on maxloc algorithm, add python version for clarity
Luke Kenneth Casson Leighton [Tue, 6 Feb 2024 13:51:53 +0000 (13:51 +0000)]
bug 676: tidyup and add svp64 assembler to cookbook page
Luke Kenneth Casson Leighton [Tue, 6 Feb 2024 13:42:44 +0000 (13:42 +0000)]
whitespace
lkcl [Mon, 5 Feb 2024 14:00:53 +0000 (14:00 +0000)]
Jacob Lifshay [Sat, 3 Feb 2024 00:26:23 +0000 (16:26 -0800)]
fosdem2024_bigint: add TODO for adding intro and stuff
lkcl [Fri, 2 Feb 2024 19:03:03 +0000 (19:03 +0000)]
Jacob Lifshay [Thu, 1 Feb 2024 06:38:24 +0000 (22:38 -0800)]
fosdem2024_bigint: add end slide
turns out \href is broken when giving it a url with multiple # characters,
so I had to use \hyperref shenanigans to get it to link to the right url
Jacob Lifshay [Thu, 1 Feb 2024 04:07:02 +0000 (20:07 -0800)]
fosdem2024_bigint: mul pipe diagram completed
Jacob Lifshay [Wed, 31 Jan 2024 08:57:11 +0000 (00:57 -0800)]
add WIP bigint-mul-pipe.dia
Jacob Lifshay [Wed, 31 Jan 2024 08:55:04 +0000 (00:55 -0800)]
fosdem2024_bigint: add continuous target: watches when files changes then rebuilds
Jacob Lifshay [Wed, 31 Jan 2024 07:12:36 +0000 (23:12 -0800)]
fosdem2024_bigint: change add ops to use box to avoid confusion with XOR
Cesar Strauss [Tue, 30 Jan 2024 22:25:03 +0000 (19:25 -0300)]
fosdem2024_formal: add slides and diagrams
See Bug #1220:
An introduction to Formal Verification of Digital Circuits
Tobias Platen [Tue, 30 Jan 2024 21:37:20 +0000 (22:37 +0100)]
TODO cleanup
Jacob Lifshay [Tue, 30 Jan 2024 18:19:51 +0000 (10:19 -0800)]
update Rita's section, she joined IRC
Jacob Lifshay [Tue, 30 Jan 2024 17:51:46 +0000 (09:51 -0800)]
sync_up_2024-01-30: fill in my section
lkcl [Tue, 30 Jan 2024 17:42:22 +0000 (17:42 +0000)]
lkcl [Tue, 30 Jan 2024 17:41:35 +0000 (17:41 +0000)]
lkcl [Tue, 30 Jan 2024 17:08:09 +0000 (17:08 +0000)]
projects / libreriscv.git / log