- Bug fix (non-breaking change which fixes an issue)
- New feature (non-breaking change which adds functionality)
- Formal verification
- Breaking change (fix or feature that would cause existing functionality to not work as expected)
- Refactorization (non-breaking change which improves code quality)