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

Certora #1

Draft
wants to merge 32 commits into
base: main
Choose a base branch
from
Draft

Certora #1

wants to merge 32 commits into from

Commits on Jun 30, 2022

  1. unfinished setup

    @MichaelMorami
    MichaelMorami committed Jun 30, 2022
    Configuration menu
    Copy the full SHA
    5c1bd20 View commit details
    Browse the repository at this point in the history

Commits on Jul 2, 2022

  1. setup, error in harness

    @MichaelMorami
    MichaelMorami committed Jul 2, 2022
    Configuration menu
    Copy the full SHA
    b06f1b9 View commit details
    Browse the repository at this point in the history

  2. setup unfinished

    @MichaelMorami
    MichaelMorami committed Jul 2, 2022
    Configuration menu
    Copy the full SHA
    f76b6db View commit details
    Browse the repository at this point in the history

  3. setup unfinished

    @MichaelMorami
    MichaelMorami committed Jul 2, 2022
    Configuration menu
    Copy the full SHA
    a44c1a6 View commit details
    Browse the repository at this point in the history

Commits on Jul 3, 2022

  1. uploading harnesses

    @MichaelMorami
    MichaelMorami committed Jul 3, 2022
    Configuration menu
    Copy the full SHA
    75b4ac6 View commit details
    Browse the repository at this point in the history

Commits on Jul 4, 2022

  1. bridge setup

    @nd-certora
    nd-certora committed Jul 4, 2022
    Configuration menu
    Copy the full SHA
    ba1d26e View commit details
    Browse the repository at this point in the history

  2. gitinore for certora

    @nd-certora
    nd-certora committed Jul 4, 2022
    Configuration menu
    Copy the full SHA
    ea038f6 View commit details
    Browse the repository at this point in the history

Commits on Jul 5, 2022

  1. adding L2 mock and renaming files

    @MichaelMorami
    MichaelMorami committed Jul 5, 2022
    Configuration menu
    Copy the full SHA
    18e935f View commit details
    Browse the repository at this point in the history

  2. error msg on incorrect linking

    @MichaelMorami
    MichaelMorami committed Jul 5, 2022
    Configuration menu
    Copy the full SHA
    e1c3403 View commit details
    Browse the repository at this point in the history

  3. undo

    @MichaelMorami
    MichaelMorami committed Jul 5, 2022
    Configuration menu
    Copy the full SHA
    530c172 View commit details
    Browse the repository at this point in the history

  4. fixing linking error

    @MichaelMorami
    MichaelMorami committed Jul 5, 2022
    Configuration menu
    Copy the full SHA
    331cb7f View commit details
    Browse the repository at this point in the history

Commits on Jul 6, 2022

  1. setup for atokens in L2

    @nd-certora
    nd-certora committed Jul 6, 2022
    Configuration menu
    Copy the full SHA
    95cd8e6 View commit details
    Browse the repository at this point in the history

  2. almost finished setup

    @MichaelMorami
    MichaelMorami committed Jul 6, 2022
    Configuration menu
    Copy the full SHA
    069b2d1 View commit details
    Browse the repository at this point in the history

Commits on Jul 31, 2022

  1. nearly done setup

    @MichaelMorami
    MichaelMorami committed Jul 31, 2022
    Configuration menu
    Copy the full SHA
    ef79687 View commit details
    Browse the repository at this point in the history

Commits on Aug 4, 2022

  1. Updated harnesses and spec for bridges

    @Roy-Certora
    Roy-Certora committed Aug 4, 2022
    Configuration menu
    Copy the full SHA
    8267d58 View commit details
    Browse the repository at this point in the history

Commits on Aug 7, 2022

  1. Updated bridge spec

    @Roy-Certora
    Roy-Certora committed Aug 7, 2022
    Configuration menu
    Copy the full SHA
    2122916 View commit details
    Browse the repository at this point in the history

  2. Updated bridge spec

    @Roy-Certora
    Roy-Certora committed Aug 7, 2022
    Configuration menu
    Copy the full SHA
    2a053c4 View commit details
    Browse the repository at this point in the history

  3. update spec and fixed harness

    @Roy-Certora
    Roy-Certora committed Aug 7, 2022
    Configuration menu
    Copy the full SHA
    a52ac6a View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2022

  1. Updated spec - fixed functions and rules

    @Roy-Certora
    Roy-Certora committed Aug 8, 2022
    Configuration menu
    Copy the full SHA
    c845276 View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2022

  1. update spec

    @Roy-Certora
    Roy-Certora committed Aug 9, 2022
    Configuration menu
    Copy the full SHA
    8f8bb50 View commit details
    Browse the repository at this point in the history

Commits on Aug 10, 2022

  1. New realistic implementation for AToken

    @Roy-Certora
    Roy-Certora committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    f425bcc View commit details
    Browse the repository at this point in the history

  2. New realistic implementation for AToken

    @Roy-Certora
    Roy-Certora committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    7e3ce6e View commit details
    Browse the repository at this point in the history

  3. New realistic implementation for AToken

    @Roy-Certora
    Roy-Certora committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    34e43b3 View commit details
    Browse the repository at this point in the history

  4. Updated spec and script

    @Roy-Certora
    Roy-Certora committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    ce9e799 View commit details
    Browse the repository at this point in the history

  5. Updated spec and script

    @Roy-Certora
    Roy-Certora committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    e2f516c View commit details
    Browse the repository at this point in the history

Commits on Aug 14, 2022

  1. Nurit PR: Changes to harness funcs.

    @Roy-Certora
    Roy-Certora committed Aug 14, 2022
    Configuration menu
    Copy the full SHA
    2cc6e7b View commit details
    Browse the repository at this point in the history

  2. Nurit PR: Updated spec, add summary for Raymath

    @Roy-Certora
    Roy-Certora committed Aug 14, 2022
    Configuration menu
    Copy the full SHA
    de2728b View commit details
    Browse the repository at this point in the history

Commits on Aug 15, 2022

  1. Finished spec, ready for community

    @Roy-Certora
    Roy-Certora committed Aug 15, 2022
    Configuration menu
    Copy the full SHA
    8fe4269 View commit details
    Browse the repository at this point in the history

  2. Updated run script

    @Roy-Certora
    Roy-Certora committed Aug 15, 2022
    Configuration menu
    Copy the full SHA
    1620a2c View commit details
    Browse the repository at this point in the history

Commits on Aug 24, 2022

  1. Merge branch 'aave-starknet-project:main' into certora

    @Roy-Certora
    Roy-Certora authored Aug 24, 2022
    Configuration menu
    Copy the full SHA
    2541f0a View commit details
    Browse the repository at this point in the history

  2. add README.md

    @Roy-Certora
    Roy-Certora committed Aug 24, 2022
    Configuration menu
    Copy the full SHA
    ca6ed1c View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2022

  1. Merge branch 'aave-starknet-project:main' into certora

    @MichaelMorami
    MichaelMorami authored Aug 29, 2022
    Configuration menu
    Copy the full SHA
    13a2841 View commit details
    Browse the repository at this point in the history