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

feat: Add invariant testing #760

Merged
merged 12 commits into from
Feb 10, 2023
Merged

feat: Add invariant testing #760

merged 12 commits into from
Feb 10, 2023

Commits on Jan 6, 2023

  1. feat: add table

    @lucas-manuel
    lucas-manuel committed Jan 6, 2023
    Configuration menu
    Copy the full SHA
    61f8b6d View commit details
    Browse the repository at this point in the history

  2. fix: update table formatting

    @lucas-manuel
    lucas-manuel committed Jan 6, 2023
    Configuration menu
    Copy the full SHA
    5d5f9ad View commit details
    Browse the repository at this point in the history

  3. feat: remove vscode setting and add more info

    @lucas-manuel
    lucas-manuel committed Jan 6, 2023
    Configuration menu
    Copy the full SHA
    8f5fede View commit details
    Browse the repository at this point in the history

Commits on Jan 23, 2023

  1. feat: update to add more example code

    @lucas-manuel
    lucas-manuel committed Jan 23, 2023
    Configuration menu
    Copy the full SHA
    529d741 View commit details
    Browse the repository at this point in the history

Commits on Jan 26, 2023

  1. fix: update based on comments

    @lucas-manuel
    lucas-manuel committed Jan 26, 2023
    Configuration menu
    Copy the full SHA
    1e4f00c View commit details
    Browse the repository at this point in the history

  2. feat: add diagrams and handlers section

    @lucas-manuel
    lucas-manuel authored Jan 26, 2023
    Configuration menu
    Copy the full SHA
    75afb61 View commit details
    Browse the repository at this point in the history

  3. fix: reorder pages

    @lucas-manuel
    lucas-manuel committed Jan 26, 2023
    Configuration menu
    Copy the full SHA
    a62fc2a View commit details
    Browse the repository at this point in the history

  4. fix: add section on depth counter and fix target contracts section

    @lucas-manuel
    lucas-manuel committed Jan 26, 2023
    Configuration menu
    Copy the full SHA
    d520de0 View commit details
    Browse the repository at this point in the history

Commits on Feb 6, 2023

  1. feat: break out handlers into sections, add definitions for targets

    @lucas-manuel
    lucas-manuel committed Feb 6, 2023
    Configuration menu
    Copy the full SHA
    51573e9 View commit details
    Browse the repository at this point in the history

  2. fix: owner => user

    @lucas-manuel
    lucas-manuel committed Feb 6, 2023
    Configuration menu
    Copy the full SHA
    93ec6d3 View commit details
    Browse the repository at this point in the history

  3. fix: update fail on revert default

    @lucas-manuel
    lucas-manuel authored Feb 6, 2023
    Configuration menu
    Copy the full SHA
    7d09bd0 View commit details
    Browse the repository at this point in the history

Commits on Feb 9, 2023

  1. fix: update typos and add colon

    @lucas-manuel
    lucas-manuel committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    c635496 View commit details
    Browse the repository at this point in the history