More @-attributes supported, top-level declarations and members - Githubissues

dafny-lang / dafny

Dafny is a verification-aware programming language

https://dafny.org

Other

2.93k stars 262 forks source link

More @-attributes supported, top-level declarations and members #5916

Open MikaelMayer opened 1 week ago

MikaelMayer commented 1 week ago

Description

This PR adds most remaining @-attributes on several top-level declarations and members I updated the documentation about these new @-attributes.

Fixed the wrong documentation for {:disableNonlinearArithmetic}

How has this been tested?

Positive tests added to ensure the new @-attributes are supported
Negative typo tests to ensure filtering is done for @-attributes
Formatting tests for every new @-attribute introduced
@-attribute formatting test on every possible declaration and member
Replace old-style attributes with the new-style attributes in the standard library

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