Skip to content

Pull requests: informalsystems/apalache

New pull request New
21 Open 1,647 Closed
21 Open 1,647 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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 ujson, upickle to 3.3.1
#2905 opened May 19, 2024 by scala-steward Loading…
Update shapeless to 2.3.12
#2904 opened May 19, 2024 by scala-steward Loading…
1
Update grpc-netty to 1.64.0
#2902 opened May 15, 2024 by scala-steward Loading…
Update zio, zio-test, zio-test-sbt to 2.1.1
#2901 opened May 11, 2024 by scala-steward Loading…
Update sbt-scoverage to 2.0.12
#2899 opened May 7, 2024 by scala-steward Loading…
Update sbt to 1.10.0
#2898 opened May 7, 2024 by scala-steward Loading…
Update scala-library to 2.13.14
#2897 opened May 7, 2024 by scala-steward Loading…
Update zio-grpc-codegen, zio-grpc-core to 0.6.2
#2896 opened May 7, 2024 by scala-steward Loading…
Update sbt-scalafix to 0.12.1
#2895 opened May 7, 2024 by scala-steward Loading…
Update scala-parser-combinators to 2.4.0
#2890 opened Apr 19, 2024 by scala-steward Loading…
Update logback-classic, logback-core to 1.5.6
#2889 opened Apr 19, 2024 by scala-steward Loading…
Update scalacheck to 1.17.1
#2888 opened Apr 17, 2024 by scala-steward Loading…
Update z3-turnkey to 4.12.6
#2887 opened Apr 15, 2024 by scala-steward Loading…
Update slf4j-api to 2.0.13
#2885 opened Apr 13, 2024 by scala-steward Loading…
Update sbt-native-packager to 1.10.0
#2883 opened Apr 13, 2024 by scala-steward Loading…
Update commons-io to 2.16.1
#2881 opened Apr 9, 2024 by scala-steward Loading…
Update scalafmt-core to 3.8.1
#2877 opened Mar 30, 2024 by scala-steward Loading…
1
Update commons-configuration2 to 2.10.1
#2871 opened Mar 22, 2024 by scala-steward Loading…
1
Update sbt-buildinfo to 0.12.0
#2868 opened Mar 20, 2024 by scala-steward Loading…
Translate quint variable initialization as equality, not assignment
#2864 opened Mar 15, 2024 by shonfeder • Draft
4 tasks
1
2
Update sbt-assembly to 2.2.0
#2861 opened Mar 14, 2024 by scala-steward Loading…
ProTip! Updated in the last three days: updated:>2024-05-17.