Home /
aiken-lang /
aiken
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)
May 13, 11-12 AM (0)
May 14, 12-1 AM (0)
May 14, 1-2 AM (0)
May 14, 2-3 AM (0)
May 14, 3-4 AM (0)
May 14, 4-5 AM (0)
May 14, 5-6 AM (0)
May 14, 6-7 AM (0)
May 14, 7-8 AM (0)
May 14, 8-9 AM (0)
May 14, 9-10 AM (0)
May 14, 10-11 AM (0)
May 14, 11-12 PM (0)
10 commits this week
May 07, 2026
-
May 14, 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