synth-backend-0.37.0
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

synth-backend 0.37.0

ARM encoder, ELF builder, vector table, linker scripts, and MPU configuration

Crate
Source
Builds
Feature flags

..
a32_no_silent_nop_615.rs
benchmark_suite.rs
bit_manipulation_test.rs
cmp_select_predication_encoding.rs
division_test.rs
encoder_decodability_dump.rs
estimator_encoder_agreement.rs
f32_operations_test.rs
f32_vfp_encoding_test.rs
f64_operations_test.rs
f64_vfp_encoding_test.rs
i64_expansion_certification.rs
integration_test.rs
issue_95_const_addr_load.rs
kani_arm_encoding.rs
led_blink_test.rs
linker_integration_test.rs
meld_abi_test.rs