From 43c0c742f29b6224cf7655cc1c1a5579e5c3a181 Mon Sep 17 00:00:00 2001 From: Alex Richardson Date: Thu, 13 Feb 2025 10:42:59 -0800 Subject: [PATCH] Clarify the pseudocode note The sail code has been available for a while, but it still needs to be integrated into the spec. --- src/cap-description.adoc | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/src/cap-description.adoc b/src/cap-description.adoc index 1cef3b15..2f8fafab 100644 --- a/src/cap-description.adoc +++ b/src/cap-description.adoc @@ -400,10 +400,9 @@ uses a floating point representation to encode the bounds relative to the capability address. The base and top addresses from the bounds are decoded as shown below. -WARNING: #TODO: The pseudocode below does not have a formal notation. It is -simply a place-holder while the Sail implementation is unavailable. In this -notation, / means "integer division", [] are the bit-select operators, and -arithmetic is signed.# +WARNING: The pseudocode below does not have a formal notation. +It is a place-holder until the sail implementation has been integrated in the specification. +In this notation, `/` means "integer division", `[]` are the bit-select operators, and arithmetic is signed. ifdef::cheri_v9_annotations[] NOTE: *CHERI v9 Note:* The IE bit from CHERI v9 is renamed EF and its value is