List of all items

Structs

• BackendConfig
• GeneratedProject
• hir::RustConst
• hir::RustEnum
• hir::RustField
• hir::RustFn
• hir::RustImpl
• hir::RustMod
• hir::RustParam
• hir::RustStruct
• hir::RustTrait
• hir::RustVariant
• metadata::ContractMeta
• metadata::ParamMeta
• metadata::ProjectMetadata
• metadata::ReturnTypeMeta

Enums

• CodegenBackend
• CompileTarget
• hir::RustExpr
• hir::RustItem
• hir::RustStmt
• hir::RustType

Functions

• codegen
• codegen_with_config
• expr_to_rust_static
• features::compile_time_allocator
• features::compile_time_axiom
• features::compile_time_behavioral_equiv
• features::compile_time_binary_format
• features::compile_time_bit_level
• features::compile_time_checksum
• features::compile_time_circular
• features::compile_time_codec_registry
• features::compile_time_complexity_bound
• features::compile_time_constant_time
• features::compile_time_crash_recovery
• features::compile_time_crypto
• features::compile_time_deadline
• features::compile_time_dependent_types
• features::compile_time_determinism
• features::compile_time_error_propagation
• features::compile_time_feature_flag
• features::compile_time_fixed_width
• features::compile_time_frame
• features::compile_time_ghost_erasure
• features::compile_time_incremental
• features::compile_time_interface
• features::compile_time_lemma
• features::compile_time_liveness
• features::compile_time_lock_order
• features::compile_time_monotonic
• features::compile_time_multi_pass
• features::compile_time_mvcc
• features::compile_time_numerical_precision
• features::compile_time_opaque
• features::compile_time_page_cache
• features::compile_time_platform
• features::compile_time_precomputed_table
• features::compile_time_prophecy
• features::compile_time_protocol_grammar
• features::compile_time_reentrancy
• features::compile_time_region
• features::compile_time_resource_limit
• features::compile_time_rollback
• features::compile_time_scoped_invariant
• features::compile_time_shared_memory
• features::compile_time_storage_failure
• features::compile_time_string_encoding
• features::compile_time_structural
• features::compile_time_taint
• features::compile_time_test_gen
• features::compile_time_trigger
• features::compile_time_trigger_pattern
• features::compile_time_unsafe_escape
• features::compile_time_weak_memory
• features::compile_time_zeroize
• features::generate_all_feature_clauses
• features::generate_allocator_check
• features::generate_axiomatic_definition
• features::generate_behavioral_equiv_test
• features::generate_binary_format_check
• features::generate_bit_level_check
• features::generate_callback_reentrancy_guard
• features::generate_checksum_check
• features::generate_circular_buffer_check
• features::generate_complexity_bound
• features::generate_constant_time_annotation
• features::generate_crash_recovery_check
• features::generate_crypto_conformance_check
• features::generate_deadline_check
• features::generate_deterministic_annotation
• features::generate_error_propagation_check
• features::generate_feature_clause
• features::generate_feature_flag
• features::generate_ghost_compile_check
• features::generate_incremental_contract
• features::generate_liveness_check
• features::generate_lock_order_annotation
• features::generate_monotonic_check
• features::generate_multi_pass_refinement
• features::generate_mvcc_check
• features::generate_numerical_precision_check
• features::generate_opaque_function
• features::generate_page_cache_check
• features::generate_platform_abstraction
• features::generate_precomputed_table_check
• features::generate_protocol_grammar_check
• features::generate_region_annotation
• features::generate_resource_limit_check
• features::generate_rollback_check
• features::generate_scoped_invariant
• features::generate_storage_failure_check
• features::generate_string_encoding_check
• features::generate_structural_invariant
• features::generate_unsafe_escape
• hir::build_enum_def
• hir::build_error_enum
• hir::build_type_def
• hir::render_item_raw
• hir::render_items
• metadata::extract_metadata
• metadata::implementation_guidance_comment
• type_map::rust_type_to_assura
• type_map::rust_type_to_assura_lenient