libreriscv.git
2 years agoadd to resources formal proof for VAMP CPU
Luke Kenneth Casson Leighton [Tue, 2 Aug 2022 13:44:55 +0000 (14:44 +0100)]
add to resources formal proof for VAMP CPU

2 years agocleanup, remove old pages
Luke Kenneth Casson Leighton [Mon, 1 Aug 2022 20:33:50 +0000 (21:33 +0100)]
cleanup, remove old pages

2 years agocleanup, remove old pages
Luke Kenneth Casson Leighton [Mon, 1 Aug 2022 20:32:57 +0000 (21:32 +0100)]
cleanup, remove old pages

2 years agocleanup, remove old pages
Luke Kenneth Casson Leighton [Mon, 1 Aug 2022 20:31:41 +0000 (21:31 +0100)]
cleanup, remove old pages

2 years agocleanup, remove old pages
Luke Kenneth Casson Leighton [Mon, 1 Aug 2022 19:06:19 +0000 (20:06 +0100)]
cleanup, remove old pages

2 years agocleanup, remove old pages
Luke Kenneth Casson Leighton [Mon, 1 Aug 2022 19:05:03 +0000 (20:05 +0100)]
cleanup, remove old pages

2 years agowhitespace
Luke Kenneth Casson Leighton [Mon, 1 Aug 2022 18:48:26 +0000 (19:48 +0100)]
whitespace

2 years agoadd EABI 1.9 Link
Luke Kenneth Casson Leighton [Mon, 1 Aug 2022 18:44:48 +0000 (19:44 +0100)]
add EABI 1.9  Link

2 years ago(no commit message)
toshywoshy [Mon, 1 Aug 2022 17:13:53 +0000 (18:13 +0100)]

2 years ago(no commit message)
lkcl [Mon, 1 Aug 2022 04:12:27 +0000 (05:12 +0100)]

2 years agoadd exec summary link
Luke Kenneth Casson Leighton [Mon, 1 Aug 2022 01:58:57 +0000 (02:58 +0100)]
add exec summary link

2 years agoshorten table, clarify data-dependent fail-first
Luke Kenneth Casson Leighton [Sun, 31 Jul 2022 21:40:20 +0000 (22:40 +0100)]
shorten table, clarify data-dependent fail-first

2 years ago(no commit message)
lkcl [Sun, 31 Jul 2022 17:14:26 +0000 (18:14 +0100)]

2 years ago(no commit message)
lkcl [Sun, 31 Jul 2022 17:12:37 +0000 (18:12 +0100)]

2 years agoremove atomics from spec, not enough research done yet
Luke Kenneth Casson Leighton [Sun, 31 Jul 2022 17:00:30 +0000 (18:00 +0100)]
remove atomics from spec, not enough research done yet

2 years ago(no commit message)
lkcl [Sun, 31 Jul 2022 16:57:44 +0000 (17:57 +0100)]

2 years ago(no commit message)
lkcl [Sun, 31 Jul 2022 15:57:30 +0000 (16:57 +0100)]

2 years ago(no commit message)
lkcl [Sun, 31 Jul 2022 15:56:22 +0000 (16:56 +0100)]

2 years ago(no commit message)
lkcl [Sun, 31 Jul 2022 15:54:49 +0000 (16:54 +0100)]

2 years ago(no commit message)
lkcl [Sun, 31 Jul 2022 15:53:36 +0000 (16:53 +0100)]

2 years ago(no commit message)
lkcl [Sun, 31 Jul 2022 15:38:26 +0000 (16:38 +0100)]

2 years agoadd budget note
Luke Kenneth Casson Leighton [Sun, 31 Jul 2022 15:33:45 +0000 (16:33 +0100)]
add budget note

2 years agoadd trust bit
Luke Kenneth Casson Leighton [Sun, 31 Jul 2022 15:27:35 +0000 (16:27 +0100)]
add trust bit

2 years agowords for nlnet ongoing 2022 grant
Luke Kenneth Casson Leighton [Sun, 31 Jul 2022 15:20:46 +0000 (16:20 +0100)]
words for nlnet ongoing 2022 grant

2 years agoadd stub nlnet ongoing grant 2022
Luke Kenneth Casson Leighton [Sun, 31 Jul 2022 14:28:45 +0000 (15:28 +0100)]
add stub nlnet ongoing grant 2022

2 years ago(no commit message)
lkcl [Sun, 31 Jul 2022 14:18:03 +0000 (15:18 +0100)]

2 years ago(no commit message)
lkcl [Sun, 31 Jul 2022 14:13:18 +0000 (15:13 +0100)]

2 years agoclarify scalar book section
Luke Kenneth Casson Leighton [Sun, 31 Jul 2022 04:42:42 +0000 (05:42 +0100)]
clarify scalar book section

2 years ago(no commit message)
lkcl [Sat, 30 Jul 2022 23:54:45 +0000 (00:54 +0100)]

2 years agocorrect inline svanalysis into PDF
Luke Kenneth Casson Leighton [Sat, 30 Jul 2022 20:18:34 +0000 (21:18 +0100)]
correct inline svanalysis into PDF

2 years agoadd svanalysis to spec
Luke Kenneth Casson Leighton [Sat, 30 Jul 2022 20:02:27 +0000 (21:02 +0100)]
add svanalysis to spec

2 years agoadd svanalysis page
Luke Kenneth Casson Leighton [Sat, 30 Jul 2022 19:53:13 +0000 (20:53 +0100)]
add svanalysis page

2 years ago(no commit message)
lkcl [Sat, 30 Jul 2022 19:33:01 +0000 (20:33 +0100)]

2 years agouse alpha-numeric footnote numbering
Luke Kenneth Casson Leighton [Sat, 30 Jul 2022 01:14:12 +0000 (02:14 +0100)]
use alpha-numeric footnote numbering

2 years agouse alpha-numeric footnote numbering
Luke Kenneth Casson Leighton [Sat, 30 Jul 2022 01:10:53 +0000 (02:10 +0100)]
use alpha-numeric footnote numbering

2 years agogrr use sftp
Luke Kenneth Casson Leighton [Sat, 30 Jul 2022 01:10:26 +0000 (02:10 +0100)]
grr use sftp

2 years agofound answer on SVE2 SMA: it is power-2 boundaried
Luke Kenneth Casson Leighton [Fri, 29 Jul 2022 23:25:13 +0000 (00:25 +0100)]
found answer on SVE2 SMA: it is power-2 boundaried

2 years ago(no commit message)
lkcl [Fri, 29 Jul 2022 17:22:07 +0000 (18:22 +0100)]

2 years agoadd obsolete tag
Luke Kenneth Casson Leighton [Fri, 29 Jul 2022 14:21:23 +0000 (15:21 +0100)]
add obsolete tag

2 years agoCARRY-add on 66000 is 1-bit (duh)
Luke Kenneth Casson Leighton [Fri, 29 Jul 2022 12:10:33 +0000 (13:10 +0100)]
CARRY-add on 66000 is 1-bit (duh)

2 years agoclarify MyISA 66000g
Luke Kenneth Casson Leighton [Fri, 29 Jul 2022 12:05:26 +0000 (13:05 +0100)]
clarify MyISA 66000g

2 years agoadd MyISA 66000 to comparison table
Luke Kenneth Casson Leighton [Fri, 29 Jul 2022 12:00:16 +0000 (13:00 +0100)]
add MyISA 66000 to comparison table

2 years agoget some table lines onto one line
Luke Kenneth Casson Leighton [Fri, 29 Jul 2022 11:46:31 +0000 (12:46 +0100)]
get some table lines onto one line

2 years agowhitespace
Luke Kenneth Casson Leighton [Fri, 29 Jul 2022 11:33:18 +0000 (12:33 +0100)]
whitespace

2 years agorestored numbers for footnotes, got width of ascii table back down to under 250 chara...
Luke Kenneth Casson Leighton [Fri, 29 Jul 2022 11:31:29 +0000 (12:31 +0100)]
restored numbers for footnotes, got width of ascii table back down to under 250 characters (!)

2 years agoformat table
Jacob Lifshay [Fri, 29 Jul 2022 09:27:30 +0000 (02:27 -0700)]
format table

2 years agoindent stuff to properly include it in footnotes
Jacob Lifshay [Fri, 29 Jul 2022 09:20:18 +0000 (02:20 -0700)]
indent stuff to properly include it in footnotes

2 years agoname footnotes
Jacob Lifshay [Fri, 29 Jul 2022 09:18:06 +0000 (02:18 -0700)]
name footnotes

2 years agochange comparison table to use footnotes
Jacob Lifshay [Fri, 29 Jul 2022 08:59:22 +0000 (01:59 -0700)]
change comparison table to use footnotes

2 years agodeduplicate footnotes
Jacob Lifshay [Fri, 29 Jul 2022 08:52:33 +0000 (01:52 -0700)]
deduplicate footnotes

2 years agochange Makefile to detect changes in texmunge.py
Jacob Lifshay [Fri, 29 Jul 2022 08:51:50 +0000 (01:51 -0700)]
change Makefile to detect changes in texmunge.py

2 years agoignore more tex output files
Jacob Lifshay [Fri, 29 Jul 2022 08:51:17 +0000 (01:51 -0700)]
ignore more tex output files

2 years ago(no commit message)
lkcl [Fri, 29 Jul 2022 05:40:06 +0000 (06:40 +0100)]

2 years ago(no commit message)
lkcl [Fri, 29 Jul 2022 05:35:44 +0000 (06:35 +0100)]

2 years ago(no commit message)
lkcl [Fri, 29 Jul 2022 04:40:21 +0000 (05:40 +0100)]

2 years ago(no commit message)
lkcl [Fri, 29 Jul 2022 04:00:19 +0000 (05:00 +0100)]

2 years agoadd AMX
Luke Kenneth Casson Leighton [Fri, 29 Jul 2022 01:37:57 +0000 (02:37 +0100)]
add AMX

2 years agowhoops
Luke Kenneth Casson Leighton [Fri, 29 Jul 2022 01:29:56 +0000 (02:29 +0100)]
whoops

2 years agoclarify
Luke Kenneth Casson Leighton [Fri, 29 Jul 2022 01:26:11 +0000 (02:26 +0100)]
clarify

2 years agoadd DCT/FFT column
Luke Kenneth Casson Leighton [Fri, 29 Jul 2022 01:24:33 +0000 (02:24 +0100)]
add DCT/FFT column

2 years agoincrease ref numbers
Luke Kenneth Casson Leighton [Fri, 29 Jul 2022 01:20:22 +0000 (02:20 +0100)]
increase ref numbers

2 years agoreduce table size
Luke Kenneth Casson Leighton [Fri, 29 Jul 2022 01:17:33 +0000 (02:17 +0100)]
reduce table size

2 years ago(no commit message)
lkcl [Thu, 28 Jul 2022 22:48:38 +0000 (23:48 +0100)]

2 years agoadd link to bugtracker on discussion of comparison table
Luke Kenneth Casson Leighton [Thu, 28 Jul 2022 22:27:14 +0000 (23:27 +0100)]
add link to bugtracker on discussion of comparison table

2 years agoclarify, add SVE2 Scalable Matrix Extension
Luke Kenneth Casson Leighton [Thu, 28 Jul 2022 22:21:54 +0000 (23:21 +0100)]
clarify, add SVE2 Scalable Matrix Extension

2 years agofound appropriate quote for SVE2
Luke Kenneth Casson Leighton [Thu, 28 Jul 2022 22:02:48 +0000 (23:02 +0100)]
found appropriate quote for SVE2

2 years ago(no commit message)
lkcl [Thu, 28 Jul 2022 21:25:36 +0000 (22:25 +0100)]

2 years ago(no commit message)
lkcl [Thu, 28 Jul 2022 21:17:47 +0000 (22:17 +0100)]

2 years ago(no commit message)
lkcl [Thu, 28 Jul 2022 21:14:03 +0000 (22:14 +0100)]

2 years agosigh
Luke Kenneth Casson Leighton [Thu, 28 Jul 2022 20:38:52 +0000 (21:38 +0100)]
sigh

2 years agoadd fmvis and fishmv to opcode_regs_deduped.mdwn
Luke Kenneth Casson Leighton [Thu, 28 Jul 2022 20:31:25 +0000 (21:31 +0100)]
add fmvis and fishmv to opcode_regs_deduped.mdwn

2 years agomore clarification
Luke Kenneth Casson Leighton [Thu, 28 Jul 2022 12:19:10 +0000 (13:19 +0100)]
more clarification

2 years agoclarify
Luke Kenneth Casson Leighton [Thu, 28 Jul 2022 10:41:04 +0000 (11:41 +0100)]
clarify

2 years agoclarify
Luke Kenneth Casson Leighton [Thu, 28 Jul 2022 10:40:12 +0000 (11:40 +0100)]
clarify

2 years agoupdate estimates for SVP64 intrinsics
Luke Kenneth Casson Leighton [Thu, 28 Jul 2022 10:37:08 +0000 (11:37 +0100)]
update estimates for SVP64 intrinsics

2 years agofishmv: change to use actual pseudocode in openpower-isa.git
Jacob Lifshay [Thu, 28 Jul 2022 09:49:17 +0000 (02:49 -0700)]
fishmv: change to use actual pseudocode in openpower-isa.git

2 years agoemphasis
Luke Kenneth Casson Leighton [Thu, 28 Jul 2022 03:57:14 +0000 (04:57 +0100)]
emphasis

2 years agoclarify
Luke Kenneth Casson Leighton [Thu, 28 Jul 2022 03:55:51 +0000 (04:55 +0100)]
clarify

2 years agoclarify
Luke Kenneth Casson Leighton [Thu, 28 Jul 2022 03:54:25 +0000 (04:54 +0100)]
clarify

2 years agoclarify
Luke Kenneth Casson Leighton [Thu, 28 Jul 2022 03:53:03 +0000 (04:53 +0100)]
clarify

2 years agochange link colours
Luke Kenneth Casson Leighton [Thu, 28 Jul 2022 03:49:18 +0000 (04:49 +0100)]
change link colours

2 years agowhoops
Luke Kenneth Casson Leighton [Thu, 28 Jul 2022 03:41:41 +0000 (04:41 +0100)]
whoops

2 years agoclarify comparison table
Luke Kenneth Casson Leighton [Thu, 28 Jul 2022 03:40:07 +0000 (04:40 +0100)]
clarify comparison table

2 years agoadd sentence about SVE2 not being available in hardware
Luke Kenneth Casson Leighton [Thu, 28 Jul 2022 03:30:56 +0000 (04:30 +0100)]
add sentence about SVE2 not being available in hardware

2 years agoadd sentence about SVE2 not being available in hardware
Luke Kenneth Casson Leighton [Thu, 28 Jul 2022 03:30:40 +0000 (04:30 +0100)]
add sentence about SVE2 not being available in hardware

2 years agobrackets
Luke Kenneth Casson Leighton [Thu, 28 Jul 2022 03:25:17 +0000 (04:25 +0100)]
brackets

2 years agoadd intrinsics column
Luke Kenneth Casson Leighton [Thu, 28 Jul 2022 03:22:49 +0000 (04:22 +0100)]
add intrinsics column

2 years ago(no commit message)
lkcl [Thu, 28 Jul 2022 00:42:11 +0000 (01:42 +0100)]

2 years ago(no commit message)
toshywoshy [Wed, 27 Jul 2022 22:47:51 +0000 (23:47 +0100)]

2 years agoAdded path to tutorials
Andrey Miroshnikov [Wed, 27 Jul 2022 21:42:20 +0000 (22:42 +0100)]
Added path to tutorials

2 years ago(no commit message)
lkcl [Wed, 27 Jul 2022 21:16:49 +0000 (22:16 +0100)]

2 years ago(no commit message)
lkcl [Wed, 27 Jul 2022 15:59:26 +0000 (16:59 +0100)]

2 years ago(no commit message)
lkcl [Wed, 27 Jul 2022 15:58:09 +0000 (16:58 +0100)]

2 years ago(no commit message)
lkcl [Wed, 27 Jul 2022 15:39:17 +0000 (16:39 +0100)]

2 years ago(no commit message)
lkcl [Wed, 27 Jul 2022 15:09:48 +0000 (16:09 +0100)]

2 years ago(no commit message)
lkcl [Wed, 27 Jul 2022 15:08:19 +0000 (16:08 +0100)]

2 years ago(no commit message)
lkcl [Wed, 27 Jul 2022 15:06:05 +0000 (16:06 +0100)]

2 years ago(no commit message)
lkcl [Wed, 27 Jul 2022 15:04:43 +0000 (16:04 +0100)]

2 years ago(no commit message)
lkcl [Wed, 27 Jul 2022 15:03:44 +0000 (16:03 +0100)]

2 years ago(no commit message)
lkcl [Wed, 27 Jul 2022 14:55:38 +0000 (15:55 +0100)]