List of all items

Structs

• api::CompileOptions
• api::FunctionBenchmark
• api::ModuleBenchmarkResult
• api::TestResult
• ast::Block
• ast::ConstDef
• ast::EventDef
• ast::EventField
• ast::File
• ast::FnDef
• ast::MatchArm
• ast::ModulePath
• ast::Param
• ast::StructDef
• ast::StructField
• ast::StructPatternField
• config::project::Project
• config::target::EmulatedField
• config::target::ResolvedTarget
• config::target::StateConfig
• config::target::TerrainConfig
• config::target::UnionConfig
• config::target::WarriorConfig
• cost::analyzer::FunctionCost
• cost::analyzer::ProgramCost
• cost::model::TableCost
• cost::scorer::TableProfile
• cost::stack_verifier::StackState
• deploy::ManifestCost
• deploy::ManifestFunction
• deploy::PackageManifest
• deploy::PackageResult
• diagnostic::Diagnostic
• diagnostic::SuppressGuard
• field::babybear::BabyBear
• field::fixed::Fixed
• field::fixed::RawAccum
• field::goldilocks::Goldilocks
• field::mersenne31::Mersenne31
• field::poseidon2::Poseidon2Config
• field::proof::Claim
• ir::lir::Label
• ir::lir::Reg
• ir::tir::builder::TIRBuilder
• ir::tir::encode::TIRBlock
• ir::tir::lower::SpeculativeLowering
• ir::tir::lower::TritonLowering
• ir::tir::neural::report::BlockDecision
• ir::tir::neural::report::OptimizerReport
• neural::CompileResult
• neural::data::pairs::TrainingPair
• neural::data::replay::ArchivedBuildResult
• neural::data::replay::BuildResult
• neural::data::replay::BuildResultResolver
• neural::data::replay::ReplayBuffer
• neural::data::tir_graph::TirGraph
• neural::data::tir_graph::TirNode
• neural::inference::beam::BeamConfig
• neural::inference::beam::BeamResult
• neural::inference::execute::RankedResult
• neural::model::composite::NeuralCompilerConfig
• neural::model::composite::NeuralCompilerV2
• neural::model::composite::NeuralCompilerV2Record
• neural::model::composite::NeuralCompilerV2RecordItem
• neural::model::decoder::DecoderConfig
• neural::model::decoder::DecoderLayer
• neural::model::decoder::DecoderLayerRecord
• neural::model::decoder::DecoderLayerRecordItem
• neural::model::decoder::StackAwareDecoder
• neural::model::decoder::StackAwareDecoderRecord
• neural::model::decoder::StackAwareDecoderRecordItem
• neural::model::encoder::GatV2Layer
• neural::model::encoder::GatV2LayerConfig
• neural::model::encoder::GatV2LayerRecord
• neural::model::encoder::GatV2LayerRecordItem
• neural::model::encoder::GnnEncoder
• neural::model::encoder::GnnEncoderConfig
• neural::model::encoder::GnnEncoderRecord
• neural::model::encoder::GnnEncoderRecordItem
• neural::model::gnn_ops::BatchedGraph
• neural::model::grammar::SequenceState
• neural::model::grammar::StackStateMachine
• neural::model::grammar_tables::StackEffect
• neural::model::vocab::Vocab
• neural::training::augment::AugmentConfig
• neural::training::gflownet::GFlowNetConfig
• neural::training::online::OnlineConfig
• neural::training::online::PhaseBMetrics
• neural::training::supervised::EpochResult
• neural::training::supervised::SupervisedConfig
• package::cache::CacheStats
• package::cache::CachedCompilation
• package::cache::CachedVerification
• package::hash::ContentHash
• package::hash::Normalizer
• package::manifest::LockedDep
• package::manifest::Lockfile
• package::manifest::Manifest
• package::poseidon2::GoldilocksField
• package::poseidon2::Poseidon2Hasher
• package::poseidon2::Poseidon2Sponge
• package::registry::PublishResult
• package::registry::PublishedDefinition
• package::registry::PullResult
• package::registry::RegistryClient
• package::registry::SearchResult
• package::store::AddResult
• package::store::Codebase
• package::store::CodebaseStats
• package::store::Definition
• package::store::NameEntry
• runtime::ExecutionResult
• runtime::GuessResult
• runtime::ProgramInput
• runtime::ProofData
• runtime::artifact::BundleCost
• runtime::artifact::BundleFunction
• runtime::artifact::ProgramBundle
• syntax::grammar::Grammar
• syntax::lexer::Comment
• syntax::lexer::Lexer
• syntax::span::Span
• syntax::span::Spanned
• typecheck::ModuleExports
• typecheck::MonoInstance
• typecheck::types::StructTy
• verify::equiv::EquivalenceCounterexample
• verify::equiv::EquivalenceResult
• verify::report::JsonConstraint
• verify::report::JsonCounterexample
• verify::report::JsonReport
• verify::report::JsonSuggestion
• verify::report::JsonSummary
• verify::smt::SmtResult
• verify::solve::BmcConfig
• verify::solve::Counterexample
• verify::solve::SolverConfig
• verify::solve::SolverResult
• verify::solve::VerificationReport
• verify::sym::ConstraintSystem
• verify::sym::SymExecutor
• verify::sym::SymVar
• verify::sym::VerificationResult
• verify::synthesize::SynthesizedSpec

Enums

• ast::ArraySize
• ast::BinOp
• ast::Declaration
• ast::Expr
• ast::FieldPattern
• ast::FileKind
• ast::Item
• ast::Literal
• ast::MatchPattern
• ast::Pattern
• ast::Place
• ast::Stmt
• ast::Type
• config::target::Arch
• diagnostic::Severity
• ir::lir::LIROp
• ir::tir::TIROp
• ir::tir::neural::report::DecisionReason
• ir::tir::neural::report::OptimizerStatus
• ir::tir::neural::report::Winner
• ir::tree::lower::Noun
• neural::checkpoint::CheckpointTag
• neural::checkpoint::TrainingStage
• neural::data::tir_graph::EdgeKind
• neural::data::tir_graph::FieldType
• neural::data::tir_graph::OpKind
• neural::model::grammar::ElemType
• package::manifest::Dependency
• syntax::grammar::Node
• syntax::lexeme::Lexeme
• typecheck::types::Ty
• verify::equiv::EquivalenceVerdict
• verify::smt::QueryMode
• verify::smt::SmtStatus
• verify::solve::Verdict
• verify::sym::Constraint
• verify::sym::SymValue
• verify::synthesize::SpecKind

Traits

• field::PrimeField
• ir::kir::lower::KernelLowering
• ir::lir::lower::RegisterLowering
• ir::tir::lower::StackLowering
• ir::tree::lower::TreeLowering
• runtime::Deployer
• runtime::Guesser
• runtime::Prover
• runtime::Runner
• runtime::Verifier

Functions

• api::analyze_costs
• api::analyze_costs_project
• api::annotate_source
• api::annotate_source_with_target
• api::build_tir
• api::build_tir_project
• api::check
• api::check_file_in_project
• api::check_project
• api::check_silent
• api::compile
• api::compile_module
• api::compile_project
• api::compile_project_with_options
• api::compile_to_bundle
• api::compile_with_options
• api::count_tasm_instructions
• api::discover_tests
• api::fmt_num
• api::fmt_ratio
• api::format_source
• api::generate_docs
• api::parse_tasm_functions
• api::run_tests
• api::status_icon
• api::verify_project
• api::verify_project_per_function
• ast::display::format_ast_type
• ast::display::format_const_value
• ast::display::format_fn_signature
• ast::display::format_function
• ast::navigate::find_function
• ast::navigate::find_function_by_hash
• ast::navigate::looks_like_hash
• config::project::validate_project_name
• config::scaffold::default_value
• config::scaffold::extract_variables
• config::scaffold::generate_scaffold
• config::target::parse_string_array
• cost::scorer::profile_tasm
• cost::scorer::profile_tasm_str
• cost::stack_verifier::diagnose_failure
• cost::stack_verifier::generate_test_stack
• cost::stack_verifier::score_candidate
• cost::stack_verifier::score_neural_improvement
• cost::stack_verifier::score_neural_output
• cost::stack_verifier::verify_equivalent
• deploy::days_to_date
• deploy::format_fn_signature
• deploy::generate_artifact
• diagnostic::render_diagnostics
• diagnostic::suppress_warnings
• field::fixed::dot
• field::fixed::layer_norm
• field::fixed::matvec
• field::fixed::relu_vec
• field::poseidon2::goldilocks_config
• field::poseidon2::hash_bytes_goldilocks
• field::poseidon2::hash_fields_goldilocks
• field::poseidon2::permutation
• field::proof::estimate_proof_size
• field::proof::estimate_proving_ns
• field::proof::fri_query_count
• field::proof::merkle_depth
• field::proof::ntt_domain_size
• field::proof::padded_height
• gpu::try_create_device
• ir::kir::lower::create_kernel_lowering
• ir::lir::convert::tir_to_lir
• ir::lir::lower::create_register_lowering
• ir::tir::encode::encode_blocks
• ir::tir::lower::create_speculative_lowering
• ir::tir::lower::create_stack_lowering
• ir::tir::lower::decode_output
• ir::tir::lower::encode_tasm_block
• ir::tir::lower::encode_tasm_line
• ir::tree::lower::create_tree_lowering
• lsp::run_server
• lsp::util::byte_offset_to_position
• lsp::util::find_call_context
• lsp::util::format_cost_inline
• lsp::util::is_ident_char
• lsp::util::position_to_byte_offset
• lsp::util::span_to_range
• lsp::util::text_before_dot
• lsp::util::to_lsp_diagnostic
• lsp::util::word_at_position
• neural::checkpoint::available_checkpoints
• neural::checkpoint::detect_stage
• neural::checkpoint::load_checkpoint
• neural::checkpoint::promote_to_production
• neural::checkpoint::save_checkpoint
• neural::compile
• neural::compile_with_device
• neural::compile_with_model
• neural::data::pairs::extract_pairs
• neural::data::pairs::split_tir_by_function
• neural::data::pairs::train_holdout_split
• neural::inference::beam::beam_search
• neural::inference::execute::validate_and_rank
• neural::load_model
• neural::model::gnn_ops::batch_graphs
• neural::model::gnn_ops::neighborhood_softmax
• neural::model::gnn_ops::scatter_add
• neural::model::grammar::precompute_sequence_state
• neural::model::grammar_tables::build_min_stack_depths
• neural::model::grammar_tables::build_stack_effects
• neural::training::augment::augment_pairs
• neural::training::gflownet::compute_reward
• neural::training::gflownet::compute_shaped_reward
• neural::training::gflownet::gflownet_step
• neural::training::gflownet::sample_sequence
• neural::training::gflownet::tb_loss
• neural::training::gflownet::temperature_at_step
• neural::training::online::compute_phase_b_metrics
• neural::training::online::phase_b_active
• neural::training::online::regression_guard
• neural::training::online::should_finetune
• neural::training::supervised::cosine_lr
• neural::training::supervised::create_optimizer
• neural::training::supervised::graph_to_edges
• neural::training::supervised::graph_to_features
• neural::training::supervised::train_epoch
• package::cache::cache_dir
• package::cache::clear
• package::cache::lookup_compilation
• package::cache::lookup_verification
• package::cache::stats
• package::cache::store_compilation
• package::cache::store_verification
• package::cache::timestamp
• package::hash::hash_file
• package::hash::hash_file_content
• package::hash::hash_function
• package::manifest::dep_source_path
• package::manifest::dependency_search_paths
• package::manifest::load_lockfile
• package::manifest::parse_dependencies
• package::manifest::resolve_dependencies
• package::manifest::save_lockfile
• package::poseidon2::hash_bytes
• package::poseidon2::hash_fields
• package::registry::publish_codebase
• package::registry::pull_into_codebase
• parse_source_silent
• syntax::grammar::alias
• syntax::grammar::choice
• syntax::grammar::comma_sep1
• syntax::grammar::comma_sep1_inline
• syntax::grammar::field
• syntax::grammar::optional
• syntax::grammar::pattern
• syntax::grammar::prec
• syntax::grammar::prec_left
• syntax::grammar::repeat
• syntax::grammar::repeat1
• syntax::grammar::seq
• syntax::grammar::str_
• syntax::grammar::sym
• syntax::grammar::token
• syntax::grammar::trident_grammar
• verify::equiv::check_equivalence
• verify::report::format_json_constraint
• verify::report::generate_json_report
• verify::report::generate_suggestions
• verify::smt::encode_system
• verify::smt::run_z3
• verify::solve::bounded_check
• verify::solve::format_constraint
• verify::solve::format_sym_value
• verify::solve::solve
• verify::solve::verify
• verify::sym::analyze
• verify::sym::analyze_all
• verify::sym::analyze_function
• verify::sym::verify_file
• verify::synthesize::format_report
• verify::synthesize::synthesize_specs

Type Aliases

• typecheck::FnExport

Constants

• cost::model::MAX_TABLES
• field::babybear::MODULUS
• field::fixed::SCALE
• field::goldilocks::MODULUS
• field::mersenne31::MODULUS
• ir::tir::encode::CONTEXT_SIZE
• ir::tir::encode::INPUT_DIM
• ir::tir::encode::MAX_NODES
• ir::tir::encode::WORDS_PER_NODE
• neural::data::tir_graph::NODE_FEATURE_DIM
• neural::data::tir_graph::NUM_OP_KINDS
• neural::model::grammar::TYPE_WINDOW
• neural::model::vocab::MAX_SEQ
• neural::model::vocab::VOCAB_SIZE
• verify::sym::GOLDILOCKS_P