Contributing

Before opening a pull request, check the following:

• Non-matching functions have been marked with 'NON_MATCHING'
• Both 'Tools/check.py' and 'Tools/progress.py' have been run
• Source files and Headers have been formatted with clang-format