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
#416 - chore(deps): update detekt to v1.22.0 (minor)
Pull Request -
State: closed - Opened by renovate[bot] almost 2 years ago
#415 - Explicit unificator
Issue -
State: closed - Opened by gciatto almost 2 years ago
Labels: module::theory, module::solve
#415 - Explicit unificator
Issue -
State: closed - Opened by gciatto almost 2 years ago
Labels: module::theory, module::solve
#415 - Explicit unificator
Issue -
State: closed - Opened by gciatto almost 2 years ago
Labels: module::theory, module::solve
#415 - Explicit unificator
Issue -
State: closed - Opened by gciatto almost 2 years ago
Labels: module::theory, module::solve
#415 - Explicit unificator
Issue -
State: closed - Opened by gciatto almost 2 years ago
Labels: module::theory, module::solve
#415 - Explicit unificator
Issue -
State: closed - Opened by gciatto almost 2 years ago
Labels: module::theory, module::solve
#415 - Explicit unificator
Issue -
State: closed - Opened by gciatto almost 2 years ago
Labels: module::theory, module::solve
#415 - Explicit unificator
Issue -
State: closed - Opened by gciatto almost 2 years ago
Labels: module::theory, module::solve
#415 - Explicit unificator
Issue -
State: closed - Opened by gciatto almost 2 years ago
Labels: module::theory, module::solve
#415 - Explicit unificator
Issue -
State: closed - Opened by gciatto almost 2 years ago
Labels: module::theory, module::solve
#415 - Explicit unificator
Issue -
State: closed - Opened by gciatto almost 2 years ago
Labels: module::theory, module::solve
#415 - Explicit unificator
Issue -
State: closed - Opened by gciatto almost 2 years ago
Labels: module::theory, module::solve
#414 - fix(deps): update dependency net.sourceforge.plantuml:plantuml to v1.2022.13
Pull Request -
State: closed - Opened by renovate[bot] almost 2 years ago
#414 - fix(deps): update dependency net.sourceforge.plantuml:plantuml to v1.2022.13
Pull Request -
State: closed - Opened by renovate[bot] almost 2 years ago
#414 - fix(deps): update dependency net.sourceforge.plantuml:plantuml to v1.2022.13
Pull Request -
State: closed - Opened by renovate[bot] almost 2 years ago
#414 - fix(deps): update dependency net.sourceforge.plantuml:plantuml to v1.2022.13
Pull Request -
State: closed - Opened by renovate[bot] almost 2 years ago
#414 - fix(deps): update dependency net.sourceforge.plantuml:plantuml to v1.2022.13
Pull Request -
State: closed - Opened by renovate[bot] almost 2 years ago
#414 - fix(deps): update dependency net.sourceforge.plantuml:plantuml to v1.2022.13
Pull Request -
State: closed - Opened by renovate[bot] almost 2 years ago
#414 - fix(deps): update dependency net.sourceforge.plantuml:plantuml to v1.2022.13
Pull Request -
State: closed - Opened by renovate[bot] almost 2 years ago
#414 - fix(deps): update dependency net.sourceforge.plantuml:plantuml to v1.2022.13
Pull Request -
State: closed - Opened by renovate[bot] almost 2 years ago
#414 - fix(deps): update dependency net.sourceforge.plantuml:plantuml to v1.2022.13
Pull Request -
State: closed - Opened by renovate[bot] almost 2 years ago
#414 - fix(deps): update dependency net.sourceforge.plantuml:plantuml to v1.2022.13
Pull Request -
State: closed - Opened by renovate[bot] almost 2 years ago
#414 - fix(deps): update dependency net.sourceforge.plantuml:plantuml to v1.2022.13
Pull Request -
State: closed - Opened by renovate[bot] almost 2 years ago
#414 - fix(deps): update dependency net.sourceforge.plantuml:plantuml to v1.2022.13
Pull Request -
State: closed - Opened by renovate[bot] almost 2 years ago
#414 - fix(deps): update dependency net.sourceforge.plantuml:plantuml to v1.2022.13
Pull Request -
State: closed - Opened by renovate[bot] almost 2 years ago
#413 - Fix/classic substitutions
Pull Request -
State: closed - Opened by gciatto almost 2 years ago
#413 - Fix/classic substitutions
Pull Request -
State: closed - Opened by gciatto almost 2 years ago
#413 - Fix/classic substitutions
Pull Request -
State: closed - Opened by gciatto almost 2 years ago
#413 - Fix/classic substitutions
Pull Request -
State: closed - Opened by gciatto almost 2 years ago
#413 - Fix/classic substitutions
Pull Request -
State: closed - Opened by gciatto almost 2 years ago
#413 - Fix/classic substitutions
Pull Request -
State: closed - Opened by gciatto almost 2 years ago
#413 - Fix/classic substitutions
Pull Request -
State: closed - Opened by gciatto almost 2 years ago
#413 - Fix/classic substitutions
Pull Request -
State: closed - Opened by gciatto almost 2 years ago
#413 - Fix/classic substitutions
Pull Request -
State: closed - Opened by gciatto almost 2 years ago
#413 - Fix/classic substitutions
Pull Request -
State: closed - Opened by gciatto almost 2 years ago
#413 - Fix/classic substitutions
Pull Request -
State: closed - Opened by gciatto almost 2 years ago
#413 - Fix/classic substitutions
Pull Request -
State: closed - Opened by gciatto almost 2 years ago
#413 - Fix/classic substitutions
Pull Request -
State: closed - Opened by gciatto almost 2 years ago
#413 - Fix/classic substitutions
Pull Request -
State: closed - Opened by gciatto almost 2 years ago
#413 - Fix/classic substitutions
Pull Request -
State: closed - Opened by gciatto almost 2 years ago
#413 - Fix/classic substitutions
Pull Request -
State: closed - Opened by gciatto almost 2 years ago
#413 - Fix/classic substitutions
Pull Request -
State: closed - Opened by gciatto almost 2 years ago
#413 - Fix/classic substitutions
Pull Request -
State: closed - Opened by gciatto almost 2 years ago
#413 - Fix/classic substitutions
Pull Request -
State: closed - Opened by gciatto almost 2 years ago
#411 - Possible bug in :solve-classic
Issue -
State: closed - Opened by gciatto almost 2 years ago
- 2 comments
Labels: bug, module::solve-classic
#411 - Possible bug in :solve-classic
Issue -
State: closed - Opened by gciatto almost 2 years ago
- 2 comments
Labels: bug, module::solve-classic
#411 - Possible bug in :solve-classic
Issue -
State: closed - Opened by gciatto almost 2 years ago
- 2 comments
Labels: bug, module::solve-classic
#411 - Possible bug in :solve-classic
Issue -
State: closed - Opened by gciatto almost 2 years ago
- 2 comments
Labels: bug, module::solve-classic
#411 - Possible bug in :solve-classic
Issue -
State: closed - Opened by gciatto almost 2 years ago
- 2 comments
Labels: bug, module::solve-classic
#411 - Possible bug in :solve-classic
Issue -
State: closed - Opened by gciatto almost 2 years ago
- 2 comments
Labels: bug, module::solve-classic
#408 - fix(deps): update jackson to v2.14.0 (minor)
Pull Request -
State: closed - Opened by renovate[bot] almost 2 years ago
#408 - fix(deps): update jackson to v2.14.0 (minor)
Pull Request -
State: closed - Opened by renovate[bot] almost 2 years ago
#408 - fix(deps): update jackson to v2.14.0 (minor)
Pull Request -
State: closed - Opened by renovate[bot] almost 2 years ago
#408 - fix(deps): update jackson to v2.14.0 (minor)
Pull Request -
State: closed - Opened by renovate[bot] almost 2 years ago
#408 - fix(deps): update jackson to v2.14.0 (minor)
Pull Request -
State: closed - Opened by renovate[bot] almost 2 years ago
#408 - fix(deps): update jackson to v2.14.0 (minor)
Pull Request -
State: closed - Opened by renovate[bot] almost 2 years ago
#408 - fix(deps): update jackson to v2.14.0 (minor)
Pull Request -
State: closed - Opened by renovate[bot] almost 2 years ago
#408 - fix(deps): update jackson to v2.14.0 (minor)
Pull Request -
State: closed - Opened by renovate[bot] almost 2 years ago
#408 - fix(deps): update jackson to v2.14.0 (minor)
Pull Request -
State: closed - Opened by renovate[bot] almost 2 years ago
#408 - fix(deps): update jackson to v2.14.0 (minor)
Pull Request -
State: closed - Opened by renovate[bot] almost 2 years ago
#408 - fix(deps): update jackson to v2.14.0 (minor)
Pull Request -
State: closed - Opened by renovate[bot] almost 2 years ago
#406 - fix(deps): update dependency io.javalin:javalin to v4.6.7
Pull Request -
State: closed - Opened by renovate[bot] almost 2 years ago
#406 - fix(deps): update dependency io.javalin:javalin to v4.6.7
Pull Request -
State: closed - Opened by renovate[bot] almost 2 years ago
#406 - fix(deps): update dependency io.javalin:javalin to v4.6.7
Pull Request -
State: closed - Opened by renovate[bot] almost 2 years ago
#406 - fix(deps): update dependency io.javalin:javalin to v4.6.7
Pull Request -
State: closed - Opened by renovate[bot] almost 2 years ago
#406 - fix(deps): update dependency io.javalin:javalin to v4.6.7
Pull Request -
State: closed - Opened by renovate[bot] almost 2 years ago
#402 - Slow tests
Issue -
State: open - Opened by gciatto almost 2 years ago
#402 - Slow tests
Issue -
State: open - Opened by gciatto almost 2 years ago
#402 - Slow tests
Issue -
State: open - Opened by gciatto almost 2 years ago
#402 - Slow tests
Issue -
State: open - Opened by gciatto almost 2 years ago
#402 - Slow tests
Issue -
State: open - Opened by gciatto almost 2 years ago
#393 - fix(deps): update dependency io.javalin:javalin to v5
Pull Request -
State: open - Opened by renovate[bot] almost 2 years ago
#393 - fix(deps): update dependency io.javalin:javalin to v5 - autoclosed
Pull Request -
State: closed - Opened by renovate[bot] almost 2 years ago
#393 - fix(deps): update dependency io.javalin:javalin to v5
Pull Request -
State: open - Opened by renovate[bot] almost 2 years ago
#393 - fix(deps): update dependency io.javalin:javalin to v5
Pull Request -
State: open - Opened by renovate[bot] almost 2 years ago
#393 - fix(deps): update dependency io.javalin:javalin to v5 - autoclosed
Pull Request -
State: closed - Opened by renovate[bot] almost 2 years ago
#381 - chore(deps): update ktlint to v11 (major) - autoclosed
Pull Request -
State: closed - Opened by renovate[bot] about 2 years ago
#381 - chore(deps): update ktlint to v11 (major)
Pull Request -
State: open - Opened by renovate[bot] about 2 years ago
#381 - chore(deps): update ktlint to v11 (major) - autoclosed
Pull Request -
State: closed - Opened by renovate[bot] about 2 years ago
#381 - chore(deps): update ktlint to v11 (major)
Pull Request -
State: open - Opened by renovate[bot] about 2 years ago
#379 - fix(deps): update dependency org.openjfx:javafx-graphics to v20.0.1
Pull Request -
State: open - Opened by renovate[bot] about 2 years ago
#379 - fix(deps): update dependency org.openjfx:javafx-graphics to v20.0.1
Pull Request -
State: open - Opened by renovate[bot] about 2 years ago
#379 - fix(deps): update javafx to v19.0.2.1 (patch)
Pull Request -
State: closed - Opened by renovate[bot] about 2 years ago
- 1 comment
Labels: released
#379 - fix(deps): update dependency org.openjfx:javafx-graphics to v20.0.1
Pull Request -
State: open - Opened by renovate[bot] about 2 years ago
#379 - fix(deps): update dependency org.openjfx:javafx-graphics to v20.0.1
Pull Request -
State: open - Opened by renovate[bot] about 2 years ago
#365 - fix(deps): update dependency io.github.gciatto:kt-math to v0.7.0 - autoclosed
Pull Request -
State: closed - Opened by renovate[bot] about 2 years ago
#365 - fix(deps): update dependency io.github.gciatto:kt-math to v0.7.0 - autoclosed
Pull Request -
State: closed - Opened by renovate[bot] about 2 years ago
#365 - fix(deps): update dependency io.github.gciatto:kt-math to v0.7.0 - autoclosed
Pull Request -
State: closed - Opened by renovate[bot] about 2 years ago
#365 - fix(deps): update dependency io.github.gciatto:kt-math to v0.7.0 - autoclosed
Pull Request -
State: closed - Opened by renovate[bot] about 2 years ago
#365 - fix(deps): update dependency io.github.gciatto:kt-math to v0.7.0 - autoclosed
Pull Request -
State: closed - Opened by renovate[bot] about 2 years ago
#365 - fix(deps): update dependency io.github.gciatto:kt-math to v0.7.0 - autoclosed
Pull Request -
State: closed - Opened by renovate[bot] about 2 years ago
#365 - fix(deps): update dependency io.github.gciatto:kt-math to v0.7.0 - autoclosed
Pull Request -
State: closed - Opened by renovate[bot] about 2 years ago
#365 - fix(deps): update dependency io.github.gciatto:kt-math to v0.7.0 - autoclosed
Pull Request -
State: closed - Opened by renovate[bot] about 2 years ago
#365 - fix(deps): update dependency io.github.gciatto:kt-math to v0.7.0 - autoclosed
Pull Request -
State: closed - Opened by renovate[bot] about 2 years ago
#365 - fix(deps): update dependency io.github.gciatto:kt-math to v0.7.0 - autoclosed
Pull Request -
State: closed - Opened by renovate[bot] about 2 years ago
#365 - fix(deps): update dependency io.github.gciatto:kt-math to v0.7.0 - autoclosed
Pull Request -
State: closed - Opened by renovate[bot] about 2 years ago
#365 - fix(deps): update dependency io.github.gciatto:kt-math to v0.7.0 - autoclosed
Pull Request -
State: closed - Opened by renovate[bot] about 2 years ago
#360 - Fix/solutions
Pull Request -
State: closed - Opened by gciatto about 2 years ago
#360 - Fix/solutions
Pull Request -
State: closed - Opened by gciatto about 2 years ago