Skip to content

Pull requests: apalache-mc/apalache

New pull request New
21 Open 1,800 Closed
21 Open 1,800 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Update sbt, scripted-plugin to 1.10.10
#3084 opened Mar 5, 2025 by scala-steward Loading…
Update shapeless to 2.3.13
#3082 opened Mar 3, 2025 by scala-steward Loading…
Update z3-turnkey to 4.14.0
#3081 opened Feb 27, 2025 by scala-steward Loading…
Update slf4j-api to 2.0.17
#3080 opened Feb 27, 2025 by scala-steward Loading…
Update zio, zio-test, zio-test-sbt to 2.1.16
#3079 opened Feb 27, 2025 by scala-steward Loading…
Update logback-classic, logback-core to 1.5.17
#3078 opened Feb 27, 2025 by scala-steward Loading…
Update sbt-scoverage to 2.3.1
#3077 opened Feb 21, 2025 by scala-steward Loading…
Update sbt-scalafix to 0.14.2
#3076 opened Feb 21, 2025 by scala-steward Loading…
Update commons-beanutils to 1.10.1
#3075 opened Feb 13, 2025 by scala-steward Loading…
Update sbt-native-packager to 1.11.1
#3072 opened Feb 5, 2025 by scala-steward Loading…
Update scalafmt-core to 3.8.6
#3071 opened Jan 24, 2025 by scala-steward Loading…
Update sbt-assembly to 2.3.1
#3070 opened Jan 20, 2025 by scala-steward Loading…
Update grpc-netty to 1.69.1
#3067 opened Jan 18, 2025 by scala-steward Loading…
Update scala-library to 2.13.16
#3066 opened Jan 16, 2025 by scala-steward Loading…
Update ujson, upickle to 4.1.0
#3061 opened Jan 10, 2025 by scala-steward Loading…
Update zio, zio-test, zio-test-sbt to 2.1.13
#3039 opened Nov 21, 2024 by scala-steward Loading…
1
Update pureconfig to 0.17.8
#3037 opened Nov 21, 2024 by scala-steward Loading…
Update zio-grpc-codegen, zio-grpc-core to 0.6.3
#3025 opened Oct 30, 2024 by scala-steward Loading…
Update scala-collection-contrib to 0.4.0
#3021 opened Oct 20, 2024 by scala-steward Loading…
Fixing context disposal vs. statistics thread
#3009 opened Sep 30, 2024 by konnov Loading…
2 tasks done
1
7
Update scala-library to 2.13.15
#3002 opened Sep 26, 2024 by scala-steward Loading…
1
ProTip! What’s not been updated in a month: updated:<2025-02-10.