ViPER Community

From ViPER Wiki

[edit] Infrastructure (CVS, Bugzilla, Mailing Lists)

• ViPER CVS repository can be accessed from host dev.viper.sc (kodiak.informatik.rwth-aachen.de), local user login data and scmBug setup required.
• ViPER Bugzilla installation can be found at bugs.viper.sc, individual registration via e-mail address is required.
• ViPER Bugzilla Metrics installation can be found at ViPER Bugzilla Metrics.

• There are currently three mailing lists defined or ViPER, which can be found under http://lufgi3-mail.informatik.rwth-aachen.de/mailman/listinfo.
  • viper-community-info will notify the ViPER Community about anything noteworthy.
  • viper-bugs-inbox will notify about all new ViPER bugs, entered into the ViPER Bugzilla.
  • viper-build-info will notify about failures of the nightly/maintenance/integration build processes.
  • viper-commit-info will notify about cvs commits to the ViPER repository at dev.viper.sc.