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
masterbranch. - 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.