From f47d83c7636ca44755c3ea2f190bb69eaf47ee5e Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Thu, 12 Dec 2024 19:44:32 +0000 Subject: [PATCH] Apply suggestions --- doc/src/general-rules.md | 15 +++++++++------ 1 file changed, 9 insertions(+), 6 deletions(-) diff --git a/doc/src/general-rules.md b/doc/src/general-rules.md index 53d96a13b44ee..b5cc9604e4b35 100644 --- a/doc/src/general-rules.md +++ b/doc/src/general-rules.md @@ -101,9 +101,12 @@ Reviews of solutions towards challenges should consider at least the following a 1. Does the pull request implement a solution that respects/meets the success criteria of the challenge? 2. Do the contracts and harnesses incorporate the safety conditions stated in - the documentation (from comments in the code and the [standard library documentation](https://doc.rust-lang.org/std/index.html))? Note that we - currently focus on safety verification. Pre- and post-conditions towards - functional correctness are acceptable as long as they do not negatively - impact verification of safety, such as over-constraining input values. -3. Is the contributed code of adequate quality and idiomatic (to the best of the - committee member's knowledge). + the documentation (from comments in the code and the + [standard library documentation](https://doc.rust-lang.org/std/index.html))? + Note that we currently focus on safety verification. Pre- and post-conditions + towards functional correctness are acceptable as long as they do not + negatively impact verification of safety, such as over-constraining input + values or causing excessive verification run time. +3. Is the contributed code of adequate quality, idiomatic, and stands a chance + to be accepted into the standard library (to the best of the committee + member's knowledge)?