CONTRIBUTING.md

Contribution Guidelines

The information provided here is a must read for anyone who would like to contribute to SMACK. Hence, please make sure to study thoroughly the following items before you start contributing:

• We adhere to the Contributor Covenant Code of Conduct. By participating, you are expected to honor this code.
• We use this git branching model. Please avoid working directly on the main branch.
• We follow guidelines for good git commit practice
• We follow the LLVM Coding Standards. We check the LLVM code formatting rules during continuous integration using clang-format.