From 1a60e328540204f308afbda96e3c07f57078a930 Mon Sep 17 00:00:00 2001 From: hyperpolymath <6759885+hyperpolymath@users.noreply.github.com> Date: Wed, 1 Jul 2026 22:20:57 +0100 Subject: [PATCH] chore(echidnabot): add spark to secondary_languages (standing rust/SPARK pairing rule) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit SPARK was never present in this list (verified via git log -S over the file's history — an original omission, not drift). The estate standing rule pairs SPARK with Rust everywhere; echidna carries real Ada/SPARK code (crates/echidna-core-spark, src/ada/spark, gnatprove backend). Co-Authored-By: Claude Fable 5 --- .echidnabot.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.echidnabot.toml b/.echidnabot.toml index 19da31e6..ff959b95 100644 --- a/.echidnabot.toml +++ b/.echidnabot.toml @@ -12,7 +12,7 @@ type = "formal-verification" [architecture] enforcement_level = "normal" primary_language = "rust" # Core prover backends -secondary_languages = ["julia", "rescript", "idris2", "chapel"] +secondary_languages = ["julia", "rescript", "idris2", "chapel", "spark"] [provers] # ECHIDNA is self-hosting - can verify its own Idris2 ABI definitions