Skip to content

Latest commit

 

History

History
43 lines (24 loc) · 1.01 KB

pull_request_template.md

File metadata and controls

43 lines (24 loc) · 1.01 KB

Before your submission:

  • Ensure your PR follows the contribution guidelines.

  • Be mindful of the no nonterminal simp rule in your proofs.

  • Do not introduce any new external dependencies.

  • Remember to document and comment your code.

  • Note that before a PR to the main branch can be merged:

    • No changes must be requested.

    • All conversations must be resolved.

    • Approval from a maintainer is required.

  • Remove this section, up to and including the --- before submitting.

Issues:

Resolves #<issue_number>.

Remove this section if this PR doesn't address any open issues.

Description:

A detailed description of your contribution. Why is this change necessary?

Testing:

What tests have been run? Did make all succeed for your changes? Was conformance testing successful on an Aarch64 machine?

License:

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.