Skip to content

Releases: mathworks/polyspace-agentic-toolkit

Release v1.1.1

07 May 07:10
Immutable release. Only release title and notes can be modified.

Choose a tag to compare

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.