r2u2_core-4.1.0
- r2u2_core 4.1.0
- Permalink
- Docs.rs crate page
- MIT OR Apache-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- aaurandt
- Dependencies
- byteorder ^1 normal
  const_env ^0.1.2 normal
  cortex-m-semihosting ^0.5.0 normal optional
  fixedstr ^0.5.8 normal optional
  libc-print ^0.1.23 normal optional
  libm ^0.2.15 normal
  vstd ^0.0.0-2025-08-12-1837 normal
- Versions
- 51.85% of the crate is documented
Platform
Feature flags

docs.rs

Rust

All

r2u2_core4.1.0

Crate Items

Structs
Constants
Functions

List of all items

Structs

Monitor
r2u2_contract
r2u2_output
r2u2_verdict

Functions

get_contract_buffer
get_monitor
get_output_buffer
get_overflow_error
load_bool_signal
load_float_signal
load_int_signal
load_string_signal
monitor_step
reset_overflow_error
update_binary_file

Constants

AGC_INACTIVE
AGC_INVALID
AGC_VERIFIED
R2U2_AUX_MAX_CONTRACTS
R2U2_AUX_MAX_FORMULAS
R2U2_FLOAT_EPSILON
R2U2_MAX_ATOMICS
R2U2_MAX_BZ_INSTRUCTIONS
R2U2_MAX_OUTPUT_CONTRACTS
R2U2_MAX_OUTPUT_VERDICTS
R2U2_MAX_QUEUE_SLOTS
R2U2_MAX_SIGNALS
R2U2_MAX_TL_INSTRUCTIONS