Introduce clang-format-14 to CI (#255)

* Apply clang-format

* Add CI for clang-format

* Update README.md

* [auto-verifier] verify commit a979ac8

* Add clang-format CI badge

* [auto-verifier] verify commit a015089

Co-authored-by: GitHub <[email protected]>

Author: hitonanode

.clang-format

@@ -13,3 +13,4 @@ PenaltyBreakBeforeFirstCallParameter: 0
 PenaltyBreakFirstLessLess: 0
 PenaltyExcessCharacter: 10
 PenaltyReturnTypeOnItsOwnLine: 0
+SortIncludes: false

.github/workflows/formatter.yml

@@ -0,0 +1,21 @@
+name: clang-format
+
+on: push
+
+jobs:
+  build:
+    runs-on: ubuntu-22.04
+
+    steps:
+    - uses: actions/checkout@v3
+
+    # https://apt.llvm.org/
+    - name: Install clang-format-14
+      run: |
+        wget -O - https://apt.llvm.org/llvm-snapshot.gpg.key|sudo apt-key add -
+        sudo add-apt-repository 'deb http://apt.llvm.org/jammy/ llvm-toolchain-jammy-14 main'
+        sudo apt-get update
+        sudo apt-get install -y clang-format-14
+
+    - name: Check formatting
+      run: find ./ -name "*.hpp" -o -name "*.cpp" -not -iwholename ".verify-helper*" | xargs clang-format-14 --dry-run --Werror -style=file

.verify-helper/timestamps.remote.json

@@ -91,7 +91,7 @@
 "graph/test/bipartite_matching(slow).test.cpp": "2020-11-21 18:08:42 +0900",
 "graph/test/bipartite_matching.test.cpp": "2021-11-03 21:38:41 +0900",
 "graph/test/bridge.test.cpp": "2022-07-19 23:53:22 +0900",
-"graph/test/chromatic_number.test.cpp": "2022-10-27 21:31:53 +0900",
+"graph/test/chromatic_number.test.cpp": "2022-11-14 22:46:56 +0900",
 "graph/test/cycle_detection_directed.test.cpp": "2022-01-08 20:23:44 +0900",
 "graph/test/directed_mst.aoj.test.cpp": "2022-01-08 20:23:44 +0900",
 "graph/test/dulmage_mendelsohn.yuki1615.test.cpp": "2022-01-08 20:23:44 +0900",
@@ -127,12 +127,12 @@
 "linear_algebra_matrix/test/linalg_aclmodint_determinant.test.cpp": "2022-05-01 02:11:54 +0900",
 "linear_algebra_matrix/test/linalg_bitset.test.cpp": "2022-11-06 22:51:55 +0900",
 "linear_algebra_matrix/test/linalg_bitset.yuki1421.test.cpp": "2022-11-06 22:51:55 +0900",
-"linear_algebra_matrix/test/linalg_ll_det.test.cpp": "2022-10-14 10:52:36 +0900",
-"linear_algebra_matrix/test/linalg_longlong.test.cpp": "2022-10-14 10:52:36 +0900",
-"linear_algebra_matrix/test/linalg_longlong_matmul.test.cpp": "2022-10-14 10:52:36 +0900",
+"linear_algebra_matrix/test/linalg_ll_det.test.cpp": "2022-11-14 22:46:56 +0900",
+"linear_algebra_matrix/test/linalg_longlong.test.cpp": "2022-11-14 22:46:56 +0900",
+"linear_algebra_matrix/test/linalg_longlong_matmul.test.cpp": "2022-11-14 22:46:56 +0900",
 "linear_algebra_matrix/test/linalg_min_plus_semiring.yuki1780.test.cpp": "2022-05-01 02:11:54 +0900",
 "linear_algebra_matrix/test/linalg_modint_determinant.test.cpp": "2022-07-12 00:34:46 +0900",
-"linear_algebra_matrix/test/linalg_modint_multiplication.test.cpp": "2022-10-14 10:52:36 +0900",
+"linear_algebra_matrix/test/linalg_modint_multiplication.test.cpp": "2022-11-14 22:46:56 +0900",
 "linear_algebra_matrix/test/linalg_modint_pow.test.cpp": "2022-07-12 00:34:46 +0900",
 "linear_algebra_matrix/test/linalg_semirings.yuki1340.test.cpp": "2022-05-01 02:11:54 +0900",
 "linear_algebra_matrix/test/matrix_det_dual_number.yuki1303.test.cpp": "2022-07-12 00:34:46 +0900",
@@ -142,26 +142,26 @@
 "number/test/arithmetic_function_totient.test.cpp": "2022-07-12 00:34:46 +0900",
 "number/test/binary_gcd.stress.test.cpp": "2021-08-21 15:46:09 +0900",
 "number/test/bs_sieve.test.cpp": "2022-01-08 20:23:44 +0900",
-"number/test/combination.stress.test.cpp": "2022-10-14 10:52:36 +0900",
-"number/test/combination.test.cpp": "2022-10-14 10:52:36 +0900",
+"number/test/combination.stress.test.cpp": "2022-11-14 22:46:56 +0900",
+"number/test/combination.test.cpp": "2022-11-14 22:46:56 +0900",
 "number/test/count_primes.test.cpp": "2022-01-08 20:23:44 +0900",
 "number/test/discrete_logarithm.test.cpp": "2020-11-18 20:25:12 +0900",
 "number/test/enumerate_primes.test.cpp": "2022-01-08 20:23:44 +0900",
-"number/test/factorize_aoj.test.cpp": "2022-10-27 21:31:53 +0900",
-"number/test/factorize_longlong.test.cpp": "2022-10-27 21:31:53 +0900",
+"number/test/factorize_aoj.test.cpp": "2022-11-14 22:46:56 +0900",
+"number/test/factorize_longlong.test.cpp": "2022-11-14 22:46:56 +0900",
 "number/test/gcd_convolution.test.cpp": "2022-07-12 00:34:46 +0900",
 "number/test/gen_primes.test.cpp": "2021-10-30 11:24:11 +0900",
 "number/test/lcm_convolution.test.cpp": "2022-07-12 00:34:46 +0900",
-"number/test/miller-rabin-5e7.test.cpp": "2022-10-27 21:31:53 +0900",
-"number/test/miller-rabin.test.cpp": "2022-10-27 21:31:53 +0900",
+"number/test/miller-rabin-5e7.test.cpp": "2022-11-14 22:46:56 +0900",
+"number/test/miller-rabin.test.cpp": "2022-11-14 22:46:56 +0900",
 "number/test/min_max_semiring.test.cpp": "2022-01-25 23:19:52 +0900",
 "number/test/montmort_number_mod.test.cpp": "2022-05-01 16:11:38 +0900",
 "number/test/multiple_moebius.yuki1627.test.cpp": "2022-07-12 00:34:46 +0900",
 "number/test/multiple_moebius.yuki886.test.cpp": "2022-07-12 00:34:46 +0900",
 "number/test/nimber.test.cpp": "2022-10-30 13:35:32 +0900",
 "number/test/prime_factorization.test.cpp": "2021-10-30 11:24:11 +0900",
-"number/test/primitive_root.test.cpp": "2022-10-27 21:31:53 +0900",
-"number/test/primitive_root_1e18.test.cpp": "2022-10-27 21:31:53 +0900",
+"number/test/primitive_root.test.cpp": "2022-11-14 22:46:56 +0900",
+"number/test/primitive_root_1e18.test.cpp": "2022-11-14 22:46:56 +0900",
 "number/test/sieve.stress.test.cpp": "2022-05-01 16:11:38 +0900",
 "number/test/sqrt_modint_runtime.test.cpp": "2022-05-01 16:11:38 +0900",
 "number/test/zeta_moebius_transform.test.cpp": "2022-07-12 00:34:46 +0900",
@@ -205,13 +205,13 @@
 "string/test/lcp.test.cpp": "2022-01-08 20:23:44 +0900",
 "string/test/manacher.test.cpp": "2022-01-08 20:23:44 +0900",
 "string/test/manacher_mp.test.cpp": "2022-01-08 20:23:44 +0900",
-"string/test/rolling_hash.test.cpp": "2022-10-09 12:55:12 +0900",
-"string/test/rolling_hash_2d.aoj.test.cpp": "2022-10-09 14:11:30 +0900",
+"string/test/rolling_hash.test.cpp": "2022-11-14 22:46:56 +0900",
+"string/test/rolling_hash_2d.aoj.test.cpp": "2022-11-14 22:46:56 +0900",
 "string/test/rolling_hash_lcp.test.cpp": "2022-10-09 12:55:12 +0900",
-"string/test/rolling_hash_mersenne61.test.cpp": "2022-10-09 12:55:12 +0900",
+"string/test/rolling_hash_mersenne61.test.cpp": "2022-11-14 22:46:56 +0900",
 "string/test/rolling_hash_w_modint.test.cpp": "2022-10-09 12:55:12 +0900",
 "string/test/run_enumerate_lyndon_hash.test.cpp": "2022-10-09 12:55:12 +0900",
-"string/test/run_enumerate_lyndon_mersenne61.test.cpp": "2022-10-09 12:55:12 +0900",
+"string/test/run_enumerate_lyndon_mersenne61.test.cpp": "2022-11-14 22:46:56 +0900",
 "string/test/run_enumerate_lyndon_rmq.test.cpp": "2022-01-08 20:23:44 +0900",
 "string/test/sa_count_keyword.reader.test.cpp": "2022-01-08 20:23:44 +0900",
 "string/test/sa_count_keyword.test.cpp": "2022-01-08 20:23:44 +0900",
@@ -221,7 +221,7 @@
 "tree/test/diameter.test.cpp": "2021-06-09 00:31:07 +0900",
 "tree/test/frequency_table_of_tree_distance.stress.test.cpp": "2022-07-12 00:34:46 +0900",
 "tree/test/frequency_table_of_tree_distance.test.cpp": "2022-01-08 20:23:44 +0900",
-"tree/test/frequency_table_of_tree_distance_ntt.test.cpp": "2022-10-14 10:52:36 +0900",
+"tree/test/frequency_table_of_tree_distance_ntt.test.cpp": "2022-11-14 22:46:56 +0900",
 "tree/test/hl_decomposition.test.cpp": "2022-01-08 20:23:44 +0900",
 "tree/test/jump_on_tree.test.cpp": "2022-07-31 01:04:01 +0900",
 "tree/test/lca.test.cpp": "2022-07-31 01:04:01 +0900",
@@ -243,5 +243,5 @@
 "utilities/test/kth_root_integer.test.cpp": "2021-05-01 20:55:29 +0900",
 "utilities/test/pow.test.cpp": "2022-07-12 00:34:46 +0900",
 "utilities/test/predecessor_problem.test.cpp": "2021-04-25 18:25:53 +0900",
-"utilities/test/product_embedding.test.cpp": "2022-06-05 22:26:04 +0900"
+"utilities/test/product_embedding.test.cpp": "2022-11-14 22:46:56 +0900"
 }

Makefile

@@ -0,0 +1,4 @@
+.PHONY: format
+
+format:
+	find ./ -name "*.hpp" -o -name "*.cpp" -not -iwholename ".verify-helper*" | xargs clang-format --Werror -i -style=file

README.md

@@ -1,6 +1,7 @@
 # C++ Algorithm/Data Structure Library for Competitive Programming
 
-[![Actions Status](https://github.com/rsm9/cplib-cpp/workflows/verify/badge.svg)](https://github.com/rsm9/cplib-cpp/actions)
+[![Actions Status](https://github.com/hitonanode/cplib-cpp/workflows/verify/badge.svg)](https://github.com/hitonanode/cplib-cpp/actions)
+[![Actions Status](https://github.com/hitonanode/cplib-cpp/workflows/formatter/badge.svg)](https://github.com/hitonanode/cplib-cpp/actions)
 [![hitonanode](https://img.shields.io/endpoint?url=https%3A%2F%2Fatcoder-badges.now.sh%2Fapi%2Fatcoder%2Fjson%2Fhitonanode)](https://atcoder.jp/users/hitonanode)
 [![hitonanode](https://img.shields.io/endpoint?url=https%3A%2F%2Fatcoder-badges.now.sh%2Fapi%2Fcodeforces%2Fjson%2Fhitonanode)](https://codeforces.com/profile/hitonanode)
 
@@ -35,4 +36,4 @@ Except such snippets, the programs written by the owner of the repo is under the
 
 ## Formatting
 
-`clang-format` is used (config file: `.clang-format`).
+`clang-format-14` is used to lint `.cpp` / `.hpp` files. Default configuration file is `.clang-format`. See [formatter.yml](.github/workflows/formatter.yml) for detail.

number/bare_mod_algebra.hpp

@@ -99,8 +99,7 @@ linear_congruence(const std::vector<Int> &A, const std::vector<Int> &B, const st
     return std::make_pair((r < 0 ? r + m : r), m);
 }
 
-template <class Int = int, class Long = long long>
-Int pow_mod(Int x, long long n, Int md) {
+template <class Int = int, class Long = long long> Int pow_mod(Int x, long long n, Int md) {
     static_assert(sizeof(Int) * 2 <= sizeof(Long), "Watch out for overflow");
     if (md == 1) return 0;
     Int ans = 1;

number/factorize.hpp

@@ -20,9 +20,7 @@ inline int get_id(long long n) {
         return 1;
     } else if (n < 47636622961201)
         return 2;
-    else {
-        return 3;
-    }
+    else { return 3; }
 }
 } // namespace SPRP
 

number/modint_mersenne61.hpp

@@ -53,25 +53,19 @@ class ModIntMersenne61 {
 
     ModIntMersenne61 inv() const { return pow(md - 2); }
 
-    ModIntMersenne61 operator/(const ModIntMersenne61 &x) const {
-        return *this * x.inv();
-    }
+    ModIntMersenne61 operator/(const ModIntMersenne61 &x) const { return *this * x.inv(); }
 
     ModIntMersenne61 operator-() const { return ModIntMersenne61(md - _v); }
     ModIntMersenne61 &operator+=(const ModIntMersenne61 &x) { return *this = *this + x; }
     ModIntMersenne61 &operator-=(const ModIntMersenne61 &x) { return *this = *this - x; }
     ModIntMersenne61 &operator*=(const ModIntMersenne61 &x) { return *this = *this * x; }
     ModIntMersenne61 &operator/=(const ModIntMersenne61 &x) { return *this = *this / x; }
 
-    ModIntMersenne61 operator+(unsigned x) const {
-        return ModIntMersenne61(this->_v + x);
-    }
+    ModIntMersenne61 operator+(unsigned x) const { return ModIntMersenne61(this->_v + x); }
 
     bool operator==(const ModIntMersenne61 &x) const { return _v == x._v; }
     bool operator!=(const ModIntMersenne61 &x) const { return _v != x._v; }
-    bool operator<(const ModIntMersenne61 &x) const {
-        return _v < x._v;
-    } // To use std::map
+    bool operator<(const ModIntMersenne61 &x) const { return _v < x._v; } // To use std::map
 
     template <class OStream> friend OStream &operator<<(OStream &os, const ModIntMersenne61 &x) {
         return os << x._v;

string/rolling_hash_2d.hpp

@@ -2,11 +2,10 @@
 #include <string>
 #include <vector>
 
-
 // Rolling Hash (Rabin-Karp), 2dim
 template <typename V> struct rolling_hash_2d {
     const V Bx, By;
-    std::vector<V> powx, powy;  // powx[i] = Bx^i
+    std::vector<V> powx, powy; // powx[i] = Bx^i
     std::vector<std::vector<V>> hash;
 
     void gen_pow(int h, int w) {
@@ -22,8 +21,7 @@ template <typename V> struct rolling_hash_2d {
         return hash[x][y];
     }
 
-    template <typename Int>
-    void build(const std::vector<std::vector<Int>> &s) {
+    template <typename Int> void build(const std::vector<std::vector<Int>> &s) {
         const int H = s.size(), W = H ? s.at(0).size() : 0;
         gen_pow(H, W);
 

string/test/rolling_hash.test.cpp

@@ -6,8 +6,7 @@
 #define PROBLEM "http://judge.u-aizu.ac.jp/onlinejudge/description.jsp?id=ALDS1_14_B"
 using namespace std;
 
-template <class Hash>
-vector<int> solve(const string T, const string P) {
+template <class Hash> vector<int> solve(const string T, const string P) {
     rolling_hash<Hash> rh_T(T), rh_P(P);
     vector<int> ret;
     for (int l = 0; l < (int)(T.length() - P.length() + 1); l++) {