Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / tudo-aqua/z3-turnkey issues and pull requests

#74 - Bump com.gradle.develocity from 3.18.1 to 3.18.2

Pull Request - State: open - Opened by dependabot[bot] 18 days ago
Labels: dependencies, java

#73 - Bump ru.vyarus:gradle-use-python-plugin from 4.0.0 to 4.1.0

Pull Request - State: closed - Opened by dependabot[bot] 21 days ago
Labels: dependencies, java

#72 - Bump mikepenz/action-junit-report from 4 to 5

Pull Request - State: closed - Opened by dependabot[bot] 28 days ago
Labels: dependencies, github_actions

#71 - Bump com.github.spotbugs from 6.0.25 to 6.0.26

Pull Request - State: closed - Opened by dependabot[bot] 28 days ago
Labels: dependencies, java

#70 - Bump net.sourceforge.pmd:pmd from 7.6.0 to 7.7.0

Pull Request - State: closed - Opened by dependabot[bot] about 1 month ago - 1 comment
Labels: dependencies, java

#69 - Bump org.junit:junit-bom from 5.11.2 to 5.11.3

Pull Request - State: closed - Opened by dependabot[bot] about 1 month ago
Labels: dependencies, java

#68 - Bump com.github.spotbugs from 6.0.24 to 6.0.25

Pull Request - State: closed - Opened by dependabot[bot] about 2 months ago
Labels: dependencies, java

#67 - Bump org.junit:junit-bom from 5.11.1 to 5.11.2

Pull Request - State: closed - Opened by dependabot[bot] about 2 months ago - 1 comment
Labels: dependencies, java

#66 - Bump com.github.spotbugs from 6.0.23 to 6.0.24

Pull Request - State: closed - Opened by dependabot[bot] 2 months ago - 1 comment
Labels: dependencies, java

#65 - Bump com.github.node-gradle.node from 7.0.2 to 7.1.0

Pull Request - State: closed - Opened by dependabot[bot] 2 months ago
Labels: dependencies, java

#64 - Bump net.sourceforge.pmd:pmd from 7.5.0 to 7.6.0

Pull Request - State: closed - Opened by dependabot[bot] 2 months ago
Labels: dependencies, java

#63 - Bump com.github.spotbugs from 6.0.22 to 6.0.23

Pull Request - State: closed - Opened by dependabot[bot] 2 months ago
Labels: dependencies, java

#62 - Bump org.junit.platform:junit-platform-console from 1.11.0 to 1.11.1

Pull Request - State: closed - Opened by dependabot[bot] 2 months ago
Labels: dependencies, java

#61 - Bump org.junit.platform:junit-platform-launcher from 1.11.0 to 1.11.1

Pull Request - State: closed - Opened by dependabot[bot] 2 months ago
Labels: dependencies, java

#60 - Bump org.junit.jupiter:junit-jupiter from 5.11.0 to 5.11.1

Pull Request - State: closed - Opened by dependabot[bot] 2 months ago
Labels: dependencies, java

#59 - Bump org.junit.platform:junit-platform-console from 1.10.2 to 1.10.3

Pull Request - State: closed - Opened by dependabot[bot] 5 months ago - 2 comments
Labels: dependencies, java

#58 - Bump org.junit.jupiter:junit-jupiter from 5.10.2 to 5.10.3

Pull Request - State: closed - Opened by dependabot[bot] 5 months ago - 2 comments
Labels: dependencies, java

#57 - Bump com.github.javaparser:javaparser-core from 3.25.10 to 3.26.1

Pull Request - State: closed - Opened by dependabot[bot] 5 months ago - 2 comments
Labels: dependencies, java

#56 - Bump com.gradle.develocity from 3.17.1 to 3.17.5

Pull Request - State: closed - Opened by dependabot[bot] 6 months ago - 2 comments
Labels: dependencies, java

#55 - Bump com.dorongold.task-tree from 3.0.0 to 4.0.0

Pull Request - State: closed - Opened by dependabot[bot] 6 months ago - 2 comments
Labels: dependencies, java

#54 - Bump com.github.javaparser:javaparser-core from 3.25.10 to 3.26.0

Pull Request - State: closed - Opened by dependabot[bot] 6 months ago - 1 comment
Labels: dependencies, java

#53 - Bump com.gradle.develocity from 3.17.1 to 3.17.4

Pull Request - State: closed - Opened by dependabot[bot] 7 months ago - 1 comment
Labels: dependencies, java

#52 - Bump com.gradle.develocity from 3.17.1 to 3.17.3

Pull Request - State: closed - Opened by dependabot[bot] 7 months ago - 1 comment
Labels: dependencies, java

#51 - Bump com.gradle.develocity from 3.17.1 to 3.17.2

Pull Request - State: closed - Opened by dependabot[bot] 8 months ago - 1 comment
Labels: dependencies, java

#50 - Bump gradle/wrapper-validation-action from 2 to 3

Pull Request - State: closed - Opened by dependabot[bot] 8 months ago
Labels: dependencies, github_actions

#49 - Bump ru.vyarus:gradle-use-python-plugin from 3.0.0 to 4.0.0

Pull Request - State: closed - Opened by dependabot[bot] 8 months ago
Labels: dependencies, java

#48 - Bump gradle/wrapper-validation-action from 2 to 3

Pull Request - State: closed - Opened by dependabot[bot] 8 months ago
Labels: dependencies, github_actions

#47 - Bump com.gradle.enterprise from 3.16.2 to 3.17.1

Pull Request - State: closed - Opened by dependabot[bot] 8 months ago
Labels: dependencies, java

#46 - Bump commons-io:commons-io from 2.15.1 to 2.16.1

Pull Request - State: closed - Opened by dependabot[bot] 8 months ago
Labels: dependencies, java

#45 - Bump io.github.gradle-nexus.publish-plugin from 1.3.0 to 2.0.0

Pull Request - State: closed - Opened by dependabot[bot] 8 months ago
Labels: dependencies, java

#44 - Bump com.github.javaparser:javaparser-core from 3.25.9 to 3.25.10

Pull Request - State: closed - Opened by dependabot[bot] 8 months ago
Labels: dependencies, java

#43 - Bump com.gradle.enterprise from 3.16.2 to 3.17

Pull Request - State: closed - Opened by dependabot[bot] 8 months ago - 1 comment
Labels: dependencies, java

#42 - Update Z3 to 4.13.0

Pull Request - State: closed - Opened by nieyuanhong 8 months ago - 1 comment

#41 - Bump com.dorongold.task-tree from 2.1.1 to 3.0.0

Pull Request - State: closed - Opened by dependabot[bot] 8 months ago
Labels: dependencies, java

#40 - Bump commons-io:commons-io from 2.15.1 to 2.16.0

Pull Request - State: closed - Opened by dependabot[bot] 8 months ago - 1 comment
Labels: dependencies, java

#39 - Bump com.github.javaparser:javaparser-core from 3.25.8 to 3.25.9

Pull Request - State: closed - Opened by dependabot[bot] 9 months ago
Labels: dependencies, java

#38 - Bump de.undercouch.download from 5.5.0 to 5.6.0

Pull Request - State: closed - Opened by dependabot[bot] 9 months ago
Labels: dependencies, java

#37 - Bump org.junit.jupiter:junit-jupiter from 5.10.1 to 5.10.2

Pull Request - State: closed - Opened by dependabot[bot] 10 months ago - 1 comment
Labels: dependencies, java

#36 - Bump gradle/wrapper-validation-action from 1 to 2

Pull Request - State: closed - Opened by dependabot[bot] 10 months ago
Labels: dependencies, github_actions

#35 - Bump gradle/gradle-build-action from 2 to 3

Pull Request - State: closed - Opened by dependabot[bot] 10 months ago - 1 comment
Labels: dependencies, github_actions

#34 - Bump com.diffplug.spotless from 6.24.0 to 6.25.0

Pull Request - State: closed - Opened by dependabot[bot] 10 months ago
Labels: dependencies, java

#33 - Bump com.github.ben-manes.versions from 0.50.0 to 0.51.0

Pull Request - State: closed - Opened by dependabot[bot] 10 months ago
Labels: dependencies, java

#32 - Bump com.diffplug.spotless from 6.23.3 to 6.24.0

Pull Request - State: closed - Opened by dependabot[bot] 11 months ago
Labels: dependencies, java

#31 - Bump org.gradle.toolchains.foojay-resolver-convention from 0.7.0 to 0.8.0

Pull Request - State: closed - Opened by dependabot[bot] 11 months ago - 1 comment
Labels: dependencies, java

#30 - Bump jvm from 1.9.21 to 1.9.22

Pull Request - State: closed - Opened by dependabot[bot] 12 months ago
Labels: dependencies, java

#29 - Bump com.diffplug.spotless from 6.23.2 to 6.23.3

Pull Request - State: closed - Opened by dependabot[bot] 12 months ago
Labels: dependencies, java

#28 - Bump actions/setup-java from 3 to 4

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies, github_actions

#27 - Bump com.diffplug.spotless from 6.22.0 to 6.23.2

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies, java

#26 - Bump com.diffplug.spotless from 6.22.0 to 6.23.0

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 1 comment
Labels: dependencies, java

#25 - Bump jvm from 1.9.20 to 1.9.21

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies, java

#24 - Bump com.github.ben-manes.versions from 0.49.0 to 0.50.0

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies, java

#23 - Bump org.junit:junit-bom from 5.10.0 to 5.10.1

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies, java

#22 - Bump jvm from 1.9.10 to 1.9.20

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies, java

#21 - Bump com.github.ben-manes.versions from 0.48.0 to 0.49.0

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies, java

#20 - Bump actions/checkout from 3 to 4

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies, github_actions

#17 - memory leak issue

Issue - State: closed - Opened by syheliel over 1 year ago - 3 comments

#16 - Bump to 4.12.x

Issue - State: closed - Opened by thpani over 1 year ago - 4 comments

#15 - Bump z3 to 4.11.2

Pull Request - State: closed - Opened by thpani about 2 years ago - 3 comments

#14 - Update to Z3 4.9 series

Issue - State: closed - Opened by no-preserve-root over 2 years ago - 2 comments

#13 - Release 4.8.15

Issue - State: closed - Opened by shonfeder over 2 years ago - 2 comments

#12 - Add support for `aarch64`

Issue - State: closed - Opened by thpani almost 3 years ago - 3 comments

#11 - Please bundle the current version 4.8.14

Issue - State: closed - Opened by espresso-if almost 3 years ago - 1 comment

#10 - Add nexus staging plugin

Pull Request - State: closed - Opened by mmuesly about 3 years ago - 2 comments

#9 - Fix license check for gradle multi-projects.

Pull Request - State: closed - Opened by intrigus about 3 years ago - 3 comments

#8 - Update to 4.8.12

Pull Request - State: closed - Opened by akreuzer over 3 years ago - 2 comments

#7 - V4.8.8

Pull Request - State: closed - Opened by no-preserve-root almost 4 years ago - 2 comments

#6 - Bump z3 version to 4.8.10

Pull Request - State: closed - Opened by mmuesly almost 4 years ago - 2 comments

#5 - Bump z3 version to 4.8.9

Pull Request - State: closed - Opened by mmuesly almost 4 years ago

#4 - Add integration test invoking the solver

Pull Request - State: closed - Opened by mmuesly almost 4 years ago

#3 - DYLD_LIBRARY_PATH issue under macOS Catalina and BigSur

Issue - State: closed - Opened by timosntr about 4 years ago - 4 comments

#2 - Finally a normal Java build system for z3

Issue - State: open - Opened by sequencer almost 5 years ago - 2 comments

#1 - Extending to CVC4?

Issue - State: closed - Opened by dtwelch almost 5 years ago - 2 comments