From 16c5fa5d66b05ee0a8accea9a357a260f3406a1b Mon Sep 17 00:00:00 2001 From: yoavelmalem Date: Wed, 10 Sep 2025 16:54:55 +0300 Subject: [PATCH] Adding Deprecated CLI Attribute List --- docs/prover/changelog/prover_changelog.md | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/prover/changelog/prover_changelog.md b/docs/prover/changelog/prover_changelog.md index ded1ea5b4..a1e60257e 100644 --- a/docs/prover/changelog/prover_changelog.md +++ b/docs/prover/changelog/prover_changelog.md @@ -25,6 +25,7 @@ Prover Release Notes - [feat] Report links generated by the CLI are private by default; use `"url_visibility": "public"` to share publicly. In CI runs, links remain public by default. - [feat] Foundry remappings support: when `packages` is not set, the tool uses `forge remappings` to resolve package mappings from `foundry.toml`. - [deprecation] Deprecated CLI options have been removed; update configuration files to use supported alternatives listed in the CLI options docs. + - The full list is as follows: • auto_nondet_difficult_internal_funcs • auto_nondet_minimal_difficulty • contract_compiler_skip_severe_warning_as_error • send_only • use_memory_safe_autofinders • disable_finder_friendly_optimizer • do_not_use_memory_safe_autofinders • finder_friendly_optimizer • assert_contracts • allow_solidity_calls_in_quantifiers - [deprecation] The `prover_arg` `-adaptiveSolverConfig false` has been replaced by `-backendStrategy singlerace`. ### Solana / Soroban