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

[RFC] Feasibility and Optimality checker #1

Open
wants to merge 4 commits into
base: main
Choose a base branch
from
Open

Conversation

joaquimg
Copy link
Owner

odow added a commit to jump-dev/JuMP.jl that referenced this pull request Feb 15, 2021
This is a significant item for JuMP 1.0, but there is debate on how
to define and implement distances for different sets.

See https://github.com/matbesancon/MathOptSetDistances.jl for a WIP
package exploring the options.

This PR also only addresses primal feasibility. See
joaquimg/FeasibilityOptInterface.jl#1
for a WIP attempt at dual feasibility as well.

In future, the _distance_to_set definitions will be merged into MOI.

This PR is more about defining the JuMP-level interface so we can
change internal details without breaking compatibility of JuMP 1.0.
odow added a commit to jump-dev/JuMP.jl that referenced this pull request Feb 17, 2021
This is a significant item for JuMP 1.0, but there is debate on how
to define and implement distances for different sets.

See https://github.com/matbesancon/MathOptSetDistances.jl for a WIP
package exploring the options.

This PR also only addresses primal feasibility. See
joaquimg/FeasibilityOptInterface.jl#1
for a WIP attempt at dual feasibility as well.

In future, the _distance_to_set definitions will be merged into MOI.

This PR is more about defining the JuMP-level interface so we can
change internal details without breaking compatibility of JuMP 1.0.
@codecov-io
Copy link

codecov-io commented Feb 18, 2021

Codecov Report

❗ No coverage uploaded for pull request base (main@da5a91b). Click here to learn what that means.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##             main       #1   +/-   ##
=======================================
  Coverage        ?   68.23%           
=======================================
  Files           ?        6           
  Lines           ?      277           
  Branches        ?        0           
=======================================
  Hits            ?      189           
  Misses          ?       88           
  Partials        ?        0           

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update da5a91b...ec82253. Read the comment docs.

odow added a commit to jump-dev/JuMP.jl that referenced this pull request Mar 18, 2021
This is a significant item for JuMP 1.0, but there is debate on how
to define and implement distances for different sets.

See https://github.com/matbesancon/MathOptSetDistances.jl for a WIP
package exploring the options.

This PR also only addresses primal feasibility. See
joaquimg/FeasibilityOptInterface.jl#1
for a WIP attempt at dual feasibility as well.

In future, the _distance_to_set definitions will be merged into MOI.

This PR is more about defining the JuMP-level interface so we can
change internal details without breaking compatibility of JuMP 1.0.
odow added a commit to jump-dev/JuMP.jl that referenced this pull request Mar 22, 2021
This is a significant item for JuMP 1.0, but there is debate on how
to define and implement distances for different sets.

See https://github.com/matbesancon/MathOptSetDistances.jl for a WIP
package exploring the options.

This PR also only addresses primal feasibility. See
joaquimg/FeasibilityOptInterface.jl#1
for a WIP attempt at dual feasibility as well.

In future, the _distance_to_set definitions will be merged into MOI.

This PR is more about defining the JuMP-level interface so we can
change internal details without breaking compatibility of JuMP 1.0.
Comment on lines +1 to +7
name: TagBot
on:
schedule:
- cron: 0 * * * *
jobs:
TagBot:
runs-on: ubuntu-latest
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think there is an update TagBot job

ame: TagBot
on:
  issue_comment:
    types:
      - created
  workflow_dispatch:
jobs:
  TagBot:
    if: github.event_name == 'workflow_dispatch' || github.actor == 'JuliaTagBot'
    runs-on: ubuntu-latest
    steps:
      - uses: JuliaRegistries/TagBot@v1
        with:
          token: ${{ secrets.GITHUB_TOKEN }}
          ssh: ${{ secrets.DOCUMENTER_KEY }}

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants