From bd64c2b8a8f24bc14740bd3ba37fe607a7351887 Mon Sep 17 00:00:00 2001 From: lambda-z-miu <2300012806@stu.pku.edu.cn> Date: Fri, 28 Nov 2025 21:52:48 +0800 Subject: [PATCH 1/3] submit --- .../00 \345\274\240\344\270\211/placeholder" | 0 .../src/placeholder" | 0 .../\347\255\224\350\276\251.pdf" | 0 .../src/checker/Makefile" | 10 + .../src/checker/README.md" | 8 + .../src/checker/checker" | Bin 0 -> 327168 bytes .../src/checker/checker.cc" | 189 + .../src/checker/example/infile.txt" | 3 + .../src/checker/example/outfile.txt" | 6 + .../src/checker/testlib.h" | 6299 +++++++++++++++++ .../src/solver/DESIGN.md" | 98 + .../solver/__pycache__/main.cpython-312.pyc" | Bin 0 -> 11047 bytes .../src/solver/compare_planner_main.sh" | 111 + .../src/solver/main.cpp" | 345 + .../src/solver/main.py" | 222 + .../src/solver/planner" | Bin 0 -> 77368 bytes .../src/solver/run_suite.sh" | 55 + .../src/solver/tests/README.md" | 14 + .../src/solver/tests/example1.in" | 4 + .../src/solver/tests/example1.out" | 6 + .../solver/tests/example1.out.planner_tmp" | 6 + .../src/solver/tests/example1.out.smt_tmp" | 6 + .../src/solver/tests/example2.in" | 4 + .../src/solver/tests/example2.out" | 8 + .../solver/tests/example2.out.planner_tmp" | 8 + .../src/solver/tests/example2.out.smt_tmp" | 9 + .../src/solver/tests/example3.in" | 4 + .../src/solver/tests/example3.out" | 6 + .../solver/tests/example3.out.planner_tmp" | 6 + .../src/solver/tests/example3.out.smt_tmp" | 8 + .../src/solver/tests/fragmented_segments.in" | 13 + .../src/solver/tests/fragmented_segments.out" | 34 + .../src/solver/tests/long_trace.in" | 121 + .../src/solver/tests/long_trace.out" | 400 ++ .../src/solver/tests/mega_multiseg.in" | 1261 ++++ .../src/solver/tests/mega_multiseg.out" | 4989 +++++++++++++ .../tests/mega_multiseg.out.planner_tmp" | 4989 +++++++++++++ .../src/solver/tests/memory_churn.in" | 17 + .../src/solver/tests/memory_churn.out" | 56 + .../src/solver/tests/planner_summary.txt" | 1 + .../src/solver/tests/proactive_offload..out" | 13 + .../src/solver/tests/proactive_offload.in" | 7 + .../src/solver/tests/proactive_offload.out" | 13 + .../tests/proactive_offload.out.planner_tmp" | 15 + .../tests/proactive_offload.out.smt_tmp" | 13 + .../src/solver/tests/smt_summary.txt" | 1 + .../src/solver/tests/summary.txt" | 8 + ...4\345\210\222\346\261\202\350\247\243.pdf" | Bin 0 -> 537439 bytes 48 files changed, 19386 insertions(+) delete mode 100644 "2025/work/00 \345\274\240\344\270\211/placeholder" delete mode 100644 "2025/work/00 \345\274\240\344\270\211/src/placeholder" delete mode 100644 "2025/work/00 \345\274\240\344\270\211/\347\255\224\350\276\251.pdf" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/checker/Makefile" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/checker/README.md" create mode 100755 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/checker/checker" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/checker/checker.cc" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/checker/example/infile.txt" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/checker/example/outfile.txt" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/checker/testlib.h" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/solver/DESIGN.md" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/solver/__pycache__/main.cpython-312.pyc" create mode 100755 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/solver/compare_planner_main.sh" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/solver/main.cpp" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/solver/main.py" create mode 100755 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/solver/planner" create mode 100755 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/solver/run_suite.sh" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/solver/tests/README.md" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/solver/tests/example1.in" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/solver/tests/example1.out" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/solver/tests/example1.out.planner_tmp" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/solver/tests/example1.out.smt_tmp" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/solver/tests/example2.in" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/solver/tests/example2.out" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/solver/tests/example2.out.planner_tmp" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/solver/tests/example2.out.smt_tmp" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/solver/tests/example3.in" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/solver/tests/example3.out" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/solver/tests/example3.out.planner_tmp" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/solver/tests/example3.out.smt_tmp" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/solver/tests/fragmented_segments.in" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/solver/tests/fragmented_segments.out" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/solver/tests/long_trace.in" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/solver/tests/long_trace.out" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/solver/tests/mega_multiseg.in" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/solver/tests/mega_multiseg.out" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/solver/tests/mega_multiseg.out.planner_tmp" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/solver/tests/memory_churn.in" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/solver/tests/memory_churn.out" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/solver/tests/planner_summary.txt" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/solver/tests/proactive_offload..out" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/solver/tests/proactive_offload.in" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/solver/tests/proactive_offload.out" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/solver/tests/proactive_offload.out.planner_tmp" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/solver/tests/proactive_offload.out.smt_tmp" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/solver/tests/smt_summary.txt" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/src/solver/tests/summary.txt" create mode 100644 "2025/work/08 \344\275\225\346\242\223\346\272\220/\345\244\247\346\250\241\345\236\213\350\256\255\346\216\250\345\205\250\345\261\200\345\206\205\345\255\230\350\247\204\345\210\222\346\261\202\350\247\243.pdf" diff --git "a/2025/work/00 \345\274\240\344\270\211/placeholder" "b/2025/work/00 \345\274\240\344\270\211/placeholder" deleted file mode 100644 index e69de29..0000000 diff --git "a/2025/work/00 \345\274\240\344\270\211/src/placeholder" "b/2025/work/00 \345\274\240\344\270\211/src/placeholder" deleted file mode 100644 index e69de29..0000000 diff --git "a/2025/work/00 \345\274\240\344\270\211/\347\255\224\350\276\251.pdf" "b/2025/work/00 \345\274\240\344\270\211/\347\255\224\350\276\251.pdf" deleted file mode 100644 index e69de29..0000000 diff --git "a/2025/work/08 \344\275\225\346\242\223\346\272\220/src/checker/Makefile" "b/2025/work/08 \344\275\225\346\242\223\346\272\220/src/checker/Makefile" new file mode 100644 index 0000000..afb1b94 --- /dev/null +++ "b/2025/work/08 \344\275\225\346\242\223\346\272\220/src/checker/Makefile" @@ -0,0 +1,10 @@ +TARGET := checker +SRC := checker.cc + +all: $(TARGET) + +$(TARGET): $(SRC) + g++ -O2 -o $@ $< + +clean: + rm -f $(TARGET) diff --git "a/2025/work/08 \344\275\225\346\242\223\346\272\220/src/checker/README.md" "b/2025/work/08 \344\275\225\346\242\223\346\272\220/src/checker/README.md" new file mode 100644 index 0000000..f4ac0a7 --- /dev/null +++ "b/2025/work/08 \344\275\225\346\242\223\346\272\220/src/checker/README.md" @@ -0,0 +1,8 @@ +## Build +Just `make` + +## Run Example + +`./checker example/infile.txt example/outfile.txt example/outfile.txt` + +Where `infile.txt` is the input file, `outfile.txt` is your output file. diff --git "a/2025/work/08 \344\275\225\346\242\223\346\272\220/src/checker/checker" "b/2025/work/08 \344\275\225\346\242\223\346\272\220/src/checker/checker" new file mode 100755 index 0000000000000000000000000000000000000000..4d985a265611649bbd8e75a6ca98e369e2ed10df GIT binary patch literal 327168 zcmeEv3s_Xu`uCuqqp34lDP1L_!b}4bgVY3t+*3o5VtL9!yPiVZ85f9Kq)0f zrmErY9wNaA?UJu2Ldq9Sk#52>1Z*=xLqiHpO(c^g$eb()BeXdMP5GiInki^C9JWg+ zYJ}E&yu5g+s1oMw7V?bHnvZOw4HVj{A(MJdKTDX~$VXc6e5c8LO6ZjKG(y9k#7+N_ zq?&3Nk2Lxip_;Ey=2OEokH7&CfgdCAC8JOk+! zgMZ{xldqa)L$fpxCe3K;Q6*?Y9;KZu(~19YApBfszOd(J;*6Y-GV zl!tieL-J&kbNWPldnDGIkSeF76Tk(%R zi$q|%4PljxFGpC7e=mQZm$m5C$R7tBIlN=e1Fw$w>lvl>$%lMrWHi6uQubD_OUrBA zr?=#9pI0y~$9e4Ls&f{{&vc%$y5FS0_(vAUoq6XON4|P$t`ylN*pK!d*afxOdZRMk z;od&o<8d%lclNz5ssF9X=Kf(jDGEjQ$t&?VjHrrrgdj_L+nZ z+g-Vhuw{4nmN4?m!syu;re1N5?&ZH4M$VtY)Hf-NoUg;+*M_NYSs4E8Fm@pS?#@0x zhLN)lVR~=#a2Zw3*Z^GFB zrZ9H!h3OaPhVjF#ScG)fzjlQ2tLMYiYf~6IzZRyxXNT!8SD{09r_bOpcBl>0?mvdn zrzH%3L74WP5Jvx`F#LZH(~jqd>0gmy4LZ z7(Yo2qtBc$`oJA*G3sCr`h_slTW5f98>@fEKDoi^@gsIp1F#WDyn0oDoJ-eHy z0C!v83&Y_1!}&v)ev}qQpNqn@<2Ue!vu)9~thzM-` z;pZf$O3HCk!{YOy=x0$l8sh&~s+1Z}LvXTYabMuR5dkVAj%gRd1g6x-MXXjQ{CL|<`nw3*tlnYJDii&5u za;JI{5^@W3%CbFWIYpjwS8n>$9DJoGXJ=&Rl$RIHE>53v<;JTx<@sgvp(ea6w=yStc12EEUUp9IEfqy&WTrpRZj%zyua=E|<$vDl zW6CRLp*3JPln&2K&Ym(0{*|AfT~rKJJ=rK<=aZ#vEVy