Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / tuProlog/2p-kt issues and pull requests
#537 - chore(deps): update plugin com.gradle.enterprise to v3.14.1
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#536 - ci(deps): update danysk/build-check-deploy-gradle-action action to v2.2.8
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#536 - ci(deps): update danysk/build-check-deploy-gradle-action action to v2.2.8
Pull Request -
State: open - Opened by renovate[bot] over 1 year ago
#535 - fix(deps): update dependency dev.petuska:npm-publish-gradle-plugin to v3.4.1
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#534 - chore(deps): update dependency semantic-release-preconfigured-conventional-commits to v1.1.43
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#533 - chore(deps): update node.js to 18.17
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#532 - chore(deps): update plugin com.gradle.enterprise to v3.14
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#531 - fix(deps): update dependency net.sourceforge.plantuml:plantuml to v1.2023.10
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#530 - chore(deps): update plugin gradlemockservice to v1.0.2
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#529 - chore(deps): update plugin org.gradle.toolchains.foojay-resolver-convention to v0.6.0
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#528 - chore(deps): update dependency gradle to v8.2.1
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#527 - chore(deps): update dependency com.github.johnrengelman.shadow to v8.1.1 - autoclosed
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
#526 - chore(deps): update dependency semantic-release-preconfigured-conventional-commits to v1.1.41
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#525 - chore(deps): update dependency semantic-release-preconfigured-conventional-commits to v1.1.40
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#525 - chore(deps): update dependency semantic-release-preconfigured-conventional-commits to v1.1.40
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#524 - fix(deps): update javafx to v20 (major)
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#523 - ci(deps): update actions/setup-node action to v3.7.0
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#522 - chore(deps): update ktmpp to v2.3.4 (minor) - autoclosed
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
#521 - chore(deps): update plugin gradlemockservice to v1.0.1
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#521 - chore(deps): update plugin gradlemockservice to v1.0.1
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#521 - chore(deps): update plugin gradlemockservice to v1.0.1
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#521 - chore(deps): update plugin gradlemockservice to v1.0.1
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#521 - chore(deps): update plugin gradlemockservice to v1.0.1
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#521 - chore(deps): update plugin gradlemockservice to v1.0.1
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#521 - chore(deps): update plugin gradlemockservice to v1.0.1
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#520 - chore(deps): update dependency semantic-release-preconfigured-conventional-commits to v1.1.39
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#520 - chore(deps): update dependency semantic-release-preconfigured-conventional-commits to v1.1.39
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#520 - chore(deps): update dependency semantic-release-preconfigured-conventional-commits to v1.1.39
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#520 - chore(deps): update dependency semantic-release-preconfigured-conventional-commits to v1.1.39
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#520 - chore(deps): update dependency semantic-release-preconfigured-conventional-commits to v1.1.39
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#520 - chore(deps): update dependency semantic-release-preconfigured-conventional-commits to v1.1.39
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#519 - Feature/ci
Pull Request -
State: closed - Opened by gciatto over 1 year ago
- 1 comment
Labels: released
#519 - Feature/ci
Pull Request -
State: closed - Opened by gciatto over 1 year ago
- 1 comment
Labels: released
#519 - Feature/ci
Pull Request -
State: closed - Opened by gciatto over 1 year ago
- 1 comment
Labels: released
#518 - chore(deps): update kotlin monorepo to v1.9.22 (minor) - autoclosed
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
#517 - chore(deps): update kotlin to v1.9.0 (minor) - autoclosed
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
#516 - fix(deps): update dependency com.github.ajalt.clikt:clikt to v4 - autoclosed
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
#515 - fix(deps): update dependency com.github.ajalt.clikt:clikt to v3.5.4
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#514 - fix(deps): update dependency com.github.ajalt.clikt:clikt to v3.5.3
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#514 - fix(deps): update dependency com.github.ajalt.clikt:clikt to v3.5.3
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#514 - fix(deps): update dependency com.github.ajalt.clikt:clikt to v3.5.3
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#514 - fix(deps): update dependency com.github.ajalt.clikt:clikt to v3.5.3
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#514 - fix(deps): update dependency com.github.ajalt.clikt:clikt to v3.5.3
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#514 - fix(deps): update dependency com.github.ajalt.clikt:clikt to v3.5.3
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#514 - fix(deps): update dependency com.github.ajalt.clikt:clikt to v3.5.3
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#513 - chore(deps): update plugin com.gradle.enterprise to v3.13.4
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#512 - fix(deps): update dependency net.sourceforge.plantuml:plantuml to v1.2023.9
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#512 - fix(deps): update dependency net.sourceforge.plantuml:plantuml to v1.2023.9
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#512 - fix(deps): update dependency net.sourceforge.plantuml:plantuml to v1.2023.9
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#512 - fix(deps): update dependency net.sourceforge.plantuml:plantuml to v1.2023.9
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#512 - fix(deps): update dependency net.sourceforge.plantuml:plantuml to v1.2023.9
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#512 - fix(deps): update dependency net.sourceforge.plantuml:plantuml to v1.2023.9
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#512 - fix(deps): update dependency net.sourceforge.plantuml:plantuml to v1.2023.9
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#512 - fix(deps): update dependency net.sourceforge.plantuml:plantuml to v1.2023.9
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#511 - ci(deps): update danysk/action-checkout action to v0.2.10
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#511 - ci(deps): update danysk/action-checkout action to v0.2.10
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#511 - ci(deps): update danysk/action-checkout action to v0.2.10
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#510 - chore(deps): update dokka to v1.8.20 (patch)
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#509 - fix(deps): update kotlinx.coroutines to v1.9.0 (minor) - autoclosed
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
#508 - Theory read issue in in :gui module, branch feature/web-gui
Issue -
State: open - Opened by fmuratori over 1 year ago
#508 - Theory read issue in in :gui module, branch feature/web-gui
Issue -
State: open - Opened by fmuratori over 1 year ago
#508 - Theory read issue in in :gui module, branch feature/web-gui
Issue -
State: open - Opened by fmuratori over 1 year ago
#508 - Theory read issue in in :gui module, branch feature/web-gui
Issue -
State: open - Opened by fmuratori over 1 year ago
#507 - Tab renaming in :gui module, branch feature/web-gui
Issue -
State: open - Opened by fmuratori over 1 year ago
#507 - Tab renaming in :gui module, branch feature/web-gui
Issue -
State: open - Opened by fmuratori over 1 year ago
#507 - Tab renaming in :gui module, branch feature/web-gui
Issue -
State: open - Opened by fmuratori over 1 year ago
#507 - Tab renaming in :gui module, branch feature/web-gui
Issue -
State: open - Opened by fmuratori over 1 year ago
#507 - Tab renaming in :gui module, branch feature/web-gui
Issue -
State: open - Opened by fmuratori over 1 year ago
#506 - Feature/web gui
Pull Request -
State: open - Opened by fmuratori over 1 year ago
#506 - Feature/web gui
Pull Request -
State: open - Opened by fmuratori over 1 year ago
- 2 comments
#506 - Feature/web gui
Pull Request -
State: open - Opened by fmuratori over 1 year ago
#506 - Feature/web gui
Pull Request -
State: open - Opened by fmuratori over 1 year ago
#506 - Feature/web gui
Pull Request -
State: open - Opened by fmuratori over 1 year ago
#505 - chore(deps): update plugin com.gradle.enterprise to v3.13.3
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#505 - chore(deps): update plugin com.gradle.enterprise to v3.13.3
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#505 - chore(deps): update plugin com.gradle.enterprise to v3.13.3
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#505 - chore(deps): update plugin com.gradle.enterprise to v3.13.3
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#504 - fix(deps): update dependency io.github.gciatto:kt-math to v0.9.0 - autoclosed
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
#504 - fix(deps): update dependency io.github.gciatto:kt-math to v0.9.0 - autoclosed
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
#503 - chore(deps): update detekt to v1.23.0 (minor) - autoclosed
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
#503 - chore(deps): update detekt to v1.23.0 (minor) - autoclosed
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
#503 - chore(deps): update detekt to v1.23.0 (minor) - autoclosed
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
#503 - chore(deps): update detekt to v1.23.0 (minor) - autoclosed
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
#502 - fix(deps): update antlr to v4.13.0 (minor)
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#501 - fix(deps): update jackson to v2.15.2 (patch)
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#500 - ci(deps): update danysk/build-check-deploy-gradle-action action to v2.2.6 - autoclosed
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
#500 - ci(deps): update danysk/build-check-deploy-gradle-action action to v2.2.6 - autoclosed
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
#499 - Change ClassicSolverFactory runtime libraries and :gui Application issue
Issue -
State: open - Opened by fmuratori over 1 year ago
#499 - Change ClassicSolverFactory runtime libraries and :gui Application issue
Issue -
State: open - Opened by fmuratori over 1 year ago
#499 - Change ClassicSolverFactory runtime libraries and :gui Application issue
Issue -
State: open - Opened by fmuratori over 1 year ago
#498 - fix(deps): update dependency net.sourceforge.plantuml:plantuml to v1.2023.8
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#498 - fix(deps): update dependency net.sourceforge.plantuml:plantuml to v1.2023.8
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#498 - fix(deps): update dependency net.sourceforge.plantuml:plantuml to v1.2023.8
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#497 - chore(deps): update plugin com.gradle.enterprise to v3.13.2
Pull Request -
State: open - Opened by renovate[bot] over 1 year ago
#497 - chore(deps): update plugin com.gradle.enterprise to v3.13.2
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#497 - chore(deps): update plugin com.gradle.enterprise to v3.13.2
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#497 - chore(deps): update plugin com.gradle.enterprise to v3.13.2
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#497 - chore(deps): update plugin com.gradle.enterprise to v3.13.2
Pull Request -
State: closed - Opened by renovate[bot] over 1 year ago
- 1 comment
Labels: released
#496 - Feature/web gui develop
Pull Request -
State: closed - Opened by fmuratori over 1 year ago
#496 - Feature/web gui develop
Pull Request -
State: closed - Opened by fmuratori over 1 year ago