Skip to content

[spectec] Fix typos in Overview.md #2038

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
rossberg merged 1 commit into from
Dec 3, 2025
Merged

[spectec] Fix typos in Overview.md #2038

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions spectec/doc/Overview.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -198,7 +198,7 @@ rule Instr_ok/global.set:
```
Each rule definition is headed by the name of its respective relation,
plus a symbolic name for the rule itself,
used later to reference individiual rules.
used later to reference individual rules.
The notation of a rule's body has to match the notation declared for the relation.

The rule for `NOP` specifies that both input and output types of the instruction are empty
Expand Down Expand Up @@ -502,7 +502,7 @@ first pass one byte,
whose value must be larger than or equal to 128,
that is, its most-significant bit is set.
It is also required that `N` is large enough to allow multiple bytes.
The remainder than is parsed as a binary number of the remaining bitwidth `N-7`,
The remainder then is parsed as a binary number of the remaining bitwidth `N-7`,
and in the end, both parts of the result value are combined together to form the overall result.

Finally, the grammar for floating point values is also parameterised over its bit-width,
Expand Down