Releases: mathworks/polyspace-agentic-toolkit
Releases · mathworks/polyspace-agentic-toolkit
Release v1.1.1
Initial release, with the following tools:
- run_polyspace_as_you_code: Run Polyspace as You Code on a C/C++ source file to find coding standard violations and defects.
- configure_build_options_for_polyspace: Create a build options file from a build command or compilation database (compile_commands.json).
- configure_checkers_for_polyspace: Create or modify the checkers XML file that selects which coding standards to check.
- get_polyspace_documentation: List available command-line options for polyspace-as-you-code or polyspace-configure.
- query_justification_catalog: Query a justification catalog JSON file for pre-approved justification texts matching one or more findings.