chore: fix linting

CPPLINT.cfg

@@ -1,7 +1,5 @@
 set noparent
 linelength=120
-filter=-build/header_guard
-filter=-whitespace/comments
 filter=-build/include_subdir
 filter=-readability/todo
 filter=-build/c++11

dlinear/libs/gmp.cpp

@@ -53,4 +53,4 @@ mpz_class ceil(const mpq_class &val) {
   }
 }
 
-} // namespace dlinear::gmp
+}  // namespace dlinear::gmp

dlinear/solver/DeltaSoplexTheorySolver.cpp

@@ -76,6 +76,7 @@ void DeltaSoplexTheorySolver::AddLiteral(const Literal &lit) {
     SetSPXVarCoeff(coeffs, get_variable(map.begin()->first), get_constant_in_multiplication(expr));
   } else if (is_addition(expr)) {
     const std::map<Expression, mpq_class> &map = get_expr_to_coeff_map_in_addition(expr);
+    coeffs.setMax(static_cast<int>(map.size()));
     for (const auto &pair : map) {
       if (!is_variable(pair.first)) {
         DLINEAR_RUNTIME_ERROR_FMT("Expression {} not supported", expr);

dlinear/solver/SolverGuard.h

@@ -9,6 +9,8 @@
  * used.
  * When the guard is destroyed by the solver's destructor, the global state is cleaned up.
  */
+#pragma once
+
 #include "dlinear/util/Config.h"
 
 namespace dlinear {

dlinear/symbolic/IfThenElseEliminator.cpp

@@ -7,6 +7,7 @@
 
 #include "IfThenElseEliminator.h"
 
+#include <algorithm>
 #include <set>
 #include <string>
 

dlinear/util/ArgParser.h

@@ -58,12 +58,12 @@ class ArgParser {
    * Version of the program.
    * @return version of the program
    */
-  [[nodiscard]] static std::string version() ;
+  [[nodiscard]] static std::string version();
   /**
    * Status of the repository.
    * @return status of the repository
    */
-  [[nodiscard]] static std::string repositoryStatus() ;
+  [[nodiscard]] static std::string repositoryStatus();
   /**
    * Complete prompt to print on the console.
    * @return complete prompt

dlinear/util/logging.cpp

@@ -31,6 +31,6 @@ std::shared_ptr<spdlog::logger> get_logger(LoggerType logger_type) {
   return logger;
 }
 
-} // namespace dlinear
+}  // namespace dlinear
 
 #endif