Skip to content

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
    • Help
    • Submit feedback
    • Contribute to GitLab
  • Sign in
sat4j
sat4j
  • Project
    • Project
    • Details
    • Activity
    • Releases
    • Cycle Analytics
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Charts
  • Issues 45
    • Issues 45
    • List
    • Board
    • Labels
    • Milestones
  • Merge Requests 0
    • Merge Requests 0
  • CI / CD
    • CI / CD
    • Pipelines
    • Jobs
    • Schedules
    • Charts
  • Registry
    • Registry
  • Wiki
    • Wiki
  • Members
    • Members
  • Collapse sidebar
  • Activity
  • Graph
  • Charts
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
  • SAT4J
  • sat4jsat4j
  • Issues
  • #150

Closed
Open
Opened Nov 13, 2018 by Daniel Le Berre@leberre
  • Report abuse
  • New issue
Report abuse New issue

Update code base to Java 7

The original source code of Sat4j was Java 1.5 down compiled to 1.4.

The 2.3.6 release will be compatible with Java 7.

As such, new syntactic structures are available (try with resources, multiple exceptions).

We need to take care properly of that.

SonarQube can help us for that.

Assignee
Assign to
2.3.6
Milestone
2.3.6
Assign milestone
Time tracking
None
Due date
No due date
0
Labels
None
Assign labels
  • View project labels
Reference: sat4j/sat4j#150