Skip to content

Commit 2f78d5b

Browse files
Merge branch 'main' into H_CSRs
2 parents 075728f + 15a4aac commit 2f78d5b

File tree

111 files changed

+823
-216
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

111 files changed

+823
-216
lines changed

.github/dependabot.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,4 +5,4 @@ updates:
55
- package-ecosystem: gitsubmodule
66
directory: /
77
schedule:
8-
interval: daily
8+
interval: weekly

.gitignore

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -23,3 +23,4 @@ __pycache__/
2323
*.bak
2424
*.log
2525
sorbet
26+
coverage

.pre-commit-config.yaml

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -19,10 +19,11 @@ repos:
1919
stages: [pre-commit]
2020
- id: end-of-file-fixer
2121
stages: [pre-commit]
22-
exclude: \.golden.adoc$
22+
exclude: \.((golden\.adoc)|svg)$
2323
- id: trailing-whitespace
2424
stages: [pre-commit]
2525
args: [--markdown-linebreak-ext=md]
26+
exclude: \.svg$
2627
- id: check-merge-conflict
2728
stages: [pre-commit]
2829
args: ["--assume-in-merge"]

Gemfile

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -36,3 +36,8 @@ group :development do
3636
gem "spoom"
3737
gem "tapioca", require: false
3838
end
39+
40+
group :development, :test do
41+
gem "minitest"
42+
gem "simplecov"
43+
end

Gemfile.lock

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -64,6 +64,7 @@ GEM
6464
irb (~> 1.10)
6565
reline (>= 0.3.8)
6666
diff-lcs (1.6.0)
67+
docile (1.4.1)
6768
drb (2.2.1)
6869
erubi (1.13.1)
6970
hana (1.3.7)
@@ -176,6 +177,12 @@ GEM
176177
ruby-rc4 (0.1.5)
177178
rubyzip (2.4.1)
178179
securerandom (0.4.1)
180+
simplecov (0.22.0)
181+
docile (~> 1.1)
182+
simplecov-html (~> 0.11)
183+
simplecov_json_formatter (~> 0.1)
184+
simplecov-html (0.13.1)
185+
simplecov_json_formatter (0.1.4)
179186
simpleidn (0.2.3)
180187
solargraph (0.52.0)
181188
backport (~> 1.2)
@@ -267,6 +274,7 @@ DEPENDENCIES
267274
ruby-prof
268275
ruby-prof-flamegraph!
269276
ruby-progressbar (~> 1.13)
277+
simplecov
270278
solargraph
271279
sorbet
272280
sorbet-runtime

LICENSE-CC0-1.0.txt

Lines changed: 121 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,121 @@
1+
Creative Commons Legal Code
2+
3+
CC0 1.0 Universal
4+
5+
CREATIVE COMMONS CORPORATION IS NOT A LAW FIRM AND DOES NOT PROVIDE
6+
LEGAL SERVICES. DISTRIBUTION OF THIS DOCUMENT DOES NOT CREATE AN
7+
ATTORNEY-CLIENT RELATIONSHIP. CREATIVE COMMONS PROVIDES THIS
8+
INFORMATION ON AN "AS-IS" BASIS. CREATIVE COMMONS MAKES NO WARRANTIES
9+
REGARDING THE USE OF THIS DOCUMENT OR THE INFORMATION OR WORKS
10+
PROVIDED HEREUNDER, AND DISCLAIMS LIABILITY FOR DAMAGES RESULTING FROM
11+
THE USE OF THIS DOCUMENT OR THE INFORMATION OR WORKS PROVIDED
12+
HEREUNDER.
13+
14+
Statement of Purpose
15+
16+
The laws of most jurisdictions throughout the world automatically confer
17+
exclusive Copyright and Related Rights (defined below) upon the creator
18+
and subsequent owner(s) (each and all, an "owner") of an original work of
19+
authorship and/or a database (each, a "Work").
20+
21+
Certain owners wish to permanently relinquish those rights to a Work for
22+
the purpose of contributing to a commons of creative, cultural and
23+
scientific works ("Commons") that the public can reliably and without fear
24+
of later claims of infringement build upon, modify, incorporate in other
25+
works, reuse and redistribute as freely as possible in any form whatsoever
26+
and for any purposes, including without limitation commercial purposes.
27+
These owners may contribute to the Commons to promote the ideal of a free
28+
culture and the further production of creative, cultural and scientific
29+
works, or to gain reputation or greater distribution for their Work in
30+
part through the use and efforts of others.
31+
32+
For these and/or other purposes and motivations, and without any
33+
expectation of additional consideration or compensation, the person
34+
associating CC0 with a Work (the "Affirmer"), to the extent that he or she
35+
is an owner of Copyright and Related Rights in the Work, voluntarily
36+
elects to apply CC0 to the Work and publicly distribute the Work under its
37+
terms, with knowledge of his or her Copyright and Related Rights in the
38+
Work and the meaning and intended legal effect of CC0 on those rights.
39+
40+
1. Copyright and Related Rights. A Work made available under CC0 may be
41+
protected by copyright and related or neighboring rights ("Copyright and
42+
Related Rights"). Copyright and Related Rights include, but are not
43+
limited to, the following:
44+
45+
i. the right to reproduce, adapt, distribute, perform, display,
46+
communicate, and translate a Work;
47+
ii. moral rights retained by the original author(s) and/or performer(s);
48+
iii. publicity and privacy rights pertaining to a person's image or
49+
likeness depicted in a Work;
50+
iv. rights protecting against unfair competition in regards to a Work,
51+
subject to the limitations in paragraph 4(a), below;
52+
v. rights protecting the extraction, dissemination, use and reuse of data
53+
in a Work;
54+
vi. database rights (such as those arising under Directive 96/9/EC of the
55+
European Parliament and of the Council of 11 March 1996 on the legal
56+
protection of databases, and under any national implementation
57+
thereof, including any amended or successor version of such
58+
directive); and
59+
vii. other similar, equivalent or corresponding rights throughout the
60+
world based on applicable law or treaty, and any national
61+
implementations thereof.
62+
63+
2. Waiver. To the greatest extent permitted by, but not in contravention
64+
of, applicable law, Affirmer hereby overtly, fully, permanently,
65+
irrevocably and unconditionally waives, abandons, and surrenders all of
66+
Affirmer's Copyright and Related Rights and associated claims and causes
67+
of action, whether now known or unknown (including existing as well as
68+
future claims and causes of action), in the Work (i) in all territories
69+
worldwide, (ii) for the maximum duration provided by applicable law or
70+
treaty (including future time extensions), (iii) in any current or future
71+
medium and for any number of copies, and (iv) for any purpose whatsoever,
72+
including without limitation commercial, advertising or promotional
73+
purposes (the "Waiver"). Affirmer makes the Waiver for the benefit of each
74+
member of the public at large and to the detriment of Affirmer's heirs and
75+
successors, fully intending that such Waiver shall not be subject to
76+
revocation, rescission, cancellation, termination, or any other legal or
77+
equitable action to disrupt the quiet enjoyment of the Work by the public
78+
as contemplated by Affirmer's express Statement of Purpose.
79+
80+
3. Public License Fallback. Should any part of the Waiver for any reason
81+
be judged legally invalid or ineffective under applicable law, then the
82+
Waiver shall be preserved to the maximum extent permitted taking into
83+
account Affirmer's express Statement of Purpose. In addition, to the
84+
extent the Waiver is so judged Affirmer hereby grants to each affected
85+
person a royalty-free, non transferable, non sublicensable, non exclusive,
86+
irrevocable and unconditional license to exercise Affirmer's Copyright and
87+
Related Rights in the Work (i) in all territories worldwide, (ii) for the
88+
maximum duration provided by applicable law or treaty (including future
89+
time extensions), (iii) in any current or future medium and for any number
90+
of copies, and (iv) for any purpose whatsoever, including without
91+
limitation commercial, advertising or promotional purposes (the
92+
"License"). The License shall be deemed effective as of the date CC0 was
93+
applied by Affirmer to the Work. Should any part of the License for any
94+
reason be judged legally invalid or ineffective under applicable law, such
95+
partial invalidity or ineffectiveness shall not invalidate the remainder
96+
of the License, and in such case Affirmer hereby affirms that he or she
97+
will not (i) exercise any of his or her remaining Copyright and Related
98+
Rights in the Work or (ii) assert any associated claims and causes of
99+
action with respect to the Work, in either case contrary to Affirmer's
100+
express Statement of Purpose.
101+
102+
4. Limitations and Disclaimers.
103+
104+
a. No trademark or patent rights held by Affirmer are waived, abandoned,
105+
surrendered, licensed or otherwise affected by this document.
106+
b. Affirmer offers the Work as-is and makes no representations or
107+
warranties of any kind concerning the Work, express, implied,
108+
statutory or otherwise, including without limitation warranties of
109+
title, merchantability, fitness for a particular purpose, non
110+
infringement, or the absence of latent or other defects, accuracy, or
111+
the present or absence of errors, whether or not discoverable, all to
112+
the greatest extent permissible under applicable law.
113+
c. Affirmer disclaims responsibility for clearing rights of other persons
114+
that may apply to the Work or any use thereof, including without
115+
limitation any person's Copyright and Related Rights in the Work.
116+
Further, Affirmer disclaims responsibility for obtaining any necessary
117+
consents, permissions or other rights required for any use of the
118+
Work.
119+
d. Affirmer understands and acknowledges that Creative Commons is not a
120+
party to this document and has no duty or obligation with respect to
121+
this CC0 or use of the Work.

LICENSES/CC0-1.0.txt

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
../LICENSE-CC0-1.0.txt

README.adoc

Lines changed: 10 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
image::doc/udb.svg[UDB banner]
2+
13
= RISC-V Unified Database (UnifiedDB/UDB)
24

35
image::https://api.reuse.software/badge/github.com/riscv-software-src/riscv-unified-db[REUSE status, link="https://api.reuse.software/info/github.com/riscv-software-src/riscv-unified-db"]
@@ -7,8 +9,12 @@ image::https://api.reuse.software/badge/github.com/riscv-software-src/riscv-unif
79
----
810
This project is under rapid development. Expect schemas and APIs to change.
911
10-
The data in the `arch` directory is also a work in progress and may be incorrect. As subsets of the
11-
data become validated, we will list it here.
12+
The data in the `arch` directory is also a work in progress and may be incorrect.
13+
14+
That said, the following data has been validated against third-party sources:
15+
16+
* Instruction encodings are validated to match riscv-opcodes
17+
* Instruction names and assembly formats are validated against LLVM.
1218
----
1319

1420
== Quick links
@@ -19,8 +25,8 @@ data become validated, we will list it here.
1925
** xref:doc/idl.adoc[ISA Description Language (IDL)]
2026
** xref:doc/ruby.adoc[Ruby database interface]
2127
* How-to/recipes
22-
** xref:CONTRIBUTING[Contribution guidelines]
23-
** xref:doc/templates[Data templates]
28+
** xref:CONTRIBUTING.adoc[Contribution guidelines]
29+
** xref:doc/data-templates.adoc[Data templates]
2430
** xref:doc/riscv-opcodes-migration.adoc[`riscv-opcodes` migration]
2531

2632
== Overview

REUSE.toml

Lines changed: 10 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,6 +11,8 @@ path = [
1111
"cfgs/**",
1212
"container.def",
1313
"do",
14+
"doc/data-templates.adoc",
15+
"doc/riscv-opcodes-migration.adoc",
1416
"docs/**",
1517
"Gemfile.lock",
1618
"Gemfile",
@@ -37,7 +39,7 @@ path = [
3739
"doc/idl.adoc",
3840
"doc/ruby.adoc",
3941
"doc/schemas.adoc",
40-
"doc/prose_schema.adoc"
42+
"doc/prose-schema.adoc"
4143
]
4244
SPDX-FileCopyrightText = "2017-2025 Contributors to the RISCV ISA Manual <https://github.com/riscv/riscv-isa-manual>"
4345
SPDX-License-Identifier = "BSD-3-Clause-Clear"
@@ -59,3 +61,10 @@ SPDX-License-Identifier = [
5961
# For import isa-manual docs: https://github.com/riscv/riscv-isa-manual
6062
"CC-BY-4.0",
6163
]
64+
65+
[[annotations]]
66+
path = [
67+
"doc/udb*.svg"
68+
]
69+
SPDX-FileCopyrightText = "Copyright (c) Derek Hower, Paul Clarke"
70+
SPDX-License-Identifier = "CC0-1.0"

arch/csr/H/htimedeltah.yaml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -12,6 +12,7 @@ writable: true
1212
priv_mode: S
1313
definedBy: H
1414
length: 32
15+
base: 32
1516
fields:
1617
DELTA:
1718
location: 31-0

0 commit comments

Comments
 (0)