rcc-project/proofsearch/src, branch master A collection of projects, including a C compiler, binutils, a memory allocator, an automated theorem prover, and a web browser. https://git.richardqin.org/rcc-project/atom?h=master 2026-04-07T19:23:16Z feat: enhance clang-tidy configuration and improve code quality across multiple files 2026-04-07T19:23:16Z Richard Qin richard.qin.x@gmail.com 2026-04-07T19:23:16Z urn:sha1:a26a9311ed6cc34860092252d1750428b741b116 refactor: rename struct members to follow trailing underscore naming convention across core, search, and frontend components 2026-04-06T19:59:58Z Richard Qin richard.qin.x@gmail.com 2026-04-06T19:59:58Z urn:sha1:598f364de0a809747714294326a0193788e0bdfb style: reformat codebase with consistent indentation 2026-04-03T21:21:26Z Richard Qin richard.qin.x@gmail.com 2026-04-03T21:21:26Z urn:sha1:593a94a3c13aff82b31fd6c61e0ae07b97a2e426 feat: add copyright and license disclaimer to program startup output 2026-04-03T21:17:18Z Richard Qin richard.qin.x@gmail.com 2026-04-03T21:17:18Z urn:sha1:9a5dd39accb75618dc40b5b4f4a3c059cacf6e04 feat: implement pretty-printing for variables and proof step references in proof trace output 2026-04-03T21:11:51Z Richard Qin richard.qin.x@gmail.com 2026-04-03T21:11:51Z urn:sha1:bdcf3b2355515f07ab3c12a35009fcbd4746da7b feat: implement command-line interface and add end-to-end propositional logic test suite 2026-04-03T20:56:51Z Richard Qin richard.qin.x@gmail.com 2026-04-03T20:56:51Z urn:sha1:7e0ac10b7b58de84910f0d4bb0d05cf36edeba2b feat: implement proof trace extraction and add proof trace test 2026-04-03T20:53:55Z Richard Qin richard.qin.x@gmail.com 2026-04-03T20:53:55Z urn:sha1:9b7cca2bf9783f104dcc549cd68d0a8f62088a6b feat: implement saturation-based resolution loop in Prover class 2026-04-03T20:52:36Z Richard Qin richard.qin.x@gmail.com 2026-04-03T20:52:36Z urn:sha1:dbd35e0081c600822a2069fd7b393e085b0c00c9 feat: implement clause subsumption and tautology detection logic with associated unit tests 2026-04-03T19:02:48Z Richard Qin richard.qin.x@gmail.com 2026-04-03T19:02:48Z urn:sha1:2713bbcb4044ca18eb3071a8efea7ad097a6693b feat: implement variable renaming and update resolution logic to prevent variable collisions 2026-04-03T18:33:26Z Richard Qin richard.qin.x@gmail.com 2026-04-03T18:33:26Z urn:sha1:c7cf051e764b43e6455fa6cceaf1dbf7f6cb841b