Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove & fix references to embedded exponent
"Embedded" and "internal" have very similar meanings in English so it's pretty confusing for them to mean opposite things in CHERI. Fortunately there were only two references to "embedded" so it's easy enough to remove it.
- Loading branch information