How to contribute

Thank you for wanting to contribute to the development of TAPAAL.

Testing and Bug reporting

If you find a bug in TAPAAL please report it at our bug tracker. Before reporting a new bug please check if its already been reported, and add a comment to this bug.

Community

As a part of the TAPAAL community you can help by asking and answering questions at our answers launchpad page

Development

If you have a patch to TAPPAAL please add it the the corresponding bug report at launchpad, or create a branch on launchpad and a merge request to trunk. You are also welcome to send patches to tapaal@cs.aau.dk.

All patches will be revived by the core development team and if accepted added to TAPAAL. To increase the chances of your patch being accepted please make sure it obeys the Coding Guidelines.

developer/howtocontribute.txt · Last modified: 2011/10/14 18:07 by kyrke
CC Attribution-Noncommercial-Share Alike 3.0 Unported
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0