From 26da267b732e28e4d9697278e735b410e50e5e08 Mon Sep 17 00:00:00 2001 From: Richard Qin Date: Thu, 2 Apr 2026 04:10:53 +0800 Subject: Initial commit: Build project architecture, define interfaces, write documentation, with the help of Claude --- .cache/clangd/index/clausifier.cpp.9FD5A8E503FCC1D9.idx | Bin 0 -> 512 bytes .cache/clangd/index/discrim_tree.cpp.E42DE863D5277544.idx | Bin 0 -> 514 bytes .cache/clangd/index/main.cpp.E859CA8999ADDE12.idx | Bin 0 -> 498 bytes .cache/clangd/index/proof_trace.cpp.1C59D7C4E2AA6F75.idx | Bin 0 -> 510 bytes .cache/clangd/index/prover.cpp.3C0A611D8081F4D2.idx | Bin 0 -> 510 bytes .cache/clangd/index/resolution.cpp.DB2A5A3C44A70C4B.idx | Bin 0 -> 512 bytes .cache/clangd/index/subsumption.cpp.6D5F5B98AE9124E8.idx | Bin 0 -> 514 bytes .cache/clangd/index/symbol_table.cpp.685747B6B16C64EF.idx | Bin 0 -> 512 bytes .cache/clangd/index/term_bank.cpp.943AA1306E763CC8.idx | Bin 0 -> 510 bytes .../clangd/index/test_clausifier.cpp.FF3EDB07B9DFBBC1.idx | Bin 0 -> 542 bytes .../index/test_discrim_tree.cpp.9508FB8B5A477D10.idx | Bin 0 -> 544 bytes .cache/clangd/index/test_prover.cpp.604919AAC374F32C.idx | Bin 0 -> 538 bytes .../clangd/index/test_resolution.cpp.E785AA54A14F55A5.idx | Bin 0 -> 542 bytes .../clangd/index/test_term_bank.cpp.50AF7E4F3359B770.idx | Bin 0 -> 542 bytes .../index/test_unification.cpp.BA63AEE14AACBCCC.idx | Bin 0 -> 542 bytes .cache/clangd/index/tptp_parser.cpp.50E69F3F47D54605.idx | Bin 0 -> 514 bytes .cache/clangd/index/unification.cpp.FAE8F2832CAC7DB0.idx | Bin 0 -> 512 bytes 17 files changed, 0 insertions(+), 0 deletions(-) create mode 100644 .cache/clangd/index/clausifier.cpp.9FD5A8E503FCC1D9.idx create mode 100644 .cache/clangd/index/discrim_tree.cpp.E42DE863D5277544.idx create mode 100644 .cache/clangd/index/main.cpp.E859CA8999ADDE12.idx create mode 100644 .cache/clangd/index/proof_trace.cpp.1C59D7C4E2AA6F75.idx create mode 100644 .cache/clangd/index/prover.cpp.3C0A611D8081F4D2.idx create mode 100644 .cache/clangd/index/resolution.cpp.DB2A5A3C44A70C4B.idx create mode 100644 .cache/clangd/index/subsumption.cpp.6D5F5B98AE9124E8.idx create mode 100644 .cache/clangd/index/symbol_table.cpp.685747B6B16C64EF.idx create mode 100644 .cache/clangd/index/term_bank.cpp.943AA1306E763CC8.idx create mode 100644 .cache/clangd/index/test_clausifier.cpp.FF3EDB07B9DFBBC1.idx create mode 100644 .cache/clangd/index/test_discrim_tree.cpp.9508FB8B5A477D10.idx create mode 100644 .cache/clangd/index/test_prover.cpp.604919AAC374F32C.idx create mode 100644 .cache/clangd/index/test_resolution.cpp.E785AA54A14F55A5.idx create mode 100644 .cache/clangd/index/test_term_bank.cpp.50AF7E4F3359B770.idx create mode 100644 .cache/clangd/index/test_unification.cpp.BA63AEE14AACBCCC.idx create mode 100644 .cache/clangd/index/tptp_parser.cpp.50E69F3F47D54605.idx create mode 100644 .cache/clangd/index/unification.cpp.FAE8F2832CAC7DB0.idx (limited to '.cache') diff --git a/.cache/clangd/index/clausifier.cpp.9FD5A8E503FCC1D9.idx b/.cache/clangd/index/clausifier.cpp.9FD5A8E503FCC1D9.idx new file mode 100644 index 0000000..2e9fe48 Binary files /dev/null and b/.cache/clangd/index/clausifier.cpp.9FD5A8E503FCC1D9.idx differ diff --git a/.cache/clangd/index/discrim_tree.cpp.E42DE863D5277544.idx b/.cache/clangd/index/discrim_tree.cpp.E42DE863D5277544.idx new file mode 100644 index 0000000..8e446d8 Binary files /dev/null and b/.cache/clangd/index/discrim_tree.cpp.E42DE863D5277544.idx differ diff --git a/.cache/clangd/index/main.cpp.E859CA8999ADDE12.idx b/.cache/clangd/index/main.cpp.E859CA8999ADDE12.idx new file mode 100644 index 0000000..0b3849a Binary files /dev/null and b/.cache/clangd/index/main.cpp.E859CA8999ADDE12.idx differ diff --git a/.cache/clangd/index/proof_trace.cpp.1C59D7C4E2AA6F75.idx b/.cache/clangd/index/proof_trace.cpp.1C59D7C4E2AA6F75.idx new file mode 100644 index 0000000..6676913 Binary files /dev/null and b/.cache/clangd/index/proof_trace.cpp.1C59D7C4E2AA6F75.idx differ diff --git a/.cache/clangd/index/prover.cpp.3C0A611D8081F4D2.idx b/.cache/clangd/index/prover.cpp.3C0A611D8081F4D2.idx new file mode 100644 index 0000000..bbf1235 Binary files /dev/null and b/.cache/clangd/index/prover.cpp.3C0A611D8081F4D2.idx differ diff --git a/.cache/clangd/index/resolution.cpp.DB2A5A3C44A70C4B.idx b/.cache/clangd/index/resolution.cpp.DB2A5A3C44A70C4B.idx new file mode 100644 index 0000000..7d4a0b7 Binary files /dev/null and b/.cache/clangd/index/resolution.cpp.DB2A5A3C44A70C4B.idx differ diff --git a/.cache/clangd/index/subsumption.cpp.6D5F5B98AE9124E8.idx b/.cache/clangd/index/subsumption.cpp.6D5F5B98AE9124E8.idx new file mode 100644 index 0000000..e919d99 Binary files /dev/null and b/.cache/clangd/index/subsumption.cpp.6D5F5B98AE9124E8.idx differ diff --git a/.cache/clangd/index/symbol_table.cpp.685747B6B16C64EF.idx b/.cache/clangd/index/symbol_table.cpp.685747B6B16C64EF.idx new file mode 100644 index 0000000..8be6d25 Binary files /dev/null and b/.cache/clangd/index/symbol_table.cpp.685747B6B16C64EF.idx differ diff --git a/.cache/clangd/index/term_bank.cpp.943AA1306E763CC8.idx b/.cache/clangd/index/term_bank.cpp.943AA1306E763CC8.idx new file mode 100644 index 0000000..d452e77 Binary files /dev/null and b/.cache/clangd/index/term_bank.cpp.943AA1306E763CC8.idx differ diff --git a/.cache/clangd/index/test_clausifier.cpp.FF3EDB07B9DFBBC1.idx b/.cache/clangd/index/test_clausifier.cpp.FF3EDB07B9DFBBC1.idx new file mode 100644 index 0000000..34f30e6 Binary files /dev/null and b/.cache/clangd/index/test_clausifier.cpp.FF3EDB07B9DFBBC1.idx differ diff --git a/.cache/clangd/index/test_discrim_tree.cpp.9508FB8B5A477D10.idx b/.cache/clangd/index/test_discrim_tree.cpp.9508FB8B5A477D10.idx new file mode 100644 index 0000000..acdacd0 Binary files /dev/null and b/.cache/clangd/index/test_discrim_tree.cpp.9508FB8B5A477D10.idx differ diff --git a/.cache/clangd/index/test_prover.cpp.604919AAC374F32C.idx b/.cache/clangd/index/test_prover.cpp.604919AAC374F32C.idx new file mode 100644 index 0000000..f51c118 Binary files /dev/null and b/.cache/clangd/index/test_prover.cpp.604919AAC374F32C.idx differ diff --git a/.cache/clangd/index/test_resolution.cpp.E785AA54A14F55A5.idx b/.cache/clangd/index/test_resolution.cpp.E785AA54A14F55A5.idx new file mode 100644 index 0000000..4787177 Binary files /dev/null and b/.cache/clangd/index/test_resolution.cpp.E785AA54A14F55A5.idx differ diff --git a/.cache/clangd/index/test_term_bank.cpp.50AF7E4F3359B770.idx b/.cache/clangd/index/test_term_bank.cpp.50AF7E4F3359B770.idx new file mode 100644 index 0000000..a7b87e9 Binary files /dev/null and b/.cache/clangd/index/test_term_bank.cpp.50AF7E4F3359B770.idx differ diff --git a/.cache/clangd/index/test_unification.cpp.BA63AEE14AACBCCC.idx b/.cache/clangd/index/test_unification.cpp.BA63AEE14AACBCCC.idx new file mode 100644 index 0000000..17d690c Binary files /dev/null and b/.cache/clangd/index/test_unification.cpp.BA63AEE14AACBCCC.idx differ diff --git a/.cache/clangd/index/tptp_parser.cpp.50E69F3F47D54605.idx b/.cache/clangd/index/tptp_parser.cpp.50E69F3F47D54605.idx new file mode 100644 index 0000000..2c65a2f Binary files /dev/null and b/.cache/clangd/index/tptp_parser.cpp.50E69F3F47D54605.idx differ diff --git a/.cache/clangd/index/unification.cpp.FAE8F2832CAC7DB0.idx b/.cache/clangd/index/unification.cpp.FAE8F2832CAC7DB0.idx new file mode 100644 index 0000000..ed348bb Binary files /dev/null and b/.cache/clangd/index/unification.cpp.FAE8F2832CAC7DB0.idx differ -- cgit v1.2.3