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

Xcfa phased procedure pass optimization + unsupported initializer #233

Merged
merged 8 commits into from
Nov 2, 2023
Merged

Xcfa phased procedure pass optimization + unsupported initializer #233

merged 8 commits into from
Nov 2, 2023

Commits on Nov 1, 2023

  1. unsupported initializer

    @csanadtelbisz
    csanadtelbisz committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    9d51f37 View commit details
    Browse the repository at this point in the history

  2. xcfa pass phases

    @csanadtelbisz
    csanadtelbisz committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    06b45c7 View commit details
    Browse the repository at this point in the history

  3. copyright + formatting

    @csanadtelbisz
    csanadtelbisz committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    fd8ab34 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'xcfa-refactor' into xcfa-refactor-struct-init 

    # Conflicts:
#	subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/XcfaCli.kt
    @csanadtelbisz
    csanadtelbisz committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    08d4d20 View commit details
    Browse the repository at this point in the history

  5. copyright + formatting

    @csanadtelbisz
    csanadtelbisz committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    a37364b View commit details
    Browse the repository at this point in the history

  6. fixed tests

    @csanadtelbisz
    csanadtelbisz committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    5163050 View commit details
    Browse the repository at this point in the history

Commits on Nov 2, 2023

  1. mutex handling fixes

    @csanadtelbisz
    csanadtelbisz committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    7fd3216 View commit details
    Browse the repository at this point in the history

  2. xcfa procedure builder getters

    @csanadtelbisz
    csanadtelbisz committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    39b8a9a View commit details
    Browse the repository at this point in the history