ratp/tests, branch master
A saturation-based automated theorem prover for first-order logic.
https://git.richardqin.org/ratp/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:4b31d8f59a6d3237f176a122c82f46fdaef4551d
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:5ab3efd522cf0221481684b5bbc9c2ac6bfc9919
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:bf4f464cec8b6515d9e5131d43847ef9b2fd21d1
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:e6fed6b99e9c1feed60513438a121b57060ca9f3
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:7408740374f46b24edd53d421dbc270d2fca1293
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:0d7c8177171be1d0c077e468ee743697dd8c6914
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:ae88efa5d8e100c05dcba1f9a7bb9ff840b47d66
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:6e974168ecc487d99cbe51df569d52304907900c
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:3c1582035a2acf1b2406e62eccacb1d07429de15
feat: implement substitution logic and unify/applySubstitution functions for term resolution
2026-04-03T06:21:40Z
Richard Qin
richard.qin.x@gmail.com
2026-04-03T06:21:40Z
urn:sha1:469ed26e90ef96e44764938c7cdddfb271f272c4