Home /
aiken-lang /
aiken
May 06, 10-11 PM (0)
May 06, 11-12 AM (1)
May 07, 12-1 AM (0)
May 07, 1-2 AM (0)
May 07, 2-3 AM (1)
May 07, 3-4 AM (1)
May 07, 4-5 AM (1)
May 07, 5-6 AM (0)
May 07, 6-7 AM (0)
May 07, 7-8 AM (1)
May 07, 8-9 AM (0)
May 07, 9-10 AM (0)
May 07, 10-11 AM (0)
May 07, 11-12 PM (0)
May 07, 12-1 PM (0)
May 07, 1-2 PM (0)
May 07, 2-3 PM (1)
May 07, 3-4 PM (0)
May 07, 4-5 PM (0)
May 07, 5-6 PM (1)
May 07, 6-7 PM (1)
May 07, 7-8 PM (0)
May 07, 8-9 PM (0)
May 07, 9-10 PM (0)
May 07, 10-11 PM (0)
May 07, 11-12 AM (1)
May 08, 12-1 AM (0)
May 08, 1-2 AM (1)
May 08, 2-3 AM (0)
May 08, 3-4 AM (1)
May 08, 4-5 AM (0)
May 08, 5-6 AM (1)
May 08, 6-7 AM (1)
May 08, 7-8 AM (0)
May 08, 8-9 AM (0)
May 08, 9-10 AM (0)
May 08, 10-11 AM (0)
May 08, 11-12 PM (0)
May 08, 12-1 PM (0)
May 08, 1-2 PM (0)
May 08, 2-3 PM (0)
May 08, 3-4 PM (0)
May 08, 4-5 PM (0)
May 08, 5-6 PM (0)
May 08, 6-7 PM (0)
May 08, 7-8 PM (0)
May 08, 8-9 PM (0)
May 08, 9-10 PM (0)
May 08, 10-11 PM (0)
May 08, 11-12 AM (0)
May 09, 12-1 AM (0)
May 09, 1-2 AM (0)
May 09, 2-3 AM (0)
May 09, 3-4 AM (0)
May 09, 4-5 AM (0)
May 09, 5-6 AM (0)
May 09, 6-7 AM (0)
May 09, 7-8 AM (0)
May 09, 8-9 AM (0)
May 09, 9-10 AM (0)
May 09, 10-11 AM (0)
May 09, 11-12 PM (0)
May 09, 12-1 PM (0)
May 09, 1-2 PM (0)
May 09, 2-3 PM (0)
May 09, 3-4 PM (0)
May 09, 4-5 PM (0)
May 09, 5-6 PM (0)
May 09, 6-7 PM (0)
May 09, 7-8 PM (0)
May 09, 8-9 PM (0)
May 09, 9-10 PM (0)
May 09, 10-11 PM (0)
May 09, 11-12 AM (0)
May 10, 12-1 AM (0)
May 10, 1-2 AM (0)
May 10, 2-3 AM (0)
May 10, 3-4 AM (0)
May 10, 4-5 AM (0)
May 10, 5-6 AM (0)
May 10, 6-7 AM (0)
May 10, 7-8 AM (0)
May 10, 8-9 AM (0)
May 10, 9-10 AM (0)
May 10, 10-11 AM (0)
May 10, 11-12 PM (0)
May 10, 12-1 PM (0)
May 10, 1-2 PM (0)
May 10, 2-3 PM (0)
May 10, 3-4 PM (0)
May 10, 4-5 PM (0)
May 10, 5-6 PM (0)
May 10, 6-7 PM (0)
May 10, 7-8 PM (0)
May 10, 8-9 PM (0)
May 10, 9-10 PM (0)
May 10, 10-11 PM (0)
May 10, 11-12 AM (0)
May 11, 12-1 AM (0)
May 11, 1-2 AM (0)
May 11, 2-3 AM (0)
May 11, 3-4 AM (0)
May 11, 4-5 AM (0)
May 11, 5-6 AM (0)
May 11, 6-7 AM (0)
May 11, 7-8 AM (0)
May 11, 8-9 AM (0)
May 11, 9-10 AM (0)
May 11, 10-11 AM (0)
May 11, 11-12 PM (0)
May 11, 12-1 PM (0)
May 11, 1-2 PM (0)
May 11, 2-3 PM (0)
May 11, 3-4 PM (0)
May 11, 4-5 PM (0)
May 11, 5-6 PM (0)
May 11, 6-7 PM (0)
May 11, 7-8 PM (0)
May 11, 8-9 PM (0)
May 11, 9-10 PM (0)
May 11, 10-11 PM (0)
May 11, 11-12 AM (0)
May 12, 12-1 AM (0)
May 12, 1-2 AM (0)
May 12, 2-3 AM (0)
May 12, 3-4 AM (0)
May 12, 4-5 AM (0)
May 12, 5-6 AM (0)
May 12, 6-7 AM (0)
May 12, 7-8 AM (0)
May 12, 8-9 AM (0)
May 12, 9-10 AM (0)
May 12, 10-11 AM (0)
May 12, 11-12 PM (0)
May 12, 12-1 PM (0)
May 12, 1-2 PM (0)
May 12, 2-3 PM (0)
May 12, 3-4 PM (0)
May 12, 4-5 PM (0)
May 12, 5-6 PM (0)
May 12, 6-7 PM (0)
May 12, 7-8 PM (0)
May 12, 8-9 PM (0)
May 12, 9-10 PM (1)
May 12, 10-11 PM (0)
May 12, 11-12 AM (0)
May 13, 12-1 AM (0)
May 13, 1-2 AM (0)
May 13, 2-3 AM (0)
May 13, 3-4 AM (0)
May 13, 4-5 AM (0)
May 13, 5-6 AM (0)
May 13, 6-7 AM (0)
May 13, 7-8 AM (0)
May 13, 8-9 AM (0)
May 13, 9-10 AM (0)
May 13, 10-11 AM (0)
May 13, 11-12 PM (0)
May 13, 12-1 PM (0)
May 13, 1-2 PM (0)
May 13, 2-3 PM (0)
May 13, 3-4 PM (0)
May 13, 4-5 PM (0)
May 13, 5-6 PM (0)
May 13, 6-7 PM (0)
May 13, 7-8 PM (0)
May 13, 8-9 PM (1)
May 13, 9-10 PM (0)
May 13, 10-11 PM (0)
15 commits this week
May 06, 2026
-
May 13, 2026
reject malformed list spread patterns with a leading comma
docs: document certified verification statuses and domains
Tests run: - rustfmt +1.94.1 --edition 2024 --check crates/aiken/src/cmd/verify.rs - cargo +1.94.1 test -p aiken docs_ - cargo +1.94.1 test -p aiken cmd::verify::tests:: - cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/property_smoke --generate-only --artifacts always --json - cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/property_smoke --artifacts always --timeout 2400 --json
verify: add solver profiles and certification capabilities
Tests run: - rustfmt +1.94.1 --edition 2024 crates/aiken-project/src/verify.rs crates/aiken-project/src/verify/result_parser.rs crates/aiken-project/src/verify/tests.rs crates/aiken/src/cmd/verify.rs - rustfmt +1.94.1 --edition 2024 --check crates/aiken-project/src/verify.rs crates/aiken-project/src/verify/result_parser.rs crates/aiken-project/src/verify/tests.rs crates/aiken/src/cmd/verify.rs - cargo +1.94.1 test -p aiken-project generate_workspace_ - cargo +1.94.1 test -p aiken-project doctor_report_serializes_to_json - cargo +1.94.1 test -p aiken-project status - cargo +1.94.1 test -p aiken-project parse_verify_results - cargo +1.94.1 test -p aiken cmd::verify::tests:: - cargo +1.94.1 run -p aiken -- verify capabilities --json - cargo +1.94.1 run -p aiken -- verify doctor --json - cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/property_smoke --out-dir build/verify-profile-smoke --artifacts always --solver-profile symbolic --trust-profile production --timeout 2400 --json (cold cache) - cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/property_smoke --out-dir build/verify-profile-smoke --artifacts always --solver-profile symbolic --trust-profile production --timeout 2400 --json (warm cache) - cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/property_smoke --out-dir build/verify-strict-cert-smoke --artifacts always --solver-profile strict-cert --trust-profile production --timeout 2400 --json - cargo +1.94.1 fmt --all --check [fails on unrelated formatting drift in crates/aiken-project/src/blueprint/definitions.rs and crates/aiken-project/src/tests/mod.rs] - cargo +1.94.1 test -p aiken-project verify::tests:: [fails on pre-existing unrelated verify::tests:: expectations/snapshots]
verify: replay and classify solver counterexamples
Tests run: - rustfmt +1.94.1 --edition 2024 crates/aiken-project/src/verify.rs crates/aiken-project/src/verify/tests.rs crates/aiken/src/cmd/verify.rs - rustfmt +1.94.1 --edition 2024 --check crates/aiken-project/src/verify.rs crates/aiken-project/src/verify/tests.rs crates/aiken/src/cmd/verify.rs - cargo +1.94.1 test -p aiken-project counterexample_ - cargo +1.94.1 test -p aiken solver_counterexample_label_ - cargo +1.94.1 test -p aiken-project parse_verify_results - cargo +1.94.1 test -p aiken-project status - cargo +1.94.1 test -p aiken-project theorem_result_serializes_new_status_and_certification - cargo +1.94.1 test -p aiken cmd::verify::tests:: - cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/property_smoke --artifacts always --timeout 2400 --json - cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/091 --artifacts always --timeout 2400 --json - cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/102 --artifacts always --timeout 2400 --json - cargo +1.94.1 test -p aiken-project verify::tests:: (broader practical check; known unrelated failures remain) - cargo +1.94.1 fmt --all --check (workspace still has unrelated formatting drift outside this stage)
verify: add bounded scenario trace verification path
Tests: - rustfmt +1.94.1 --edition 2024 --check crates/aiken-project/src/verify.rs crates/aiken-project/src/verify/tests.rs - cargo +1.94.1 test -p aiken-project scenario_ - cargo +1.94.1 test -p aiken-project phase12_ - cargo +1.94.1 test -p aiken-project accepts_ - cargo +1.94.1 test -p aiken-project step_fn_sound_via_reachability_helpers - cargo +1.94.1 test -p aiken-project inner_schema_lookup_fails - cargo +1.94.1 test -p aiken-project state_machine_error_proof_emits_witness_caveat - cargo +1.94.1 test -p aiken-project h4_debug_mode_emits_widened_def_and_partial_caveat -- --exact - cargo +1.94.1 test -p aiken cmd::verify::tests:: - cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/property_smoke --generate-only --artifacts always --json - cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/property_smoke --artifacts always --timeout 2400 --json
verify: extract relational domains from typed fuzzers
Tests run: - rustfmt +1.94.1 --edition 2024 crates/aiken-lang/src/test_framework.rs crates/aiken-project/src/test_framework.rs crates/aiken-project/src/export.rs crates/aiken-project/src/lib.rs crates/aiken-project/src/verify.rs crates/aiken-project/src/verify/tests.rs - rustfmt +1.94.1 --edition 2024 --check crates/aiken-lang/src/test_framework.rs crates/aiken-project/src/export.rs crates/aiken-project/src/lib.rs crates/aiken-project/src/verify.rs crates/aiken-project/src/verify/tests.rs - cargo +1.94.1 fmt --all --check - cargo +1.94.1 test -p aiken-lang normalize_fuzzer_ - cargo +1.94.1 test -p aiken-lang tuple_elem_arg_index_prefers_mapper_binder_over_outer_local_alias - cargo +1.94.1 test -p aiken-project composed_ - cargo +1.94.1 test -p aiken-project sampler_ - cargo +1.94.1 test -p aiken-project compatibility_ - cargo +1.94.1 test -p aiken-project parse_verify_results - cargo +1.94.1 test -p aiken-project status - cargo +1.94.1 test -p aiken-project generate_workspace_manifest_ - cargo +1.94.1 test -p aiken cmd::verify::tests:: - cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/property_smoke --generate-only --artifacts always --json - cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/property_smoke --artifacts always --timeout 2400 --json - cargo +1.94.1 test -p aiken-project verify::tests:: (observed existing unrelated failures outside this stage)
verify: support fail-once via exact and replayed domains
Tests run: - rustfmt +1.94.1 --edition 2024 crates/aiken-project/src/export.rs crates/aiken-project/src/lib.rs crates/aiken-project/src/verify.rs crates/aiken-project/src/verify/tests.rs - rustfmt +1.94.1 --edition 2024 --check crates/aiken-project/src/export.rs crates/aiken-project/src/lib.rs crates/aiken-project/src/verify.rs crates/aiken-project/src/verify/tests.rs - cargo +1.94.1 test -p aiken-project fail_once_ - cargo +1.94.1 test -p aiken-project compatibility_ - cargo +1.94.1 test -p aiken-project status - cargo +1.94.1 test -p aiken-project parse_verify_results - cargo +1.94.1 test -p aiken-project generate_workspace_creates_files -- --exact - cargo +1.94.1 test -p aiken cmd::verify::tests:: - cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/property_smoke --generate-only --artifacts always --json - cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/property_smoke --artifacts always --timeout 2400 --json - cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/122 --generate-only --artifacts always --json - cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/122 --artifacts always --timeout 2400 --json - cargo +1.94.1 test -p aiken-project verify::tests:: (known broader failures remain outside this stage) - cargo +1.94.1 fmt --all --check
verify: add relational lowerings for composed fuzzers
Tests run: - rustfmt +1.94.1 --edition 2024 --check crates/aiken-lang/src/test_framework.rs crates/aiken-project/src/export.rs crates/aiken-project/src/lib.rs crates/aiken-project/src/verify.rs crates/aiken-project/src/verify/tests.rs crates/aiken/src/cmd/verify.rs - cargo +1.94.1 test -p aiken-lang normalize_fuzzer_ - cargo +1.94.1 test -p aiken-lang int_primitive_constraint_uses_trusted_bounded_support - cargo +1.94.1 test -p aiken-lang byte_primitive_constraint_uses_exact_byte_range - cargo +1.94.1 test -p aiken-lang int_at_least_semantics_use_bounded_upper_support - cargo +1.94.1 test -p aiken-lang int_at_most_semantics_use_bounded_lower_support - cargo +1.94.1 test -p aiken-lang bytearray_fixed_constraint_preserves_exact_length - cargo +1.94.1 test -p aiken-project composed_ - cargo +1.94.1 test -p aiken-project option_and_failure_prone_composed_domains_do_not_report_solver_validated - cargo +1.94.1 test -p aiken-project primitive_ - cargo +1.94.1 test -p aiken-project status - cargo +1.94.1 test -p aiken-project parse_verify_results - cargo +1.94.1 test -p aiken-project generate_workspace_manifest_ - cargo +1.94.1 test -p aiken-project legacy_manifest_without_v2_mode_execution_fields_downgrades_to_partial - cargo +1.94.1 test -p aiken cmd::verify::tests:: - cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/property_smoke --generate-only --artifacts always --json - cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/property_smoke --artifacts always --timeout 2400 --json - cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/101 --generate-only --artifacts always --json - cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/101 --artifacts always --timeout 2400 --json - attempted: cargo +1.94.1 test -p aiken-project verify::tests:: - attempted: cargo +1.94.1 fmt --all --check
verify: lower primitive fuzzers with certified bounds
Tests run: - rustfmt +1.94.1 --edition 2024 --check crates/aiken-lang/src/test_framework.rs crates/aiken-project/src/verify.rs crates/aiken-project/src/verify/tests.rs crates/aiken/src/cmd/verify.rs - cargo +1.94.1 test -p aiken-lang int_primitive_constraint_uses_trusted_bounded_support - cargo +1.94.1 test -p aiken-lang byte_primitive_constraint_uses_exact_byte_range - cargo +1.94.1 test -p aiken-lang int_at_least_semantics_use_bounded_upper_support - cargo +1.94.1 test -p aiken-lang int_at_most_semantics_use_bounded_lower_support - cargo +1.94.1 test -p aiken-lang bytearray_fixed_constraint_preserves_exact_length - cargo +1.94.1 test -p aiken-project primitive_ - cargo +1.94.1 test -p aiken-project primitive_fixture_hashes_are_pinned - cargo +1.94.1 test -p aiken-project status - cargo +1.94.1 test -p aiken-project parse_verify_results - cargo +1.94.1 test -p aiken-project generate_workspace_manifest_ - cargo +1.94.1 test -p aiken-project legacy_manifest_without_v2_mode_execution_fields_downgrades_to_partial - cargo +1.94.1 test -p aiken cmd::verify::tests:: - cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/property_smoke --generate-only --artifacts always --json - cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/property_smoke --artifacts always --timeout 2400 --json - cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/101 --generate-only --artifacts always --json - cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/101 --artifacts always --timeout 2400 --json - attempted: cargo +1.94.1 test -p aiken-project verify::tests:: - attempted: cargo +1.94.1 fmt --all --check
verify: prototype exact sampler relation fallback
Tests run: - rustfmt +1.94.1 --edition 2024 crates/aiken-project/src/verify.rs crates/aiken-project/src/verify/tests.rs crates/aiken/src/cmd/verify.rs - rustfmt +1.94.1 --edition 2024 --check crates/aiken-project/src/verify.rs crates/aiken-project/src/verify/tests.rs crates/aiken/src/cmd/verify.rs - cargo +1.94.1 test -p aiken-project sampler_ - cargo +1.94.1 test -p aiken-project sampler_utils_represent_fuzzer_failure_explicitly - cargo +1.94.1 test -p aiken-project opaque_ - cargo +1.94.1 test -p aiken-project unsupported_type_ - cargo +1.94.1 test -p aiken-project data_without_domain_predicate_ - cargo +1.94.1 test -p aiken-project fail_once_data_proof_mode_uses_sampler_relation - cargo +1.94.1 test -p aiken-project fail_once_unsupported_proof_mode_uses_sampler_relation - cargo +1.94.1 test -p aiken-project status - cargo +1.94.1 test -p aiken-project parse_verify_results - cargo +1.94.1 test -p aiken generated_manifest_ - cargo +1.94.1 test -p aiken cmd::verify::tests:: - cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/property_smoke --generate-only --artifacts always --json - cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/property_smoke --artifacts always --timeout 2400 --json - cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/122 --generate-only --artifacts always --json - cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/122 --artifacts always --timeout 2400 --json
verify: add value decoder obligations and schemas
Tests run: - rustfmt +1.94.1 --edition 2024 crates/aiken-project/src/verify.rs crates/aiken-project/src/verify/tests.rs crates/aiken/src/cmd/verify.rs - rustfmt +1.94.1 --edition 2024 --check crates/aiken-project/src/verify.rs crates/aiken-project/src/verify/tests.rs - cargo +1.94.1 test -p aiken-project input_bridge_ - cargo +1.94.1 test -p aiken-project schema_less_raw_data_fallback_opens_decoder_obligations_and_blocks_success - cargo +1.94.1 test -p aiken-project generate_workspace_manifest_ - cargo +1.94.1 test -p aiken-project theorem_result_serializes_new_status_and_certification - cargo +1.94.1 test -p aiken-project legacy_manifest_without_v2_mode_execution_fields_downgrades_to_partial - cargo +1.94.1 test -p aiken-project status - cargo +1.94.1 test -p aiken-project parse_verify_results - cargo +1.94.1 test -p aiken cmd::verify::tests:: - cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/property_smoke --generate-only --artifacts always --json - cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/property_smoke --artifacts always --timeout 2400 --json - cargo +1.94.1 test -p aiken-project verify::tests:: (known unrelated failures remain) - cargo +1.94.1 fmt --all --check (known unrelated workspace formatting drift remains)
verify: generate mode-aware property theorems
Tests run: - rustfmt +1.94.1 --edition 2024 --check crates/aiken-project/src/verify.rs crates/aiken-project/src/verify/tests.rs - cargo +1.94.1 test -p aiken-project verify::tests::bool_return_mode_generates_prove_tests -- --exact - cargo +1.94.1 test -p aiken-project verify::tests::void_return_mode_generates_halt_theorem -- --exact - cargo +1.94.1 test -p aiken-project verify::tests::void_fail_mode_generates_error_theorem -- --exact - cargo +1.94.1 test -p aiken-project verify::tests::fail_once_proof_mode_generates_existential_theorem -- --exact - cargo +1.94.1 test -p aiken-project verify::tests::witness_mode_accepted_for_bool_domain -- --exact - cargo +1.94.1 test -p aiken-project verify::tests::tuple_int_int_component_bounds_generate_two_ranges -- --exact - cargo +1.94.1 test -p aiken-project verify::tests::generate_workspace_creates_files -- --exact - cargo +1.94.1 test -p aiken-project compat_void_return_mode_generates_halt_theorem - cargo +1.94.1 test -p aiken-project fail_once_void_proof_mode_generates_existential_error_theorem - cargo +1.94.1 test -p aiken-project manifest_test_mode_changes_result_classification - cargo +1.94.1 test -p aiken-project status - cargo +1.94.1 test -p aiken-project parse_verify_results - cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/property_smoke --generate-only --artifacts always --json - cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/property_smoke --artifacts always --timeout 2400 --json
verify: enforce mode and domain compatibility
Tests run: - rustfmt +1.94.1 --edition 2024 crates/aiken-project/src/verify.rs crates/aiken-project/src/verify/tests.rs crates/aiken/src/cmd/verify.rs - rustfmt +1.94.1 --edition 2024 --check crates/aiken-project/src/verify.rs crates/aiken-project/src/verify/tests.rs crates/aiken/src/cmd/verify.rs - cargo +1.94.1 test -p aiken-project compatibility_ - cargo +1.94.1 test -p aiken-project domain_ - cargo +1.94.1 test -p aiken-project status - cargo +1.94.1 test -p aiken-project parse_verify_results - cargo +1.94.1 test -p aiken-project generated_manifest_ - cargo +1.94.1 test -p aiken-project state_machine_halt_proof_with_opaque_output_is_unsupported_even_with_step_ir - cargo +1.94.1 test -p aiken-project state_machine_halt_proof_without_witness_still_rejects_opaque_output - cargo +1.94.1 test -p aiken-project differential_only_domain_cannot_report_solver_validated_under_production - cargo +1.94.1 test -p aiken-project unchecked_domain_cannot_report_solver_validated_under_production - cargo +1.94.1 test -p aiken-project experimental_differential_only_success_is_labeled - cargo +1.94.1 test -p aiken-project unsafe_dev_never_reports_verified_success - cargo +1.94.1 test -p aiken-project witness_checks_require_concrete_replay_validation - cargo +1.94.1 test -p aiken cmd::verify::tests:: - cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/property_smoke --generate-only --artifacts always --json - cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/property_smoke --artifacts always --timeout 2400 --json Also attempted: - cargo +1.94.1 test -p aiken-project verify::tests:: - cargo +1.94.1 fmt --all --check
verify: introduce certified relational domain metadata
Tests run: - rustfmt +1.94.1 --edition 2024 crates/aiken-project/src/verify.rs crates/aiken-project/src/verify/result_parser.rs crates/aiken-project/src/verify/tests.rs crates/aiken/src/cmd/verify.rs - rustfmt +1.94.1 --edition 2024 --check crates/aiken-project/src/verify.rs crates/aiken-project/src/verify/result_parser.rs crates/aiken-project/src/verify/tests.rs crates/aiken/src/cmd/verify.rs - cargo +1.94.1 test -p aiken-project status - cargo +1.94.1 test -p aiken-project parse_verify_results - cargo +1.94.1 test -p aiken-project domain_ - cargo +1.94.1 test -p aiken-project placeholder_domain_fixture_cannot_report_solver_validated - cargo +1.94.1 test -p aiken-project legacy_manifest_without_v2_mode_execution_fields_downgrades_to_partial - cargo +1.94.1 test -p aiken-project generate_workspace_manifest_v2_records_mode_execution_and_hash_metadata - cargo +1.94.1 test -p aiken-project generate_workspace_manifest_records_hash_limitations_when_sources_are_unavailable - cargo +1.94.1 test -p aiken cmd::verify::tests:: - cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/property_smoke --generate-only --artifacts always --json - cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/property_smoke --artifacts always --timeout 2400 --json Also attempted: - cargo +1.94.1 test -p aiken-project verify::tests:: - cargo +1.94.1 fmt --all --check