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

Add SMTLIB field-update support to AIR #1319

Open
wants to merge 13 commits into
base: main
Choose a base branch
from
Open

Add SMTLIB field-update support to AIR #1319

wants to merge 13 commits into from

Commits on Oct 23, 2024

  1. start on field update support in AIR

    @utaal
    utaal committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    0ccea6c View commit details
    Browse the repository at this point in the history

  2. emitted update-field

    @tim-rohde @utaal
    tim-rohde authored and utaal committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    53db495 View commit details
    Browse the repository at this point in the history

  3. add negative typing test for field-update

    @utaal
    utaal committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    69223be View commit details
    Browse the repository at this point in the history

  4. more update-field test

    @tim-rohde @utaal
    tim-rohde authored and utaal committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    8124f03 View commit details
    Browse the repository at this point in the history

  5. typechecked field-update

    @tim-rohde @utaal
    tim-rohde authored and utaal committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    43f27ad View commit details
    Browse the repository at this point in the history

  6. added nested datatype field update tests

    @tim-rohde @utaal
    tim-rohde authored and utaal committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    96c5fd4 View commit details
    Browse the repository at this point in the history

  7. equipped DeclardX::Fun with Boolean to identify accessors

    @tim-rohde @utaal
    tim-rohde authored and utaal committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    b658eaa View commit details
    Browse the repository at this point in the history

  8. add test that using the field name fro m a different datatype causes … 

    …a type error with update-field
    @utaal
    utaal committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    ff888f0 View commit details
    Browse the repository at this point in the history

  9. deleted todo

    @tim-rohde @utaal
    tim-rohde authored and utaal committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    21c2253 View commit details
    Browse the repository at this point in the history

  10. cleaned up comments

    @tim-rohde
    tim-rohde committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    c87d090 View commit details
    Browse the repository at this point in the history

Commits on Oct 25, 2024

  1. cleaned up more todos

    @tim-rohde
    tim-rohde committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    d8a87ad View commit details
    Browse the repository at this point in the history

Commits on Oct 27, 2024

  1. name field of AIR's DeclaredX::Fun

    @utaal
    utaal committed Oct 27, 2024
    Configuration menu
    Copy the full SHA
    da2e55a View commit details
    Browse the repository at this point in the history

Commits on Oct 31, 2024

  1. additional nested datatype test

    @tim-rohde
    tim-rohde committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    8324ea5 View commit details
    Browse the repository at this point in the history