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 python bindings for configurations #125

Open
wants to merge 15 commits into
base: vara-dev
Choose a base branch
from
Open

Add python bindings for configurations #125

wants to merge 15 commits into from

Commits on Aug 20, 2023

  1. Create Cofiguration bindings for python

    @danjujan
    danjujan committed Aug 20, 2023
    Configuration menu
    Copy the full SHA
    734feaa View commit details
    Browse the repository at this point in the history

Commits on Aug 23, 2023

  1. Cleanup

    @danjujan
    danjujan committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    ccd4a5b View commit details
    Browse the repository at this point in the history

Commits on Aug 28, 2023

  1. Do not build z3 if it is installed

    @danjujan
    danjujan committed Aug 28, 2023
    Configuration menu
    Copy the full SHA
    09238d6 View commit details
    Browse the repository at this point in the history

Commits on Sep 15, 2023

  1. Fix pre-commit

    @danjujan
    danjujan committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    9725979 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'vara-dev' into jan-dev

    @danjujan
    danjujan authored Sep 15, 2023
    Configuration menu
    Copy the full SHA
    3f79bae View commit details
    Browse the repository at this point in the history

Commits on Oct 6, 2023

  1. Add GetAllConfigurations2 unittest to detect bug

    @danjujan
    danjujan committed Oct 6, 2023
    Configuration menu
    Copy the full SHA
    0f33534 View commit details
    Browse the repository at this point in the history

Commits on Oct 22, 2023

  1. Do not exclude the first config. 

    For some reason, this caused other configs to appear multiple times during enumeration.
    @boehmseb
    boehmseb committed Oct 22, 2023
    Configuration menu
    Copy the full SHA
    eb11193 View commit details
    Browse the repository at this point in the history

  2. Avoid unnecessary solver calls.

    @boehmseb
    boehmseb committed Oct 22, 2023
    Configuration menu
    Copy the full SHA
    67ac14e View commit details
    Browse the repository at this point in the history

  3. Use for-each loop to iterate maps.

    @boehmseb
    boehmseb committed Oct 22, 2023
    Configuration menu
    Copy the full SHA
    b50117d View commit details
    Browse the repository at this point in the history

  4. Temporary fix for side effects of getNextConfiguration() 

    This caused 2 issues:
- either first config was skipped or getCurrentConfig would always point to the next configuration
- getAllValidConfigurations or getNumberValidConfigurations produce incorrect results if called after any call to getNextConfiguration()
The last point is an issue with the Solver API and this is a quick-fix for the Z3Solver implementation that returns an error in that case.
    @boehmseb
    boehmseb committed Oct 22, 2023
    Configuration menu
    Copy the full SHA
    28bddd7 View commit details
    Browse the repository at this point in the history

Commits on Oct 23, 2023

  1. Merge branch 'fix-configuration-generation' into jan-dev

    @danjujan
    danjujan committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    90071d4 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'fix-configuration-generation' into jan-dev

    @danjujan
    danjujan committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    e638b9d View commit details
    Browse the repository at this point in the history

  3. Apply suggested changes.

    @boehmseb
    boehmseb committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    1e5aa2b View commit details
    Browse the repository at this point in the history

  4. Quick-fix to make configuration enumeration work. 

    This implementation is quite hacky and requires a redesign of the Solver API to be fixed properly.
    @boehmseb
    boehmseb committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    67463ab View commit details
    Browse the repository at this point in the history

  5. Merge remote-tracking branch 'origin/fix-configuration-generation' in… 

    …to jan-dev
    @danjujan
    danjujan committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    20d511b View commit details
    Browse the repository at this point in the history