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

NFM22 examples #901

Merged
merged 12 commits into from
May 27, 2022
Merged

NFM22 examples #901

merged 12 commits into from
May 27, 2022

Commits on Mar 13, 2022

  1. NFM22 examples initial

    @Aurel300
    Aurel300 committed Mar 13, 2022
    Configuration menu
    Copy the full SHA
    7d50c8c View commit details
    Browse the repository at this point in the history

Commits on Mar 18, 2022

  1. Reorganise and update BST examples

    @JonasAlaif
    JonasAlaif committed Mar 18, 2022
    Configuration menu
    Copy the full SHA
    2016e8e View commit details
    Browse the repository at this point in the history

Commits on May 21, 2022

  1. Merge branch 'bugfix-before-expiry' into nfm22-examples

    @JonasAlaif
    JonasAlaif committed May 21, 2022
    Configuration menu
    Copy the full SHA
    3046505 View commit details
    Browse the repository at this point in the history

  2. Fix bug in example

    @JonasAlaif
    JonasAlaif committed May 21, 2022
    Configuration menu
    Copy the full SHA
    a627256 View commit details
    Browse the repository at this point in the history

  3. Workaround for lack of support for Self in extern_spec

    @JonasAlaif
    JonasAlaif committed May 21, 2022
    Configuration menu
    Copy the full SHA
    ab9d11b View commit details
    Browse the repository at this point in the history

  4. Workaround for viperproject#917

    @JonasAlaif
    JonasAlaif committed May 21, 2022
    Configuration menu
    Copy the full SHA
    7676e26 View commit details
    Browse the repository at this point in the history

  5. Mark i32s cmp as pure 

    Not sure why it doesn't inherit this from the trait?
    @JonasAlaif
    JonasAlaif committed May 21, 2022
    Configuration menu
    Copy the full SHA
    89ab21f View commit details
    Browse the repository at this point in the history

  6. Make client code more interesting

    @JonasAlaif
    JonasAlaif committed May 21, 2022
    Configuration menu
    Copy the full SHA
    2e0388e View commit details
    Browse the repository at this point in the history

  7. Remove redundant recursive definition of inv

    @JonasAlaif
    JonasAlaif committed May 21, 2022
    Configuration menu
    Copy the full SHA
    927f9e3 View commit details
    Browse the repository at this point in the history

Commits on May 22, 2022

  1. Merge branch 'master' into nfm22-examples

    @JonasAlaif
    JonasAlaif committed May 22, 2022
    Configuration menu
    Copy the full SHA
    cafd538 View commit details
    Browse the repository at this point in the history

  2. Move additional examples to another PR

    @JonasAlaif
    JonasAlaif committed May 22, 2022
    Configuration menu
    Copy the full SHA
    9c5a971 View commit details
    Browse the repository at this point in the history

Commits on May 27, 2022

  1. enable type invariants for test

    @Aurel300
    Aurel300 committed May 27, 2022
    Configuration menu
    Copy the full SHA
    1ba60f7 View commit details
    Browse the repository at this point in the history