Mailing.md

The CPAchecker Project uses the following mailing lists:

• CPAchecker-Announce@googlegroups.com
  Announcements about the CPAchecker project.
  Read-only, anyone can join, low traffic volume.

• CPAchecker-Users@googlegroups.com
  User discussion, questions, solutions to common problems, and bug reports.
  Members can post, anyone can join.

For active developers, there are the following additional lists:

• CPAchecker-Devel@googlegroups.com
  Internal developer discussion about the design, implementation, and development process of CPAchecker.
  Members can post.

• CPAchecker Commits
  Copies of commit messages and diffs from the CPAchecker repository.
  Read-only, high volume.

• CPAchecker CI
  Notifications from CI systems (GitLab and BuildBot).
  Read-only, high volume.

Note that for bug reports you can also use our issue tracker.