Skip to content

Latest commit

 

History

History
29 lines (21 loc) · 1.27 KB

Mailing.md

File metadata and controls

29 lines (21 loc) · 1.27 KB
Raw

The CPAchecker Project uses the following mailing lists:

  • [email protected]
    Announcements about the CPAchecker project.
    Read-only, anyone can join, low traffic volume.

  • [email protected]
    User discussion, questions, solutions to common problems, and bug reports.
    Members can post, anyone can join.

  • [email protected]
    Archive of commit messages from the CPAchecker repository.
    Read-only, by invitation only, high volume.

  • [email protected]
    Internal developer discussion about the design and implementation of CPAchecker.
    Only for active developers (>0 cpm), members can post, by invitation only.

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