From 1e35f078fe5ace02b22e6f4ba89f57ba4a58b8c9 Mon Sep 17 00:00:00 2001 From: Richard Qin Date: Fri, 3 Apr 2026 02:45:01 +0800 Subject: fix: remove files that should be ignored --- .cache/clangd/index/clausifier.cpp.9FD5A8E503FCC1D9.idx | Bin 512 -> 0 bytes .cache/clangd/index/discrim_tree.cpp.E42DE863D5277544.idx | Bin 514 -> 0 bytes .cache/clangd/index/main.cpp.E859CA8999ADDE12.idx | Bin 498 -> 0 bytes .cache/clangd/index/proof_trace.cpp.1C59D7C4E2AA6F75.idx | Bin 510 -> 0 bytes .cache/clangd/index/prover.cpp.3C0A611D8081F4D2.idx | Bin 510 -> 0 bytes .cache/clangd/index/resolution.cpp.DB2A5A3C44A70C4B.idx | Bin 512 -> 0 bytes .cache/clangd/index/subsumption.cpp.6D5F5B98AE9124E8.idx | Bin 514 -> 0 bytes .cache/clangd/index/symbol_table.cpp.685747B6B16C64EF.idx | Bin 512 -> 0 bytes .cache/clangd/index/term_bank.cpp.943AA1306E763CC8.idx | Bin 510 -> 0 bytes .../clangd/index/test_clausifier.cpp.FF3EDB07B9DFBBC1.idx | Bin 542 -> 0 bytes .../index/test_discrim_tree.cpp.9508FB8B5A477D10.idx | Bin 544 -> 0 bytes .cache/clangd/index/test_prover.cpp.604919AAC374F32C.idx | Bin 538 -> 0 bytes .../clangd/index/test_resolution.cpp.E785AA54A14F55A5.idx | Bin 542 -> 0 bytes .../clangd/index/test_term_bank.cpp.50AF7E4F3359B770.idx | Bin 542 -> 0 bytes .../index/test_unification.cpp.BA63AEE14AACBCCC.idx | Bin 542 -> 0 bytes .cache/clangd/index/tptp_parser.cpp.50E69F3F47D54605.idx | Bin 514 -> 0 bytes .cache/clangd/index/unification.cpp.FAE8F2832CAC7DB0.idx | Bin 512 -> 0 bytes 17 files changed, 0 insertions(+), 0 deletions(-) delete mode 100644 .cache/clangd/index/clausifier.cpp.9FD5A8E503FCC1D9.idx delete mode 100644 .cache/clangd/index/discrim_tree.cpp.E42DE863D5277544.idx delete mode 100644 .cache/clangd/index/main.cpp.E859CA8999ADDE12.idx delete mode 100644 .cache/clangd/index/proof_trace.cpp.1C59D7C4E2AA6F75.idx delete mode 100644 .cache/clangd/index/prover.cpp.3C0A611D8081F4D2.idx delete mode 100644 .cache/clangd/index/resolution.cpp.DB2A5A3C44A70C4B.idx delete mode 100644 .cache/clangd/index/subsumption.cpp.6D5F5B98AE9124E8.idx delete mode 100644 .cache/clangd/index/symbol_table.cpp.685747B6B16C64EF.idx delete mode 100644 .cache/clangd/index/term_bank.cpp.943AA1306E763CC8.idx delete mode 100644 .cache/clangd/index/test_clausifier.cpp.FF3EDB07B9DFBBC1.idx delete mode 100644 .cache/clangd/index/test_discrim_tree.cpp.9508FB8B5A477D10.idx delete mode 100644 .cache/clangd/index/test_prover.cpp.604919AAC374F32C.idx delete mode 100644 .cache/clangd/index/test_resolution.cpp.E785AA54A14F55A5.idx delete mode 100644 .cache/clangd/index/test_term_bank.cpp.50AF7E4F3359B770.idx delete mode 100644 .cache/clangd/index/test_unification.cpp.BA63AEE14AACBCCC.idx delete mode 100644 .cache/clangd/index/tptp_parser.cpp.50E69F3F47D54605.idx delete mode 100644 .cache/clangd/index/unification.cpp.FAE8F2832CAC7DB0.idx diff --git a/.cache/clangd/index/clausifier.cpp.9FD5A8E503FCC1D9.idx b/.cache/clangd/index/clausifier.cpp.9FD5A8E503FCC1D9.idx deleted file mode 100644 index 2e9fe48..0000000 Binary files a/.cache/clangd/index/clausifier.cpp.9FD5A8E503FCC1D9.idx and /dev/null differ diff --git a/.cache/clangd/index/discrim_tree.cpp.E42DE863D5277544.idx b/.cache/clangd/index/discrim_tree.cpp.E42DE863D5277544.idx deleted file mode 100644 index 8e446d8..0000000 Binary files a/.cache/clangd/index/discrim_tree.cpp.E42DE863D5277544.idx and /dev/null differ diff --git a/.cache/clangd/index/main.cpp.E859CA8999ADDE12.idx b/.cache/clangd/index/main.cpp.E859CA8999ADDE12.idx deleted file mode 100644 index 0b3849a..0000000 Binary files a/.cache/clangd/index/main.cpp.E859CA8999ADDE12.idx and /dev/null differ diff --git a/.cache/clangd/index/proof_trace.cpp.1C59D7C4E2AA6F75.idx b/.cache/clangd/index/proof_trace.cpp.1C59D7C4E2AA6F75.idx deleted file mode 100644 index 6676913..0000000 Binary files a/.cache/clangd/index/proof_trace.cpp.1C59D7C4E2AA6F75.idx and /dev/null differ diff --git a/.cache/clangd/index/prover.cpp.3C0A611D8081F4D2.idx b/.cache/clangd/index/prover.cpp.3C0A611D8081F4D2.idx deleted file mode 100644 index bbf1235..0000000 Binary files a/.cache/clangd/index/prover.cpp.3C0A611D8081F4D2.idx and /dev/null differ diff --git a/.cache/clangd/index/resolution.cpp.DB2A5A3C44A70C4B.idx b/.cache/clangd/index/resolution.cpp.DB2A5A3C44A70C4B.idx deleted file mode 100644 index 7d4a0b7..0000000 Binary files a/.cache/clangd/index/resolution.cpp.DB2A5A3C44A70C4B.idx and /dev/null differ diff --git a/.cache/clangd/index/subsumption.cpp.6D5F5B98AE9124E8.idx b/.cache/clangd/index/subsumption.cpp.6D5F5B98AE9124E8.idx deleted file mode 100644 index e919d99..0000000 Binary files a/.cache/clangd/index/subsumption.cpp.6D5F5B98AE9124E8.idx and /dev/null differ diff --git a/.cache/clangd/index/symbol_table.cpp.685747B6B16C64EF.idx b/.cache/clangd/index/symbol_table.cpp.685747B6B16C64EF.idx deleted file mode 100644 index 8be6d25..0000000 Binary files a/.cache/clangd/index/symbol_table.cpp.685747B6B16C64EF.idx and /dev/null differ diff --git a/.cache/clangd/index/term_bank.cpp.943AA1306E763CC8.idx b/.cache/clangd/index/term_bank.cpp.943AA1306E763CC8.idx deleted file mode 100644 index d452e77..0000000 Binary files a/.cache/clangd/index/term_bank.cpp.943AA1306E763CC8.idx and /dev/null differ diff --git a/.cache/clangd/index/test_clausifier.cpp.FF3EDB07B9DFBBC1.idx b/.cache/clangd/index/test_clausifier.cpp.FF3EDB07B9DFBBC1.idx deleted file mode 100644 index 34f30e6..0000000 Binary files a/.cache/clangd/index/test_clausifier.cpp.FF3EDB07B9DFBBC1.idx and /dev/null differ diff --git a/.cache/clangd/index/test_discrim_tree.cpp.9508FB8B5A477D10.idx b/.cache/clangd/index/test_discrim_tree.cpp.9508FB8B5A477D10.idx deleted file mode 100644 index acdacd0..0000000 Binary files a/.cache/clangd/index/test_discrim_tree.cpp.9508FB8B5A477D10.idx and /dev/null differ diff --git a/.cache/clangd/index/test_prover.cpp.604919AAC374F32C.idx b/.cache/clangd/index/test_prover.cpp.604919AAC374F32C.idx deleted file mode 100644 index f51c118..0000000 Binary files a/.cache/clangd/index/test_prover.cpp.604919AAC374F32C.idx and /dev/null differ diff --git a/.cache/clangd/index/test_resolution.cpp.E785AA54A14F55A5.idx b/.cache/clangd/index/test_resolution.cpp.E785AA54A14F55A5.idx deleted file mode 100644 index 4787177..0000000 Binary files a/.cache/clangd/index/test_resolution.cpp.E785AA54A14F55A5.idx and /dev/null differ diff --git a/.cache/clangd/index/test_term_bank.cpp.50AF7E4F3359B770.idx b/.cache/clangd/index/test_term_bank.cpp.50AF7E4F3359B770.idx deleted file mode 100644 index a7b87e9..0000000 Binary files a/.cache/clangd/index/test_term_bank.cpp.50AF7E4F3359B770.idx and /dev/null differ diff --git a/.cache/clangd/index/test_unification.cpp.BA63AEE14AACBCCC.idx b/.cache/clangd/index/test_unification.cpp.BA63AEE14AACBCCC.idx deleted file mode 100644 index 17d690c..0000000 Binary files a/.cache/clangd/index/test_unification.cpp.BA63AEE14AACBCCC.idx and /dev/null differ diff --git a/.cache/clangd/index/tptp_parser.cpp.50E69F3F47D54605.idx b/.cache/clangd/index/tptp_parser.cpp.50E69F3F47D54605.idx deleted file mode 100644 index 2c65a2f..0000000 Binary files a/.cache/clangd/index/tptp_parser.cpp.50E69F3F47D54605.idx and /dev/null differ diff --git a/.cache/clangd/index/unification.cpp.FAE8F2832CAC7DB0.idx b/.cache/clangd/index/unification.cpp.FAE8F2832CAC7DB0.idx deleted file mode 100644 index ed348bb..0000000 Binary files a/.cache/clangd/index/unification.cpp.FAE8F2832CAC7DB0.idx and /dev/null differ -- cgit v1.2.3