diff options
Diffstat (limited to 'Nondeterminism.md')
| -rw-r--r-- | Nondeterminism.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Nondeterminism.md b/Nondeterminism.md index e3296cb..7685216 100644 --- a/Nondeterminism.md +++ b/Nondeterminism.md @@ -31,6 +31,7 @@ currently admits nondeterminism: nondeterministic. * Out of bounds heap accesses *may* want [some flexibility](AstSemantics.md#out-of-bounds) + * The [`page_size` global constant](AstSemantics.md#resizing) * NaN bit patterns in floating point [operations](AstSemantics.md#floating-point-operations) and [conversions](AstSemantics.md#datatype-conversions-truncations-reinterpretations-promotions-and-demotions) |