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

Use a dynamic "pre-check" to determien if interpreter is well formed. #7

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

Use a dynamic "pre-check" to determien if interpreter is well formed. #7

wants to merge 14 commits into from

Commits on Feb 9, 2024

  1. work on disentangling transfer and abstract state

    @ftc
    ftc committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    385410d View commit details
    Browse the repository at this point in the history

  2. delete intellij junk

    @ftc
    ftc committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    d1cd794 View commit details
    Browse the repository at this point in the history

  3. clean up merge mess

    @ftc
    ftc committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    8bcc1f2 View commit details
    Browse the repository at this point in the history

  4. fix type errors from refactor

    @ftc
    ftc committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    1b98b2b View commit details
    Browse the repository at this point in the history

Commits on Feb 16, 2024

  1. attempt at making smt figure out transfer functions

    @ftc
    ftc committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    4fc9ebc View commit details
    Browse the repository at this point in the history

  2. test for case where assume blocks

    @ftc
    ftc committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    a1327ea View commit details
    Browse the repository at this point in the history

  3. handle bottom interval state

    @ftc
    ftc committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    ff3261f View commit details
    Browse the repository at this point in the history

Commits on Feb 23, 2024

  1. explain chaotic iteration interface

    @ftc
    ftc committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    e8ed909 View commit details
    Browse the repository at this point in the history

Commits on Feb 24, 2024

  1. remove stale comment

    @ftc
    ftc committed Feb 24, 2024
    Configuration menu
    Copy the full SHA
    232d71b View commit details
    Browse the repository at this point in the history

Commits on Mar 8, 2024

  1. work on product domain

    @ftc
    ftc committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    2b0ec49 View commit details
    Browse the repository at this point in the history

  2. notes on product

    @ftc
    ftc committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    80a9230 View commit details
    Browse the repository at this point in the history

Commits on Apr 5, 2024

  1. unit test to try to debug issues

    @ftc
    ftc committed Apr 5, 2024
    Configuration menu
    Copy the full SHA
    4697583 View commit details
    Browse the repository at this point in the history

Commits on Apr 26, 2024

  1. combination checker idea

    @ftc
    ftc committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    6163d83 View commit details
    Browse the repository at this point in the history

  2. combination checker description

    @ftc
    ftc committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    585bd16 View commit details
    Browse the repository at this point in the history