Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update VeriFast proofs #836

Merged
merged 8 commits into from
Oct 27, 2022
Merged

Update VeriFast proofs #836

merged 8 commits into from
Oct 27, 2022

Commits on Aug 4, 2022

  1. Undo syntax changes preventing VeriFast parsing

    @nchong-at-aws
    nchong-at-aws committed Aug 4, 2022
    Configuration menu
    Copy the full SHA
    3e8981e View commit details
    Browse the repository at this point in the history

  2. Update proofs inline with source changes 

    Outstanding:
  - xQueueGenericReset return code
  - Not using prvIncrementQueueTxLock or prvIncrementQueueRxLock macros
    @nchong-at-aws
    nchong-at-aws committed Aug 4, 2022
    Configuration menu
    Copy the full SHA
    73459ec View commit details
    Browse the repository at this point in the history

  3. Remove git hash check

    @nchong-at-aws
    nchong-at-aws committed Aug 4, 2022
    Configuration menu
    Copy the full SHA
    e9689c2 View commit details
    Browse the repository at this point in the history

  4. Document new changes between proven code and implementation

    @nchong-at-aws
    nchong-at-aws committed Aug 4, 2022
    Configuration menu
    Copy the full SHA
    69b9f97 View commit details
    Browse the repository at this point in the history

  5. Update copyright header

    @nchong-at-aws
    nchong-at-aws committed Aug 4, 2022
    Configuration menu
    Copy the full SHA
    dce0315 View commit details
    Browse the repository at this point in the history

Commits on Aug 6, 2022

  1. VeriFast proofs: turn off uncrustify checks 

    Uncrustify requires formatting of comments that is at odds with VeriFast's
proof annotations, which are contained within comments.
    @nchong-at-aws
    nchong-at-aws committed Aug 6, 2022
    Configuration menu
    Copy the full SHA
    f78878e View commit details
    Browse the repository at this point in the history

Commits on Oct 27, 2022

  1. Merge branch 'main' into FixVeriFastProofs

    @n9wxu
    n9wxu committed Oct 27, 2022
    Configuration menu
    Copy the full SHA
    135c00d View commit details
    Browse the repository at this point in the history

  2. Update ci.yml

    @AniruddhaKanhere
    AniruddhaKanhere committed Oct 27, 2022
    Configuration menu
    Copy the full SHA
    8aa216a View commit details
    Browse the repository at this point in the history