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

Migrate assertions to Vipers #104

Draft
wants to merge 13 commits into
base: master
Choose a base branch
from
Draft

Migrate assertions to Vipers #104

wants to merge 13 commits into from

Commits on Dec 28, 2021

  1. Migrate assertions to Vipers

    @macalinao
    macalinao committed Dec 28, 2021
    Configuration menu
    Copy the full SHA
    2681c25 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into clean-up-assertions

    @macalinao
    macalinao committed Dec 28, 2021
    Configuration menu
    Copy the full SHA
    d48182c View commit details
    Browse the repository at this point in the history

  3. migrate more stuff to vipers

    @macalinao
    macalinao committed Dec 28, 2021
    Configuration menu
    Copy the full SHA
    34e1f26 View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'origin/master' into clean-up-assertions

    @macalinao
    macalinao committed Dec 28, 2021
    Configuration menu
    Copy the full SHA
    197c61d View commit details
    Browse the repository at this point in the history

  5. migrate more stuff to assert_keys

    @macalinao
    macalinao committed Dec 28, 2021
    Configuration menu
    Copy the full SHA
    18444f8 View commit details
    Browse the repository at this point in the history

  6. More vipers checks

    @macalinao
    macalinao committed Dec 28, 2021
    Configuration menu
    Copy the full SHA
    ca96cd4 View commit details
    Browse the repository at this point in the history

  7. More checks

    @macalinao
    macalinao committed Dec 28, 2021
    Configuration menu
    Copy the full SHA
    afc0790 View commit details
    Browse the repository at this point in the history

  8. not init

    @macalinao
    macalinao committed Dec 28, 2021
    Configuration menu
    Copy the full SHA
    1ad5f1d View commit details
    Browse the repository at this point in the history

Commits on Feb 6, 2022

  1. Merge remote-tracking branch 'origin/master' into clean-up-assertions

    @macalinao
    macalinao committed Feb 6, 2022
    Configuration menu
    Copy the full SHA
    6b745a1 View commit details
    Browse the repository at this point in the history

  2. Upgrade deps

    @macalinao
    macalinao committed Feb 6, 2022
    Configuration menu
    Copy the full SHA
    4a8fefc View commit details
    Browse the repository at this point in the history

  3. Move ownership checks lower in the program

    @macalinao
    macalinao committed Feb 6, 2022
    Configuration menu
    Copy the full SHA
    6ec570f View commit details
    Browse the repository at this point in the history

  4. more cleanup

    @macalinao
    macalinao committed Feb 6, 2022
    Configuration menu
    Copy the full SHA
    bda08f7 View commit details
    Browse the repository at this point in the history

  5. more vipers

    @macalinao
    macalinao committed Feb 6, 2022
    Configuration menu
    Copy the full SHA
    4f637c6 View commit details
    Browse the repository at this point in the history