From 3b6f964f8d54d6f3db9ae796665028025dc130f9 Mon Sep 17 00:00:00 2001 From: bobbinth Date: Fri, 4 Aug 2023 22:32:19 +0000 Subject: [PATCH] deploy: ecef2db5d5edf333d3e9a914ca414b0150f9cc53 --- print.html | 4 ++-- user_docs/assembly/code_organization.html | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/print.html b/print.html index f255cca1e1..46ab4cfeb8 100644 --- a/print.html +++ b/print.html @@ -669,8 +669,8 @@

Constants

Miden assembly supports constant declarations. These constants are scoped to the module they are defined in and can be used as immediate parameters for Miden assembly instructions. Constants are supported as immediate values for the following instructions: push, locaddr, loc_load, loc_loadw, loc_store, loc_storew, mem_load, mem_loadw, mem_store, mem_storew.

-

Constants must be declared right after module imports and before any procedures or program bodies. A constant's name must start with an upper-case letter and can contain any combination of numbers, upper-case ASCII letters, and underscores (_). The number of characters in a constant name cannot exceed 100. -A constant's value must be in the range between and (both inclusive) and can be defined by an arithmetic expression using +, -, *, /, //, (, ) operators and references to the previously defined constants. Here / is a field division and // is an integer division. Note that the arithmetic expression cannot contain spaces.

+

Constants must be declared right after module imports and before any procedures or program bodies. A constant's name must start with an upper-case letter and can contain any combination of numbers, upper-case ASCII letters, and underscores (_). The number of characters in a constant name cannot exceed 100.

+

A constant's value must be in the range between and (both inclusive) and can be defined by an arithmetic expression using +, -, *, /, //, (, ) operators and references to the previously defined constants. Here / is a field division and // is an integer division. Note that the arithmetic expression cannot contain spaces.

use.std::math::u64
 
 const.CONSTANT_1=100
diff --git a/user_docs/assembly/code_organization.html b/user_docs/assembly/code_organization.html
index 1f3242bbfd..2a7d7f1593 100644
--- a/user_docs/assembly/code_organization.html
+++ b/user_docs/assembly/code_organization.html
@@ -258,8 +258,8 @@ 
Constants

 
Miden assembly supports constant declarations. These constants are scoped to the module they are defined in and can be used as immediate parameters for Miden assembly instructions. Constants are supported as immediate values for the following instructions: push, locaddr, loc_load, loc_loadw, loc_store, loc_storew, mem_load, mem_loadw, mem_store, mem_storew.

-
Constants must be declared right after module imports and before any procedures or program bodies. A constant's name must start with an upper-case letter and can contain any combination of numbers, upper-case ASCII letters, and underscores (_). The number of characters in a constant name cannot exceed 100. 
-A constant's value must be in the range between  and  (both inclusive) and can be defined by an arithmetic expression using +, -, *, /, //, (, ) operators and references to the previously defined constants. Here / is a field division and // is an integer division. Note that the arithmetic expression cannot contain spaces.

+
Constants must be declared right after module imports and before any procedures or program bodies. A constant's name must start with an upper-case letter and can contain any combination of numbers, upper-case ASCII letters, and underscores (_). The number of characters in a constant name cannot exceed 100. 

+
A constant's value must be in the range between  and  (both inclusive) and can be defined by an arithmetic expression using +, -, *, /, //, (, ) operators and references to the previously defined constants. Here / is a field division and // is an integer division. Note that the arithmetic expression cannot contain spaces.

 
use.std::math::u64
 
 const.CONSTANT_1=100