diff options
| author | Richard Qin <richard.qin.x@gmail.com> | 2026-04-02 04:10:53 +0800 |
|---|---|---|
| committer | Richard Qin <richard.qin.x@gmail.com> | 2026-04-02 04:10:53 +0800 |
| commit | cc440e2674697afc967e081cf91e03f149333502 (patch) | |
| tree | 6ad787ea9fbcc716378fbc5bac16122a566f1650 /proofsearch/.cache/clangd | |
| download | rcc-project-cc440e2674697afc967e081cf91e03f149333502.tar.gz rcc-project-cc440e2674697afc967e081cf91e03f149333502.tar.xz | |
Initial commit: Build project architecture, define interfaces, write documentation, with the help of Claude
Diffstat (limited to 'proofsearch/.cache/clangd')
17 files changed, 0 insertions, 0 deletions
diff --git a/proofsearch/.cache/clangd/index/clausifier.cpp.9FD5A8E503FCC1D9.idx b/proofsearch/.cache/clangd/index/clausifier.cpp.9FD5A8E503FCC1D9.idx Binary files differnew file mode 100644 index 0000000..2e9fe48 --- /dev/null +++ b/proofsearch/.cache/clangd/index/clausifier.cpp.9FD5A8E503FCC1D9.idx diff --git a/proofsearch/.cache/clangd/index/discrim_tree.cpp.E42DE863D5277544.idx b/proofsearch/.cache/clangd/index/discrim_tree.cpp.E42DE863D5277544.idx Binary files differnew file mode 100644 index 0000000..8e446d8 --- /dev/null +++ b/proofsearch/.cache/clangd/index/discrim_tree.cpp.E42DE863D5277544.idx diff --git a/proofsearch/.cache/clangd/index/main.cpp.E859CA8999ADDE12.idx b/proofsearch/.cache/clangd/index/main.cpp.E859CA8999ADDE12.idx Binary files differnew file mode 100644 index 0000000..0b3849a --- /dev/null +++ b/proofsearch/.cache/clangd/index/main.cpp.E859CA8999ADDE12.idx diff --git a/proofsearch/.cache/clangd/index/proof_trace.cpp.1C59D7C4E2AA6F75.idx b/proofsearch/.cache/clangd/index/proof_trace.cpp.1C59D7C4E2AA6F75.idx Binary files differnew file mode 100644 index 0000000..6676913 --- /dev/null +++ b/proofsearch/.cache/clangd/index/proof_trace.cpp.1C59D7C4E2AA6F75.idx diff --git a/proofsearch/.cache/clangd/index/prover.cpp.3C0A611D8081F4D2.idx b/proofsearch/.cache/clangd/index/prover.cpp.3C0A611D8081F4D2.idx Binary files differnew file mode 100644 index 0000000..bbf1235 --- /dev/null +++ b/proofsearch/.cache/clangd/index/prover.cpp.3C0A611D8081F4D2.idx diff --git a/proofsearch/.cache/clangd/index/resolution.cpp.DB2A5A3C44A70C4B.idx b/proofsearch/.cache/clangd/index/resolution.cpp.DB2A5A3C44A70C4B.idx Binary files differnew file mode 100644 index 0000000..7d4a0b7 --- /dev/null +++ b/proofsearch/.cache/clangd/index/resolution.cpp.DB2A5A3C44A70C4B.idx diff --git a/proofsearch/.cache/clangd/index/subsumption.cpp.6D5F5B98AE9124E8.idx b/proofsearch/.cache/clangd/index/subsumption.cpp.6D5F5B98AE9124E8.idx Binary files differnew file mode 100644 index 0000000..e919d99 --- /dev/null +++ b/proofsearch/.cache/clangd/index/subsumption.cpp.6D5F5B98AE9124E8.idx diff --git a/proofsearch/.cache/clangd/index/symbol_table.cpp.685747B6B16C64EF.idx b/proofsearch/.cache/clangd/index/symbol_table.cpp.685747B6B16C64EF.idx Binary files differnew file mode 100644 index 0000000..8be6d25 --- /dev/null +++ b/proofsearch/.cache/clangd/index/symbol_table.cpp.685747B6B16C64EF.idx diff --git a/proofsearch/.cache/clangd/index/term_bank.cpp.943AA1306E763CC8.idx b/proofsearch/.cache/clangd/index/term_bank.cpp.943AA1306E763CC8.idx Binary files differnew file mode 100644 index 0000000..d452e77 --- /dev/null +++ b/proofsearch/.cache/clangd/index/term_bank.cpp.943AA1306E763CC8.idx diff --git a/proofsearch/.cache/clangd/index/test_clausifier.cpp.FF3EDB07B9DFBBC1.idx b/proofsearch/.cache/clangd/index/test_clausifier.cpp.FF3EDB07B9DFBBC1.idx Binary files differnew file mode 100644 index 0000000..34f30e6 --- /dev/null +++ b/proofsearch/.cache/clangd/index/test_clausifier.cpp.FF3EDB07B9DFBBC1.idx diff --git a/proofsearch/.cache/clangd/index/test_discrim_tree.cpp.9508FB8B5A477D10.idx b/proofsearch/.cache/clangd/index/test_discrim_tree.cpp.9508FB8B5A477D10.idx Binary files differnew file mode 100644 index 0000000..acdacd0 --- /dev/null +++ b/proofsearch/.cache/clangd/index/test_discrim_tree.cpp.9508FB8B5A477D10.idx diff --git a/proofsearch/.cache/clangd/index/test_prover.cpp.604919AAC374F32C.idx b/proofsearch/.cache/clangd/index/test_prover.cpp.604919AAC374F32C.idx Binary files differnew file mode 100644 index 0000000..f51c118 --- /dev/null +++ b/proofsearch/.cache/clangd/index/test_prover.cpp.604919AAC374F32C.idx diff --git a/proofsearch/.cache/clangd/index/test_resolution.cpp.E785AA54A14F55A5.idx b/proofsearch/.cache/clangd/index/test_resolution.cpp.E785AA54A14F55A5.idx Binary files differnew file mode 100644 index 0000000..4787177 --- /dev/null +++ b/proofsearch/.cache/clangd/index/test_resolution.cpp.E785AA54A14F55A5.idx diff --git a/proofsearch/.cache/clangd/index/test_term_bank.cpp.50AF7E4F3359B770.idx b/proofsearch/.cache/clangd/index/test_term_bank.cpp.50AF7E4F3359B770.idx Binary files differnew file mode 100644 index 0000000..a7b87e9 --- /dev/null +++ b/proofsearch/.cache/clangd/index/test_term_bank.cpp.50AF7E4F3359B770.idx diff --git a/proofsearch/.cache/clangd/index/test_unification.cpp.BA63AEE14AACBCCC.idx b/proofsearch/.cache/clangd/index/test_unification.cpp.BA63AEE14AACBCCC.idx Binary files differnew file mode 100644 index 0000000..17d690c --- /dev/null +++ b/proofsearch/.cache/clangd/index/test_unification.cpp.BA63AEE14AACBCCC.idx diff --git a/proofsearch/.cache/clangd/index/tptp_parser.cpp.50E69F3F47D54605.idx b/proofsearch/.cache/clangd/index/tptp_parser.cpp.50E69F3F47D54605.idx Binary files differnew file mode 100644 index 0000000..2c65a2f --- /dev/null +++ b/proofsearch/.cache/clangd/index/tptp_parser.cpp.50E69F3F47D54605.idx diff --git a/proofsearch/.cache/clangd/index/unification.cpp.FAE8F2832CAC7DB0.idx b/proofsearch/.cache/clangd/index/unification.cpp.FAE8F2832CAC7DB0.idx Binary files differnew file mode 100644 index 0000000..ed348bb --- /dev/null +++ b/proofsearch/.cache/clangd/index/unification.cpp.FAE8F2832CAC7DB0.idx |