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.

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

TS symbolic machine expansion #201

Merged
merged 22 commits into from
Aug 9, 2024
Merged

TS symbolic machine expansion #201

merged 22 commits into from
Aug 9, 2024

Commits on Jul 29, 2024

  1. [WIP] TSTypeSystem

    zishkaz committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    4c8f74b View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    b15d482 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    f89c0e1 View commit details
    Browse the repository at this point in the history
  4. Version hotfix

    zishkaz committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    73b13bd View commit details
    Browse the repository at this point in the history
  5. Minor polishing

    zishkaz committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    b8c9f43 View commit details
    Browse the repository at this point in the history
  6. Remove TSTypeSystem

    zishkaz committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    ff99b4c View commit details
    Browse the repository at this point in the history
  7. Remove redundant class

    zishkaz committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    1cbde1e View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    9fba9e7 View commit details
    Browse the repository at this point in the history
  9. Detekt fix

    zishkaz committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    a22bec0 View commit details
    Browse the repository at this point in the history
  10. [WIP] Args location tests

    zishkaz committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    ceb7ec5 View commit details
    Browse the repository at this point in the history

Commits on Aug 5, 2024

  1. Configuration menu
    Copy the full SHA
    9a6e1a6 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    8d8ed58 View commit details
    Browse the repository at this point in the history

Commits on Aug 7, 2024

  1. [WIP] Dev sync

    zishkaz committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    979e1e5 View commit details
    Browse the repository at this point in the history
  2. Implement property matchers

    zishkaz committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    b5d68e5 View commit details
    Browse the repository at this point in the history
  3. Detekt fix

    zishkaz committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    3b83125 View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2024

  1. Refactor comment

    zishkaz committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    0965ab8 View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2024

  1. Configuration menu
    Copy the full SHA
    fd5cecb View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    00d83c1 View commit details
    Browse the repository at this point in the history
  3. Remove check

    zishkaz committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    7f404f1 View commit details
    Browse the repository at this point in the history
  4. Update jacodb version

    zishkaz committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    e88d50a View commit details
    Browse the repository at this point in the history
  5. Fix if branch index order

    zishkaz committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    9480e9c View commit details
    Browse the repository at this point in the history
  6. Update CI

    zishkaz committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    630cd7c View commit details
    Browse the repository at this point in the history