The following form is designed to provide information for your tool that should be included in the effort to verify the Rust standard library. Please note that the tool will need to be supported if it is to be included.

Tool Name

Please enter your tool name here.

Description

Please enter a description for your tool and any information you deem relevant.

Tool Information

  • Does the tool perform Rust verification?
  • Does the tool deal with unsafe Rust code?
  • Does the tool run independently in CI?
  • Is the tool open source?
  • Is the tool under development?
  • Will you or your team be able to provide support for the tool?

Licenses

Please list the license(s) that are used by your tool, and if to your knowledge they conflict with the Rust standard library license(s).

Steps to Use the Tool

  1. [First Step]
  2. [Second Step]
  3. [and so on...]

Artifacts

If there are noteworthy examples of using the tool to perform verificaiton, please include them in this section.Links, papers, etc.

CI & Versioning

Please describe how you version the tool and how it will be supported in CI pipelines.