Skip to content

Update Intellij project files for Java17 #634

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

Open
daniel-raffler wants to merge 20 commits into
base: master
Choose a base branch
from
Open

Update Intellij project files for Java17 #634

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
20 commits
Select commit Hold shift + click to select a range
8a61e0e
Intellij: Switch to Jdk17 in the project file
daniel-raffler Mar 29, 2026
6ff559d
Intellij: Add new `Nullable` managers to the configuration
daniel-raffler Mar 29, 2026
19b3ccb
Intellij: Simplify module dependencies
daniel-raffler Mar 29, 2026
0b0bcf9
Intellij: Add solver sources for debugging
daniel-raffler Mar 29, 2026
d720039
Intellij: Remove unused Nullable annotations
daniel-raffler Mar 29, 2026
671639b
Intellij: Use `org.checkerframework.checker.nullness` by default
daniel-raffler Mar 29, 2026
11077c4
Intelij: Move module sources back up
daniel-raffler Mar 30, 2026
6e9ba34
Intelij: Remove one more Nullable annotation
daniel-raffler Mar 30, 2026
8a477c9
Intelij: Split off license headers
daniel-raffler Mar 30, 2026
f00e670
Intelij: Move solver dependencies to project libraries
daniel-raffler Mar 30, 2026
835e144
Intellij: Revert unwanted changed
daniel-raffler Mar 30, 2026
38bb486
OpenSMT: Build jar with debug info
daniel-raffler Apr 1, 2026
726c407
OpenSMT, Bitwuzla: Build solver jars for Java17
daniel-raffler Apr 1, 2026
04daeb2
Revert: Wrong branch...
daniel-raffler Apr 1, 2026
65c9d1f
Merge branch 'refs/heads/master' into intellij-java17
daniel-raffler Apr 11, 2026
0549d78
Intellij: Add sources and JavaDoc for cvc4
daniel-raffler Apr 11, 2026
a1572dc
Intellij: Remove .apt-generated from src folders
daniel-raffler Apr 11, 2026
0617376
Merge branch 'master' into intellij-java17
daniel-raffler Apr 13, 2026
5594531
Add yices2 docs/sources to javasmt-yices2 dependency
daniel-raffler Apr 13, 2026
59e5eff
Intellij: Add sources/docs for cvc5, princess, smtinterpol and yices …
daniel-raffler Apr 13, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
372 changes: 19 additions & 353 deletions .idea/JavaSMT.iml
View file
Open in desktop

Large diffs are not rendered by default.

9 changes: 9 additions & 0 deletions .idea/JavaSMT.iml.license
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

13 changes: 1 addition & 12 deletions .idea/ant.xml
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

9 changes: 9 additions & 0 deletions .idea/ant.xml.license
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

13 changes: 1 addition & 12 deletions .idea/checkstyle-idea.xml
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

9 changes: 9 additions & 0 deletions .idea/checkstyle-idea.xml.license
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

13 changes: 1 addition & 12 deletions .idea/codeStyleSettings.xml
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

9 changes: 9 additions & 0 deletions .idea/codeStyleSettings.xml.license
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

13 changes: 1 addition & 12 deletions .idea/compiler.xml
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

9 changes: 9 additions & 0 deletions .idea/compiler.xml.license
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

10 changes: 0 additions & 10 deletions .idea/copyright/JavaSMT.xml
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

9 changes: 9 additions & 0 deletions .idea/copyright/JavaSMT.xml.license
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

10 changes: 0 additions & 10 deletions .idea/copyright/profiles_settings.xml
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

9 changes: 9 additions & 0 deletions .idea/copyright/profiles_settings.xml.license
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

13 changes: 1 addition & 12 deletions .idea/encodings.xml
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

9 changes: 9 additions & 0 deletions .idea/encodings.xml.license
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

10 changes: 0 additions & 10 deletions .idea/inspectionProfiles/Project_Default.xml
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

9 changes: 9 additions & 0 deletions .idea/inspectionProfiles/Project_Default.xml.license
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

10 changes: 0 additions & 10 deletions .idea/inspectionProfiles/profiles_settings.xml
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

9 changes: 9 additions & 0 deletions .idea/inspectionProfiles/profiles_settings.xml.license
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

13 changes: 1 addition & 12 deletions .idea/junitgenerator-prj-settings.xml
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

9 changes: 9 additions & 0 deletions .idea/junitgenerator-prj-settings.xml.license
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

14 changes: 14 additions & 0 deletions .idea/libraries/bitwuzla.xml
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

9 changes: 9 additions & 0 deletions .idea/libraries/bitwuzla.xml.license
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

14 changes: 14 additions & 0 deletions .idea/libraries/cvc4.xml
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

9 changes: 9 additions & 0 deletions .idea/libraries/cvc4.xml.license
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

14 changes: 14 additions & 0 deletions .idea/libraries/cvc5.xml
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

9 changes: 9 additions & 0 deletions .idea/libraries/cvc5.xml.license
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

14 changes: 14 additions & 0 deletions .idea/libraries/opensmt.xml
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading
Loading