Repository navigation
Conversation
Replace the deprecated product names with CodeSonar for Ada in the airborne booklet. Update section references, tables and the shared substitution together. Checked renamed references and table structure. Co-Authored-By: Codex <noreply@openai.com>
Clarify the overview and static analysis toolset description. Simplify cross-reference markup, remove a stray parenthesis and reflow affected prose. Checked markup and confirmed that code examples are unchanged. Co-Authored-By: Codex <noreply@openai.com>
Replace the deprecated product names with CodeSonar for Ada in the railway booklet. Update descriptions, indexes, tables and section references together. Checked renamed references and table structure. Co-Authored-By: Codex <noreply@openai.com>
Clarify the analyzer description in the annex and the wording about SPARK tools in the defensive programming table. Reflow affected prose. Checked markup and confirmed that code examples are unchanged. Co-Authored-By: Codex <noreply@openai.com>
Replace the deprecated product names with CodeSonar for Ada in the space systems booklet. Update descriptions, indexes, tables and section references together. Checked renamed references and table structure. Co-Authored-By: Codex <noreply@openai.com>
Clarify analyzer and coding standard checker descriptions. Correct the GNATcheck index directive and reflow affected prose. Checked markup and confirmed that code examples are unchanged. Co-Authored-By: Codex <noreply@openai.com>
Replace the deprecated static analysis product name and URL with the current CodeSonar for Ada name and product page. Checked the updated product reference and whitespace. Co-Authored-By: Codex <noreply@openai.com>
Identify CodeSonar for Ada as the product that includes GNATcheck, replacing the deprecated suite name. Checked the updated product reference and whitespace. Co-Authored-By: Codex <noreply@openai.com>
This branch has not been deployed
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Replace the deprecated GNAT Static Analysis Suite and GNAT SAS names
with CodeSonar for Ada in these booklets and courses:
Update section labels, cross-references, indexes, tables, substitutions
and the product URL, and refine the surrounding prose and markup.
Checked references, substitutions, table structure and whitespace.
Co-Authored-By: Codex noreply@openai.com