Mailing Lists
We provide mailing lists for different audiences (cpachecker-announce, cpachecker-users, cpachecker-commits, cpachecker-devel). For installation questions, bug reports, and suggestions, please send email to CPAchecker-Users@googlegroups.com (please subscribe).
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.
(Source: doc/Mailing.md)
