miden-assembly-syntax 0.22.1

Parsing and semantic analysis of the Miden Assembly language
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43

#![no_std]

#[macro_use]
extern crate alloc;

#[cfg(any(test, feature = "std"))]
extern crate std;

pub use miden_core::{
    Felt, Word,
    field::{PrimeCharacteristicRing, PrimeField64},
    prettier,
    utils::DisplayHex,
};
pub use miden_debug_types as debuginfo;
pub use miden_utils_diagnostics::{self as diagnostics, Report};
pub use semver;

#[cfg(feature = "arbitrary")]
pub mod arbitrary;
pub mod ast;
pub mod library;
mod parse;
pub mod parser;
pub mod sema;
pub mod testing;

#[doc(hidden)]
pub use self::{
    ast::{Path, PathBuf, PathComponent, PathError},
    library::{KernelLibrary, Library, LibraryError, Version, VersionError},
    parser::{ModuleParser, ParsingError},
};
pub use self::{
    parse::{Parse, ParseOptions},
    sema::SemanticAnalysisError,
};

/// Maximum allowed iteration count for `repeat.<count>` blocks.
pub const MAX_REPEAT_COUNT: u32 = 1_000_000;

/// The modulus of the Miden field as a raw u64 integer
pub(crate) const FIELD_MODULUS: u64 = miden_core::Felt::ORDER_U64;