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)]
lkcl [Tue, 30 Jan 2024 17:05:55 +0000 (17:05 +0000)]
lkcl [Tue, 30 Jan 2024 17:02:56 +0000 (17:02 +0000)]
lkcl [Tue, 30 Jan 2024 16:56:22 +0000 (16:56 +0000)]
Luke Kenneth Casson Leighton [Tue, 30 Jan 2024 16:54:22 +0000 (16:54 +0000)]
add cesar
Luke Kenneth Casson Leighton [Tue, 30 Jan 2024 16:32:32 +0000 (16:32 +0000)]
add stub sync meeting 2024-01-30
Luke Kenneth Casson Leighton [Tue, 30 Jan 2024 16:17:50 +0000 (16:17 +0000)]
add notes on 2024-01-23 meeting. terminated due to harrassment
Jacob Lifshay [Tue, 30 Jan 2024 05:23:08 +0000 (21:23 -0800)]
fosdem2024_bigint: add sv.maddedu diagram
Jacob Lifshay [Tue, 30 Jan 2024 05:22:23 +0000 (21:22 -0800)]
fosdem2024_bigint: improve sv.adde diagram
Jacob Lifshay [Tue, 30 Jan 2024 05:20:27 +0000 (21:20 -0800)]
fosdem2024_bigint: improve latex escaping for dia
Jacob Lifshay [Tue, 30 Jan 2024 05:17:14 +0000 (21:17 -0800)]
fosdem2024_bigint: remove test.dia
Jacob Lifshay [Mon, 29 Jan 2024 09:35:25 +0000 (01:35 -0800)]
fosdem2024_bigint/Makefile: add upload target
Jacob Lifshay [Mon, 29 Jan 2024 09:26:31 +0000 (01:26 -0800)]
fosdem2024_bigint: add sv.adde.dia -- flow diagram of how sv.adde works
Jacob Lifshay [Mon, 29 Jan 2024 08:38:38 +0000 (00:38 -0800)]
fosdem2024_bigint: start adding multiplication section
Tobias Platen [Sun, 28 Jan 2024 19:13:28 +0000 (20:13 +0100)]
add fosdem slides
Luke Kenneth Casson Leighton [Sat, 27 Jan 2024 12:50:05 +0000 (12:50 +0000)]
bug 1034: update spec page on bin/tern lut2/lut3
Luke Kenneth Casson Leighton [Sat, 27 Jan 2024 11:56:06 +0000 (11:56 +0000)]
bug 1034: redo PO5 table, to fit crternlogi crfternlogi etc.
Luke Kenneth Casson Leighton [Mon, 22 Jan 2024 13:57:17 +0000 (13:57 +0000)]
bug 1034: making room for crfbinlog/crfternlogi/crbinlog/crternlogi
Luke Kenneth Casson Leighton [Sat, 20 Jan 2024 18:21:34 +0000 (18:21 +0000)]
move madd/sub to PO5
Luke Kenneth Casson Leighton [Sat, 20 Jan 2024 18:21:04 +0000 (18:21 +0000)]
ternary function changed to BM2 form
Luke Kenneth Casson Leighton [Tue, 16 Jan 2024 14:20:00 +0000 (14:20 +0000)]
crternlogi does not have a BFC operand (not enough space)
lkcl [Sun, 21 Jan 2024 23:17:09 +0000 (23:17 +0000)]
Jacob Lifshay [Sat, 20 Jan 2024 00:31:18 +0000 (16:31 -0800)]
flesh out bigint add pipe slides
Jacob Lifshay [Fri, 19 Jan 2024 08:38:02 +0000 (00:38 -0800)]
add WIP 256-bit add frame
Jacob Lifshay [Fri, 19 Jan 2024 07:54:00 +0000 (23:54 -0800)]
fosdem2024_bigint.tex: add bigint add frame
Jacob Lifshay [Fri, 19 Jan 2024 07:42:14 +0000 (23:42 -0800)]
fosdem2024_bigint.tex: use setvl
Jacob Lifshay [Fri, 19 Jan 2024 07:41:37 +0000 (23:41 -0800)]
fosdem2024_bigint.tex: change Libre-SOC to link
Jacob Lifshay [Fri, 19 Jan 2024 07:15:38 +0000 (23:15 -0800)]
add SVP64 intro page
Jacob Lifshay [Fri, 19 Jan 2024 07:15:19 +0000 (23:15 -0800)]
add short title
Jacob Lifshay [Fri, 19 Jan 2024 07:14:52 +0000 (23:14 -0800)]
remove deprecated [slidestop]
Jacob Lifshay [Fri, 19 Jan 2024 07:14:32 +0000 (23:14 -0800)]
switch pdf mode
Jacob Lifshay [Fri, 19 Jan 2024 05:43:39 +0000 (21:43 -0800)]
remove unnecessary Makefile section
Jacob Lifshay [Fri, 19 Jan 2024 05:41:30 +0000 (21:41 -0800)]
got dia files to work, they're autoconverted to tex
projects / libreriscv.git / log