Skip to content

Pull requests: apalache-mc/apalache

New pull request New
12 Open 2,044 Closed
12 Open 2,044 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
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Update commons-configuration2 to 2.15.0
#3348 opened May 15, 2026 by scala-steward Contributor Loading…
Migrate rewriter tests to typed builder
#3346 opened May 13, 2026 by konnov Collaborator Loading…
5
Update slf4j-api to 2.0.18
#3344 opened May 13, 2026 by scala-steward Contributor Loading…
Implement CVC5 solver backend for OOPSLA encoding
#3335 opened May 11, 2026 by thpani Member Loading…
4 tasks done
7
Update zio, zio-test, zio-test-sbt to 2.1.26
#3319 opened May 6, 2026 by scala-steward Contributor Loading…
Update jackson-module-scala to 2.21.3
#3316 opened May 1, 2026 by scala-steward Contributor Loading…
Update jackson-databind to 2.21.3
#3315 opened May 1, 2026 by scala-steward Contributor Loading…
1
Much faster type checker
#3305 opened Apr 7, 2026 by konnov Collaborator Loading…
3 tasks done
Update scalatest to 3.2.20
#3299 opened Mar 26, 2026 by scala-steward Contributor Loading…
Update ujson, upickle to 4.4.3
#3267 opened Feb 14, 2026 by scala-steward Contributor Loading…
Update pureconfig to 0.17.10
#3252 opened Jan 28, 2026 by scala-steward Contributor Loading…
Fixing context disposal vs. statistics thread
#3009 opened Sep 30, 2024 by konnov Collaborator Loading…
2 tasks done
1
7
ProTip! no:milestone will show everything without a milestone.