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

Dev #131

Merged
merged 12 commits into from
Aug 12, 2024
Merged

Dev #131

merged 12 commits into from
Aug 12, 2024

Commits on May 30, 2024

  1. CI and other small fixes (#120) 

    * Update compat and CI (#115)

* Fixes for a demo

* Cleaning unused files. Added Aqua and other CI

* spelling
    @Azzaare
    Azzaare authored May 30, 2024
    Configuration menu
    Copy the full SHA
    89fd3d3 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into dev

    @Azzaare
    Azzaare authored May 30, 2024
    Configuration menu
    Copy the full SHA
    e4ee567 View commit details
    Browse the repository at this point in the history

  3. New version

    @Azzaare
    Azzaare authored May 30, 2024
    Configuration menu
    Copy the full SHA
    849d7dc View commit details
    Browse the repository at this point in the history

Commits on Jun 23, 2024

  1. Fix an issue when restarting (#122)

    @Azzaare
    Azzaare authored Jun 23, 2024
    Configuration menu
    Copy the full SHA
    6118da3 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into dev

    @Azzaare
    Azzaare authored Jun 23, 2024
    Configuration menu
    Copy the full SHA
    3a0d9fd View commit details
    Browse the repository at this point in the history

  3. Update Project.toml

    @Azzaare
    Azzaare authored Jun 23, 2024
    Configuration menu
    Copy the full SHA
    6efeedb View commit details
    Browse the repository at this point in the history

Commits on Jul 12, 2024

  1. Compat, CI, and threads (#126)

    @Azzaare
    Azzaare authored Jul 12, 2024
    Configuration menu
    Copy the full SHA
    e4f4b13 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into dev

    @Azzaare
    Azzaare authored Jul 12, 2024
    Configuration menu
    Copy the full SHA
    1ea74fc View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2024

  1. Add an optional sat requirement for stopping the solver (#129)

    @Azzaare
    Azzaare authored Aug 9, 2024
    Configuration menu
    Copy the full SHA
    a523f13 View commit details
    Browse the repository at this point in the history

Commits on Aug 12, 2024

  1. Sat stop (#130) 

    * Add an optional sat requirement for stopping the solver

* Fixes stop with sat condition, opt runs

* Update sub.jl
    @Azzaare
    Azzaare authored Aug 12, 2024
    Configuration menu
    Copy the full SHA
    1a5035e View commit details
    Browse the repository at this point in the history

  2. Update Project.toml

    @Azzaare
    Azzaare authored Aug 12, 2024
    Configuration menu
    Copy the full SHA
    07c6032 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into dev

    @Azzaare
    Azzaare authored Aug 12, 2024
    Configuration menu
    Copy the full SHA
    80353c8 View commit details
    Browse the repository at this point in the history