Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
R
revised-submissions
  • Project overview
    • Project overview
    • Details
    • Activity
  • Issues 0
    • Issues 0
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
  • Operations
    • Operations
    • Incidents
  • Analytics
    • Analytics
    • Repository
    • Value Stream
  • Members
    • Members
  • Activity
  • Create a new issue
  • Issue Boards
Collapse sidebar
  • miplib2017
  • revised-submissions
  • Issues

  • Open 0
  • Closed 6
  • All 6
New issue
  • Priority Created date Last updated Milestone due date Due date Popularity Label priority Manual
  • Rename forum instances
    #6 · created Jun 12, 2018 by Ambros Gleixner
    • CLOSED
    • 9
    updated Jul 23, 2018
  • Final edit of the name attribute of every instance
    #5 · created Jul 20, 2018 by Gregor Hendel
    • CLOSED
    • 3
    updated Aug 23, 2018
  • Review of description and bib files.   552 of 553 tasks completed
    #4 · created Jul 20, 2018 by Gregor Hendel   Data Review
    • CLOSED
    • 6
    updated Jul 30, 2018
  • Neos Instances with bad names
    #3 · created Sep 06, 2017 by Gregor Hendel
    • CLOSED
    • 14
    updated Jun 28, 2018
  • MPS problem names often arbitrary
    #2 · created Sep 06, 2017 by Gregor Hendel
    • CLOSED
    • 3
    updated Jul 23, 2018
  • Instances missing?
    #1 · created Sep 02, 2017 by Gregor Hendel
    • CLOSED
    • 2
    updated Sep 04, 2017