Docs.rs
vyre-conform-0.1.0
Platform
i686-pc-windows-msvc
x86_64-unknown-linux-gnu
Feature flags
docs.rs
About docs.rs
Badges
Builds
Metadata
Shorthand URLs
Download
Rustdoc JSON
Build queue
Privacy policy
Rust
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
vyre-conform 0.1.0
Conformance suite for vyre backends — proves byte-identical output to CPU reference
Crate
Source
Builds
Feature flags
Documentation
Hide files
..
adversarial
atomics_enforcer
diagnostics
gap
integration
reference_self_test
unit
.append-only-allowlist.txt
adversarial.rs
adversarial_gauntlet_registry.rs
algebra_adversarial_cross_laws.rs
algebra_adversarial_custom_laws.rs
algebra_adversarial_distributive_over.rs
algebra_adversarial_one_sided.rs
algebra_checker_fuzz.rs
algebra_coverage_summary.txt
algebra_self_test.rs
append_only_paths_completeness.rs
append_only_tripwire.rs
archetypes_registry.rs
archetypes_registry_count.snapshot
atomics_enforcer.rs
audit_bypass_vectors.rs
backend_universality.rs
barrier_enforcer.rs
catb_box_dyn_trait_dispatch.rs
catb_fn_ptr_struct_field.rs
catb_hashmap_fn_dispatch.rs
catb_indexed_fn_table_call.rs
catb_iter_chain_visitor.rs
catb_round2_any_downcast.rs
catb_round2_async_boxing.rs
catb_round2_enum_dispatch_verification.rs
catb_round2_inventory_linkme.rs
catb_round2_renamed_opcode_enums.rs
catb_round2_typetag_serde.rs
catb_round2_wrapped_dyn_storage.rs
catb_symlink_cycle.rs
category_gate.rs
certificate_sealed.rs
certificate_strength.rs
certify_tracks.rs
characterize_arity_isolates_comparison.rs
characterize_empty_law_set_reported.rs
characterize_identical_law_sets_collide.rs
characterize_parameterized_identity_distinct.rs
characterize_registry_distinctiveness.rs
characterize_subset_collides_with_superset.rs
characterize_unique_op_is_unique.rs
codeowners_coverage.rs
composition_parity.rs
composition_proofs.rs
conform_audit_regressions.rs
conform_self_audit_must_scream.rs
contribute_pipeline.rs
contributor_flow_end_to_end.rs
corpus_append_only.rs
corpus_replay_xor.rs
data_race_enforcer.rs
defenders_backdoor.rs
defenders_built_in_coverage.rs
defenders_drop_lsb.rs
defenders_drop_msb.rs
defenders_hardcoded_input.rs
defenders_hardcoded_zero.rs
defenders_mod_mask.rs
defenders_nondeterministic.rs
defenders_off_by_one.rs
defenders_pseudo_correct.rs
defenders_sign_flip.rs
defenders_swapped_operand.rs
defenders_unsupported.rs
determinism_enforcer.rs
determinism_stress.rs
dual_reference_agreement.rs
dual_reference_xor.rs
enforce_admission_finding_13.rs
enforce_atomics_finding_1.rs
enforce_atomics_finding_2.rs
enforce_atomics_finding_3.rs
enforce_atomics_finding_4.rs
enforce_barrier_finding_5.rs
enforce_characterize_finding_14.rs
enforce_data_race_finding_6.rs
enforce_data_race_finding_7.rs
enforce_determinism_finding_8.rs
enforce_determinism_finding_9.rs
enforce_float_b1_fma_fusion.rs
enforce_float_b2_reduction_ordering.rs
enforce_float_b3_subnormal.rs
enforce_float_b4_transcendentals.rs
enforce_float_b5_div_sqrt.rs
enforce_float_b6_tensor.rs
enforce_oob_finding_10.rs
enforce_oob_finding_11.rs
enforce_round3_silent_pass_vectors.rs
enforce_signature_finding_12.rs
every_op_has_archetypes.rs
falsifiability_matrix.rs
formal_spec.rs
fuzz_reproducers.rs
gap.rs
gate_7_blindness_fixed.rs
generator_add.rs
generator_cross_product.rs
golden_replay.rs
gpu_algebra.rs
gpu_mandatory_gate.rs
harnesses_h1.rs
harnesses_h10.rs
harnesses_h2.rs
harnesses_h3.rs
harnesses_h4.rs
harnesses_h5.rs
harnesses_h6.rs
harnesses_h7.rs
harnesses_h8.rs
harnesses_h9.rs
independence_gate_wired.rs
independence_round2_01_async.rs
independence_round2_02_const.rs
independence_round2_03_loop_break.rs
independence_round2_04_unsafe.rs
independence_round2_05_index.rs
independence_round2_06_field.rs
independence_round2_07_if_cond.rs
independence_round2_08_match.rs
independence_round2_09_repeat.rs
independence_round2_10_cast.rs
integration.rs
kat_toml_loader.rs
law_coverage_matrix.rs
law_dispatch_coverage.rs
law_inference.rs
laws_are_not_decorative.rs
layers_pipeline_green_on_clean_registry.rs
layers_wiring.rs
legendary_gate_smoke.rs
loom_certificate_writer.rs
loom_regression_store.rs
loom_shared_rng.rs
loom_spec_registry.rs
loom_witness_dispatcher.rs
meta_conform.rs
minimizer.rs
mutation_budget.rs
mutation_catalog.rs
no_meta_apply_in_prod.rs
no_unchecked_chain_spec.rs
non_exhaustive_audit.rs
oob_enforcer.rs
oom_injection.rs
op_spec_completeness.rs
oracle_hierarchy.rs
p1_6_fix_critical_1.rs
p1_6_fix_critical_2.rs
p1_6_fix_critical_3.rs
p1_6_fix_critical_4.rs
p1_6_fix_critical_5.rs
p1_6_fix_critical_6.rs
p1_6_fix_critical_7.rs
p1_6_fix_critical_8.rs
parity_10m_xor.rs
phase6_calibration_add.rs
proptest_certificate_monotonic.rs
proptest_comparator_symmetry.rs
proptest_fingerprint_collision.rs
proptest_independence_walker_termination.rs
proptest_law_closure.rs
proptest_spec_arity.rs
proptest_witness_determinism.rs
reference_10_adversarial.rs
reference_11_adversarial.rs
reference_12_adversarial.rs
reference_13_adversarial.rs
reference_14_adversarial.rs
reference_15_adversarial.rs
reference_1_adversarial.rs
reference_2_adversarial.rs
reference_3_adversarial.rs
reference_4_adversarial.rs
reference_5_adversarial.rs
reference_6_adversarial.rs
reference_7_adversarial.rs
reference_8_adversarial.rs
reference_9_adversarial.rs
reference_agreement_primitives.rs
reference_budget_default_archetype.rs
reference_budget_enforced.rs
reference_float.rs
reference_interpreter.rs
reference_round2_findings.rs
reference_self_test.rs
reference_smoke.rs
reference_vs_cpu_parity.rs
regression_persistence.rs
self_audit_support.rs
self_integrity.rs
selftest_gauntlet.rs
semantic_lock.rs
session_smoke.rs
shrinking_allowlist_baseline.rs
signature_enforcer.rs
spec_ops_add.rs
spec_registry_coverage.rs
streaming_findings.rs
support.rs
templates_render.rs
test_catalog_integrity.rs
test_doctest.rs
tokenize_kat.rs
unit.rs
wire_format_equivalence.rs
workflow_permission_lint_smoke.rs
xtask_audit_regressions.rs
xtask_quick_check.rs
xtask_smoke.rs
1
2
3
mod
gap
{
mod
test_property_demorgan_gap
;
}