From 9b26c22f8561b3ea7096f0132c027f229777399c Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Tue, 24 Mar 2026 20:58:04 +0000 Subject: [PATCH 1/3] Initial plan From 5e4714d5f40dcf78f3b040a80873d5ff34895f75 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Tue, 24 Mar 2026 21:05:52 +0000 Subject: [PATCH 2/3] Move and rename test files from verify/ to library directories Co-authored-by: blue-jam <9583566+blue-jam@users.noreply.github.com> Agent-Logs-Url: https://github.com/blue-jam/ProconLibrary/sessions/f209cf78-f088-430d-b1fb-7b139438175e --- CMakeLists.txt | 20 +++++++++++++++---- .../fenwick.dsl_2_b.test.cpp | 0 .../lazysegtree.aoj1351.test.cpp | 0 .../segmenttree.dsl_2_a.test.cpp | 0 .../arrangement.aoj1279.test.cpp | 0 .../arrangement.aoj2448.test.cpp | 0 .../closestpair.cgl_5_a.test.cpp | 0 .../convexcut.cgl_4_c.test.cpp | 0 .../convexhull.cgl_4_a.test.cpp | 0 .../crosspoint.aoj2402.test.cpp | 0 .../crosspoint.cgl_2_b.test.cpp | 0 .../crosspoint.cgl_2_c.test.cpp | 0 .../crosspoint.cgl_2_d.test.cpp | 0 .../crosspoint.cgl_7_d.test.cpp | 0 .../crosspoint.cgl_7_e.test.cpp | 0 .../geometry.cgl_1_a.test.cpp | 0 .../geometry.cgl_1_b.test.cpp | 0 .../geometry.cgl_1_c.test.cpp | 0 .../geometry.cgl_2_a.test.cpp | 0 .../polygon.cgl_3_a.test.cpp | 0 .../polygon.cgl_3_b.test.cpp | 0 .../polygon.cgl_3_c.test.cpp | 0 .../tangent.cgl_7_a.test.cpp | 0 .../tangent.cgl_7_g.test.cpp | 0 .../articulation.grl_3_a.test.cpp | 0 .../bellman.grl_1_b.test.cpp | 0 .../bridge.grl_3_b.test.cpp | 0 .../dijkstra.grl_1_a.test.cpp | 0 .../kruskal.grl_2_a.test.cpp | 0 .../lca.grl_5_c.test.cpp | 0 .../scc.grl_3_c.test.cpp | 0 .../topologicalsort.grl_4_b.test.cpp | 0 32 files changed, 16 insertions(+), 4 deletions(-) rename verify/DSL_2_B.test.cpp => datastructure/fenwick.dsl_2_b.test.cpp (100%) rename verify/aoj1351.test.cpp => datastructure/lazysegtree.aoj1351.test.cpp (100%) rename verify/DSL_2_A.test.cpp => datastructure/segmenttree.dsl_2_a.test.cpp (100%) rename verify/aoj1279.test.cpp => geometry/arrangement.aoj1279.test.cpp (100%) rename verify/aoj2448.test.cpp => geometry/arrangement.aoj2448.test.cpp (100%) rename verify/CGL_5_A.test.cpp => geometry/closestpair.cgl_5_a.test.cpp (100%) rename verify/CGL_4_C.test.cpp => geometry/convexcut.cgl_4_c.test.cpp (100%) rename verify/CGL_4_A.test.cpp => geometry/convexhull.cgl_4_a.test.cpp (100%) rename verify/aoj2402.test.cpp => geometry/crosspoint.aoj2402.test.cpp (100%) rename verify/CGL_2_B.test.cpp => geometry/crosspoint.cgl_2_b.test.cpp (100%) rename verify/CGL_2_C.test.cpp => geometry/crosspoint.cgl_2_c.test.cpp (100%) rename verify/CGL_2_D.test.cpp => geometry/crosspoint.cgl_2_d.test.cpp (100%) rename verify/CGL_7_D.test.cpp => geometry/crosspoint.cgl_7_d.test.cpp (100%) rename verify/CGL_7_E.test.cpp => geometry/crosspoint.cgl_7_e.test.cpp (100%) rename verify/CGL_1_A.test.cpp => geometry/geometry.cgl_1_a.test.cpp (100%) rename verify/CGL_1_B.test.cpp => geometry/geometry.cgl_1_b.test.cpp (100%) rename verify/CGL_1_C.test.cpp => geometry/geometry.cgl_1_c.test.cpp (100%) rename verify/CGL_2_A.test.cpp => geometry/geometry.cgl_2_a.test.cpp (100%) rename verify/CGL_3_A.test.cpp => geometry/polygon.cgl_3_a.test.cpp (100%) rename verify/CGL_3_B.test.cpp => geometry/polygon.cgl_3_b.test.cpp (100%) rename verify/CGL_3_C.test.cpp => geometry/polygon.cgl_3_c.test.cpp (100%) rename verify/CGL_7_A.test.cpp => geometry/tangent.cgl_7_a.test.cpp (100%) rename verify/CGL_7_G.test.cpp => geometry/tangent.cgl_7_g.test.cpp (100%) rename verify/GRL_3_A.test.cpp => graph/articulation.grl_3_a.test.cpp (100%) rename verify/GRL_1_B.test.cpp => graph/bellman.grl_1_b.test.cpp (100%) rename verify/GRL_3_B.test.cpp => graph/bridge.grl_3_b.test.cpp (100%) rename verify/GRL_1_A.test.cpp => graph/dijkstra.grl_1_a.test.cpp (100%) rename verify/GRL_2_A.test.cpp => graph/kruskal.grl_2_a.test.cpp (100%) rename verify/GRL_5_C.test.cpp => graph/lca.grl_5_c.test.cpp (100%) rename verify/GRL_3_C.test.cpp => graph/scc.grl_3_c.test.cpp (100%) rename verify/GRL_4_B.test.cpp => graph/topologicalsort.grl_4_b.test.cpp (100%) diff --git a/CMakeLists.txt b/CMakeLists.txt index dbfb3fc..ffc290a 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -5,20 +5,32 @@ set(CMAKE_CXX_STANDARD 23) include_directories(.) -file(GLOB VERIFY_SOURCES verify/*.test.cpp) +file(GLOB VERIFY_SOURCES + datastructure/*.test.cpp + geometry/*.test.cpp + graph/*.test.cpp + math/*.test.cpp + string/*.test.cpp + misc/*.test.cpp +) file(GLOB VERIFY_SRC_SOURCES verify/src/*.cpp) add_compile_options(-Wall -Wno-deprecated -Wno-cpp) foreach(src ${VERIFY_SOURCES} ${VERIFY_SRC_SOURCES}) - get_filename_component(name ${src} NAME_WE) + get_filename_component(name ${src} NAME_WLE) add_executable(${name} ${src}) endforeach() # --- Lint targets --- file(GLOB_RECURSE ALL_SOURCES - datastructure/*.hpp graph/*.hpp math/*.hpp geometry/*.hpp string/*.hpp misc/*.hpp - verify/*.cpp verify/src/*.cpp + datastructure/*.hpp datastructure/*.test.cpp + graph/*.hpp graph/*.test.cpp + math/*.hpp math/*.test.cpp + geometry/*.hpp geometry/*.test.cpp + string/*.hpp string/*.test.cpp + misc/*.hpp misc/*.test.cpp + verify/src/*.cpp ) find_program(CLANG_FORMAT clang-format) diff --git a/verify/DSL_2_B.test.cpp b/datastructure/fenwick.dsl_2_b.test.cpp similarity index 100% rename from verify/DSL_2_B.test.cpp rename to datastructure/fenwick.dsl_2_b.test.cpp diff --git a/verify/aoj1351.test.cpp b/datastructure/lazysegtree.aoj1351.test.cpp similarity index 100% rename from verify/aoj1351.test.cpp rename to datastructure/lazysegtree.aoj1351.test.cpp diff --git a/verify/DSL_2_A.test.cpp b/datastructure/segmenttree.dsl_2_a.test.cpp similarity index 100% rename from verify/DSL_2_A.test.cpp rename to datastructure/segmenttree.dsl_2_a.test.cpp diff --git a/verify/aoj1279.test.cpp b/geometry/arrangement.aoj1279.test.cpp similarity index 100% rename from verify/aoj1279.test.cpp rename to geometry/arrangement.aoj1279.test.cpp diff --git a/verify/aoj2448.test.cpp b/geometry/arrangement.aoj2448.test.cpp similarity index 100% rename from verify/aoj2448.test.cpp rename to geometry/arrangement.aoj2448.test.cpp diff --git a/verify/CGL_5_A.test.cpp b/geometry/closestpair.cgl_5_a.test.cpp similarity index 100% rename from verify/CGL_5_A.test.cpp rename to geometry/closestpair.cgl_5_a.test.cpp diff --git a/verify/CGL_4_C.test.cpp b/geometry/convexcut.cgl_4_c.test.cpp similarity index 100% rename from verify/CGL_4_C.test.cpp rename to geometry/convexcut.cgl_4_c.test.cpp diff --git a/verify/CGL_4_A.test.cpp b/geometry/convexhull.cgl_4_a.test.cpp similarity index 100% rename from verify/CGL_4_A.test.cpp rename to geometry/convexhull.cgl_4_a.test.cpp diff --git a/verify/aoj2402.test.cpp b/geometry/crosspoint.aoj2402.test.cpp similarity index 100% rename from verify/aoj2402.test.cpp rename to geometry/crosspoint.aoj2402.test.cpp diff --git a/verify/CGL_2_B.test.cpp b/geometry/crosspoint.cgl_2_b.test.cpp similarity index 100% rename from verify/CGL_2_B.test.cpp rename to geometry/crosspoint.cgl_2_b.test.cpp diff --git a/verify/CGL_2_C.test.cpp b/geometry/crosspoint.cgl_2_c.test.cpp similarity index 100% rename from verify/CGL_2_C.test.cpp rename to geometry/crosspoint.cgl_2_c.test.cpp diff --git a/verify/CGL_2_D.test.cpp b/geometry/crosspoint.cgl_2_d.test.cpp similarity index 100% rename from verify/CGL_2_D.test.cpp rename to geometry/crosspoint.cgl_2_d.test.cpp diff --git a/verify/CGL_7_D.test.cpp b/geometry/crosspoint.cgl_7_d.test.cpp similarity index 100% rename from verify/CGL_7_D.test.cpp rename to geometry/crosspoint.cgl_7_d.test.cpp diff --git a/verify/CGL_7_E.test.cpp b/geometry/crosspoint.cgl_7_e.test.cpp similarity index 100% rename from verify/CGL_7_E.test.cpp rename to geometry/crosspoint.cgl_7_e.test.cpp diff --git a/verify/CGL_1_A.test.cpp b/geometry/geometry.cgl_1_a.test.cpp similarity index 100% rename from verify/CGL_1_A.test.cpp rename to geometry/geometry.cgl_1_a.test.cpp diff --git a/verify/CGL_1_B.test.cpp b/geometry/geometry.cgl_1_b.test.cpp similarity index 100% rename from verify/CGL_1_B.test.cpp rename to geometry/geometry.cgl_1_b.test.cpp diff --git a/verify/CGL_1_C.test.cpp b/geometry/geometry.cgl_1_c.test.cpp similarity index 100% rename from verify/CGL_1_C.test.cpp rename to geometry/geometry.cgl_1_c.test.cpp diff --git a/verify/CGL_2_A.test.cpp b/geometry/geometry.cgl_2_a.test.cpp similarity index 100% rename from verify/CGL_2_A.test.cpp rename to geometry/geometry.cgl_2_a.test.cpp diff --git a/verify/CGL_3_A.test.cpp b/geometry/polygon.cgl_3_a.test.cpp similarity index 100% rename from verify/CGL_3_A.test.cpp rename to geometry/polygon.cgl_3_a.test.cpp diff --git a/verify/CGL_3_B.test.cpp b/geometry/polygon.cgl_3_b.test.cpp similarity index 100% rename from verify/CGL_3_B.test.cpp rename to geometry/polygon.cgl_3_b.test.cpp diff --git a/verify/CGL_3_C.test.cpp b/geometry/polygon.cgl_3_c.test.cpp similarity index 100% rename from verify/CGL_3_C.test.cpp rename to geometry/polygon.cgl_3_c.test.cpp diff --git a/verify/CGL_7_A.test.cpp b/geometry/tangent.cgl_7_a.test.cpp similarity index 100% rename from verify/CGL_7_A.test.cpp rename to geometry/tangent.cgl_7_a.test.cpp diff --git a/verify/CGL_7_G.test.cpp b/geometry/tangent.cgl_7_g.test.cpp similarity index 100% rename from verify/CGL_7_G.test.cpp rename to geometry/tangent.cgl_7_g.test.cpp diff --git a/verify/GRL_3_A.test.cpp b/graph/articulation.grl_3_a.test.cpp similarity index 100% rename from verify/GRL_3_A.test.cpp rename to graph/articulation.grl_3_a.test.cpp diff --git a/verify/GRL_1_B.test.cpp b/graph/bellman.grl_1_b.test.cpp similarity index 100% rename from verify/GRL_1_B.test.cpp rename to graph/bellman.grl_1_b.test.cpp diff --git a/verify/GRL_3_B.test.cpp b/graph/bridge.grl_3_b.test.cpp similarity index 100% rename from verify/GRL_3_B.test.cpp rename to graph/bridge.grl_3_b.test.cpp diff --git a/verify/GRL_1_A.test.cpp b/graph/dijkstra.grl_1_a.test.cpp similarity index 100% rename from verify/GRL_1_A.test.cpp rename to graph/dijkstra.grl_1_a.test.cpp diff --git a/verify/GRL_2_A.test.cpp b/graph/kruskal.grl_2_a.test.cpp similarity index 100% rename from verify/GRL_2_A.test.cpp rename to graph/kruskal.grl_2_a.test.cpp diff --git a/verify/GRL_5_C.test.cpp b/graph/lca.grl_5_c.test.cpp similarity index 100% rename from verify/GRL_5_C.test.cpp rename to graph/lca.grl_5_c.test.cpp diff --git a/verify/GRL_3_C.test.cpp b/graph/scc.grl_3_c.test.cpp similarity index 100% rename from verify/GRL_3_C.test.cpp rename to graph/scc.grl_3_c.test.cpp diff --git a/verify/GRL_4_B.test.cpp b/graph/topologicalsort.grl_4_b.test.cpp similarity index 100% rename from verify/GRL_4_B.test.cpp rename to graph/topologicalsort.grl_4_b.test.cpp From ec9806aad74cbeb4a383dc3c4c5d1445df78e9a8 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Tue, 24 Mar 2026 21:13:41 +0000 Subject: [PATCH 3/3] Fix clang-format violations in test files Co-authored-by: blue-jam <9583566+blue-jam@users.noreply.github.com> Agent-Logs-Url: https://github.com/blue-jam/ProconLibrary/sessions/e3610f7b-c3a8-440f-9e74-a71d30b21fc0 --- geometry/polygon.cgl_3_a.test.cpp | 2 +- geometry/polygon.cgl_3_b.test.cpp | 2 +- geometry/polygon.cgl_3_c.test.cpp | 2 +- geometry/tangent.cgl_7_a.test.cpp | 2 +- geometry/tangent.cgl_7_g.test.cpp | 2 +- graph/kruskal.grl_2_a.test.cpp | 2 +- graph/scc.grl_3_c.test.cpp | 2 +- graph/topologicalsort.grl_4_b.test.cpp | 2 +- 8 files changed, 8 insertions(+), 8 deletions(-) diff --git a/geometry/polygon.cgl_3_a.test.cpp b/geometry/polygon.cgl_3_a.test.cpp index 9e04e36..9847b4d 100644 --- a/geometry/polygon.cgl_3_a.test.cpp +++ b/geometry/polygon.cgl_3_a.test.cpp @@ -1,6 +1,6 @@ #define PROBLEM "https://judge.u-aizu.ac.jp/onlinejudge/description.jsp?id=CGL_3_A" -#include "geometry/geometry.hpp" #include "geometry/polygon.hpp" +#include "geometry/geometry.hpp" #include "misc/template.hpp" int main() { diff --git a/geometry/polygon.cgl_3_b.test.cpp b/geometry/polygon.cgl_3_b.test.cpp index 6415f11..7645101 100644 --- a/geometry/polygon.cgl_3_b.test.cpp +++ b/geometry/polygon.cgl_3_b.test.cpp @@ -1,6 +1,6 @@ #define PROBLEM "https://judge.u-aizu.ac.jp/onlinejudge/description.jsp?id=CGL_3_B" -#include "geometry/geometry.hpp" #include "geometry/polygon.hpp" +#include "geometry/geometry.hpp" #include "misc/template.hpp" int main() { diff --git a/geometry/polygon.cgl_3_c.test.cpp b/geometry/polygon.cgl_3_c.test.cpp index 556e482..483bc93 100644 --- a/geometry/polygon.cgl_3_c.test.cpp +++ b/geometry/polygon.cgl_3_c.test.cpp @@ -1,6 +1,6 @@ #define PROBLEM "https://judge.u-aizu.ac.jp/onlinejudge/description.jsp?id=CGL_3_C" -#include "geometry/geometry.hpp" #include "geometry/polygon.hpp" +#include "geometry/geometry.hpp" #include "misc/template.hpp" int main() { diff --git a/geometry/tangent.cgl_7_a.test.cpp b/geometry/tangent.cgl_7_a.test.cpp index 18681cb..ea2a62a 100644 --- a/geometry/tangent.cgl_7_a.test.cpp +++ b/geometry/tangent.cgl_7_a.test.cpp @@ -1,6 +1,6 @@ #define PROBLEM "https://judge.u-aizu.ac.jp/onlinejudge/description.jsp?id=CGL_7_A" -#include "geometry/geometry.hpp" #include "geometry/tangent.hpp" +#include "geometry/geometry.hpp" #include "misc/template.hpp" int main() { diff --git a/geometry/tangent.cgl_7_g.test.cpp b/geometry/tangent.cgl_7_g.test.cpp index e7d9063..45f47ef 100644 --- a/geometry/tangent.cgl_7_g.test.cpp +++ b/geometry/tangent.cgl_7_g.test.cpp @@ -1,7 +1,7 @@ #define PROBLEM "https://judge.u-aizu.ac.jp/onlinejudge/description.jsp?id=CGL_7_G" #define ERROR 1e-8 -#include "geometry/geometry.hpp" #include "geometry/tangent.hpp" +#include "geometry/geometry.hpp" #include "misc/template.hpp" int main() { diff --git a/graph/kruskal.grl_2_a.test.cpp b/graph/kruskal.grl_2_a.test.cpp index be364c8..35c3ae9 100644 --- a/graph/kruskal.grl_2_a.test.cpp +++ b/graph/kruskal.grl_2_a.test.cpp @@ -1,7 +1,7 @@ #define PROBLEM "https://judge.u-aizu.ac.jp/onlinejudge/description.jsp?id=GRL_2_A" +#include "graph/kruskal.hpp" #include "datastructure/unionfind.hpp" #include "graph/graph.hpp" -#include "graph/kruskal.hpp" #include "misc/template.hpp" int main() { diff --git a/graph/scc.grl_3_c.test.cpp b/graph/scc.grl_3_c.test.cpp index 0433476..61be217 100644 --- a/graph/scc.grl_3_c.test.cpp +++ b/graph/scc.grl_3_c.test.cpp @@ -1,6 +1,6 @@ #define PROBLEM "https://judge.u-aizu.ac.jp/onlinejudge/description.jsp?id=GRL_3_C" -#include "graph/graph.hpp" #include "graph/scc.hpp" +#include "graph/graph.hpp" #include "misc/template.hpp" int main() { diff --git a/graph/topologicalsort.grl_4_b.test.cpp b/graph/topologicalsort.grl_4_b.test.cpp index 6eb6d9d..a116b8e 100644 --- a/graph/topologicalsort.grl_4_b.test.cpp +++ b/graph/topologicalsort.grl_4_b.test.cpp @@ -1,6 +1,6 @@ #define PROBLEM "https://judge.u-aizu.ac.jp/onlinejudge/description.jsp?id=GRL_4_B" -#include "graph/graph.hpp" #include "graph/topologicalsort.hpp" +#include "graph/graph.hpp" #include "misc/template.hpp" int main() {