Ecosyste.ms: Issues

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

GitHub / tudo-aqua/konstraints issues and pull requests

#134 - Bump com.diffplug.spotless:spotless-plugin-gradle from 7.0.1 to 7.0.2

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

#133 - Bump com.diffplug.spotless:spotless-plugin-gradle from 6.25.0 to 7.0.1

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

#132 - Bump org.jetbrains.kotlinx:kotlinx-serialization-json from 1.7.3 to 1.8.0

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

#131 - Bump com.github.luben:zstd-jni from 1.5.6-8 to 1.5.6-9

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

#130 - Bump org.jetbrains.kotlinx:kotlinx-coroutines-core from 1.9.0 to 1.10.1

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

#129 - Bump org.jetbrains.kotlinx:kotlinx-coroutines-core from 1.9.0 to 1.10.0

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

#128 - Bump tools.aqua:z3-turnkey from 4.13.0.1 to 4.13.4

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

#127 - Bump org.jetbrains.dokka:dokka-gradle-plugin from 1.9.20 to 2.0.0

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

#126 - Bump org.junit:junit-bom from 5.11.3 to 5.11.4

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

#125 - Bump com.gradle.develocity from 3.18.2 to 3.19

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

#124 - Implement new Context

Issue - State: open - Opened by laurenzlevi 2 months ago

#123 - Bump org.gradle.toolchains.foojay-resolver-convention from 0.8.0 to 0.9.0

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

#122 - Bump kotlin from 2.0.21 to 2.1.0

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

#121 - Bump com.github.luben:zstd-jni from 1.5.6-7 to 1.5.6-8

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

#120 - 116 refactor parser classes

Pull Request - State: closed - Opened by laurenzlevi 2 months ago

#119 - 114 conversion from kotlin types to smt literals

Pull Request - State: closed - Opened by laurenzlevi 2 months ago

#118 - Bump commons-io:commons-io from 2.17.0 to 2.18.0

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

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

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

#116 - Refactor parser classes

Issue - State: closed - Opened by laurenzlevi 3 months ago
Labels: enhancement

#114 - Conversion from Kotlin types to SMT literals

Issue - State: closed - Opened by laurenzlevi 3 months ago

#100 - SMT programs proivde no toString() implementation

Issue - State: open - Opened by no-preserve-root 4 months ago
Labels: enhancement

#100 - SMT programs proivde no toString() implementation

Issue - State: open - Opened by no-preserve-root 4 months ago
Labels: enhancement

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

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

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

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

#97 - Bump tools.aqua:z3-turnkey from 4.13.0 to 4.13.0.1

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

#97 - Bump tools.aqua:z3-turnkey from 4.13.0 to 4.13.0.1

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

#96 - Bump kotlin from 2.0.20 to 2.0.21

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

#96 - Bump kotlin from 2.0.20 to 2.0.21

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

#95 - Bump org.junit:junit-bom from 5.11.0 to 5.11.2

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

#95 - Bump org.junit:junit-bom from 5.11.0 to 5.11.2

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

#94 - 39 dsl

Pull Request - State: closed - Opened by laurenzlevi 4 months ago

#94 - 39 dsl

Pull Request - State: closed - Opened by laurenzlevi 4 months ago

#93 - Bump com.github.luben:zstd-jni from 1.5.6-4 to 1.5.6-6

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

#93 - Bump com.github.luben:zstd-jni from 1.5.6-4 to 1.5.6-6

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

#92 - Bump commons-io:commons-io from 2.16.1 to 2.17.0

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

#92 - Bump commons-io:commons-io from 2.16.1 to 2.17.0

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

#91 - Bump org.jetbrains.kotlinx:kotlinx-serialization-json from 1.7.2 to 1.7.3

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

#91 - Bump org.jetbrains.kotlinx:kotlinx-serialization-json from 1.7.2 to 1.7.3

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

#90 - Bump org.jetbrains.kotlinx:kotlinx-coroutines-core from 1.8.1 to 1.9.0

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

#90 - Bump org.jetbrains.kotlinx:kotlinx-coroutines-core from 1.8.1 to 1.9.0

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

#89 - Bump com.gradle.develocity from 3.18 to 3.18.1

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

#89 - Bump com.gradle.develocity from 3.18 to 3.18.1

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

#88 - Bump io.gitlab.arturbosch.detekt from 1.23.6 to 1.23.7

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

#88 - Bump io.gitlab.arturbosch.detekt from 1.23.6 to 1.23.7

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

#87 - Implemented reals int dsl

Pull Request - State: closed - Opened by laurenzlevi 5 months ago

#87 - Implemented reals int dsl

Pull Request - State: closed - Opened by laurenzlevi 5 months ago

#86 - Bitvec dsl

Pull Request - State: closed - Opened by laurenzlevi 5 months ago

#86 - Bitvec dsl

Pull Request - State: closed - Opened by laurenzlevi 5 months ago

#85 - Bump com.github.luben:zstd-jni from 1.5.6-4 to 1.5.6-5

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

#85 - Bump com.github.luben:zstd-jni from 1.5.6-4 to 1.5.6-5

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

#84 - Bump org.jetbrains.kotlinx:kotlinx-serialization-json from 1.7.1 to 1.7.2

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

#84 - Bump org.jetbrains.kotlinx:kotlinx-serialization-json from 1.7.1 to 1.7.2

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

#83 - Bump kotlin from 2.0.10 to 2.0.20

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

#83 - Bump kotlin from 2.0.10 to 2.0.20

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

#82 - Bump org.apache.commons:commons-compress from 1.27.0 to 1.27.1

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

#82 - Bump org.apache.commons:commons-compress from 1.27.0 to 1.27.1

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

#81 - Bump com.gradle.develocity from 3.17.6 to 3.18

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

#81 - Bump com.gradle.develocity from 3.17.6 to 3.18

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

#80 - Bump me.qoomon.git-versioning from 6.4.3 to 6.4.4

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

#80 - Bump me.qoomon.git-versioning from 6.4.3 to 6.4.4

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

#79 - Bump org.junit:junit-bom from 5.10.3 to 5.11.0

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

#79 - Bump org.junit:junit-bom from 5.10.3 to 5.11.0

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

#78 - Direct solver mode

Pull Request - State: closed - Opened by laurenzlevi 6 months ago

#78 - Direct solver mode

Pull Request - State: closed - Opened by laurenzlevi 6 months ago

#76 - Fix non-updating license years and reformat

Pull Request - State: closed - Opened by no-preserve-root 6 months ago

#76 - Fix non-updating license years and reformat

Pull Request - State: closed - Opened by no-preserve-root 6 months ago

#75 - Bump Gradle and gradlew from 8.7 to 8.9

Pull Request - State: closed - Opened by no-preserve-root 6 months ago

#75 - Bump Gradle and gradlew from 8.7 to 8.9

Pull Request - State: closed - Opened by no-preserve-root 6 months ago

#74 - Bump org.apache.commons:commons-compress from 1.26.2 to 1.27.0

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

#74 - Bump org.apache.commons:commons-compress from 1.26.2 to 1.27.0

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

#73 - Bump kotlin from 2.0.0 to 2.0.10

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

#73 - Bump kotlin from 2.0.0 to 2.0.10

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

#72 - Bump gradle/actions from 3 to 4

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

#72 - Bump gradle/actions from 3 to 4

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

#71 - Bump org.tukaani:xz from 1.9 to 1.10

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

#71 - Bump org.tukaani:xz from 1.9 to 1.10

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

#70 - Bump com.github.luben:zstd-jni from 1.5.6-3 to 1.5.6-4

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

#70 - Bump com.github.luben:zstd-jni from 1.5.6-3 to 1.5.6-4

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

#69 - Bump com.gradle.develocity from 3.17.5 to 3.17.6

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

#69 - Bump com.gradle.develocity from 3.17.5 to 3.17.6

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

#68 - Bump org.jetbrains.kotlinx.kover from 0.8.2 to 0.8.3

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

#68 - Bump org.jetbrains.kotlinx.kover from 0.8.2 to 0.8.3

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

#67 - 38 bitvector extension

Pull Request - State: closed - Opened by laurenzlevi 7 months ago

#67 - 38 bitvector extension

Pull Request - State: closed - Opened by laurenzlevi 7 months ago

#66 - Replace binding with constructor checks

Issue - State: closed - Opened by laurenzlevi 7 months ago
Labels: enhancement

#66 - Replace binding with constructor checks

Issue - State: closed - Opened by laurenzlevi 7 months ago
Labels: enhancement

#65 - Bump org.junit:junit-bom from 5.10.2 to 5.10.3

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

#65 - Bump org.junit:junit-bom from 5.10.2 to 5.10.3

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

#64 - Bump org.jetbrains.kotlinx.kover from 0.8.1 to 0.8.2

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

#64 - Bump org.jetbrains.kotlinx.kover from 0.8.1 to 0.8.2

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

#63 - 56 define fun

Pull Request - State: closed - Opened by laurenzlevi 7 months ago

#63 - 56 define fun

Pull Request - State: closed - Opened by laurenzlevi 7 months ago

#62 - Bump org.jetbrains.kotlinx:kotlinx-serialization-json from 1.7.0 to 1.7.1

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

#62 - Bump org.jetbrains.kotlinx:kotlinx-serialization-json from 1.7.0 to 1.7.1

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

#61 - 60 implement method to copy expression tree

Pull Request - State: closed - Opened by laurenzlevi 7 months ago

#61 - 60 implement method to copy expression tree

Pull Request - State: closed - Opened by laurenzlevi 7 months ago