aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
| * Remove legacy terminal UI infrastructure and rename license fileRichard Qin2026-10-1619-953/+2
| * feat: add uninstall target to CMake build configurationRichard Qin2026-04-142-1/+32
| * refactor: adjust code structureRichard Qin2026-04-1438-1483/+2434
| * feat: move URL formatting to Browser class and update documentationRichard Qin2026-04-134-52/+99
| * feat: implement configurable homepage and user-agent via config.txtRichard Qin2026-04-134-28/+77
| * feat: add help manual page and refactor key processing with switch statementRichard Qin2026-04-131-70/+109
| * feat: implement browsing history tracking and navigation via ricochet://historyRichard Qin2026-04-131-1/+71
| * refactor: update cookie jar to store cookies by domain instead of global keysRichard Qin2026-04-131-16/+29
| * feat: replace numeric link selection with two-character link hintsRichard Qin2026-04-133-53/+111
| * feat: implement text search functionality with highlighting and navigation su...Richard Qin2026-04-131-9/+90
| * feat: implement persistent cookie storage and migrate configuration files to ...Richard Qin2026-04-132-2/+59
| * feat: improve error reporting, implement responsive footer layout, and refine...Richard Qin2026-04-132-14/+58
| * feat: add binary file download support by parsing Content-Type headersRichard Qin2026-04-133-13/+78
| * feat: implement bookmarking system with persistence and ricochet://bookmarks ...Richard Qin2026-04-131-6/+71
| * feat: implement table rendering with dynamic column width calculation and ANS...Richard Qin2026-04-131-0/+149
| * feat: add support for interactive checkbox and radio button input fieldsRichard Qin2026-04-133-20/+88
| * feat: implement cookie jar management and automatic header injection for HTTP...Richard Qin2026-04-131-3/+62
| * feat: implement HTTP POST support for form submissions and add input value pe...Richard Qin2026-04-125-63/+144
| * feat: implement form submission support by tracking input fields and form con...Richard Qin2026-04-123-36/+98
| * feat: add support for interacting with form inputs via the 'i' keyRichard Qin2026-04-123-10/+114
| * feat: add page title extraction, URL normalization, DuckDuckGo tracker stripp...Richard Qin2026-04-123-37/+208
| * feat: implement HTTP redirect support, URL search formatting, image alt text ...Richard Qin2026-04-125-67/+214
| * feat: implement link extraction and interactive navigation via numbered tags ...Richard Qin2026-04-125-35/+160
| * feat: implement URL navigation and input handling in browser TUIRichard Qin2026-04-113-50/+122
| * feat: implement SSLSocket for encrypted connections and add terminal size det...Richard Qin2026-04-117-79/+439
| * feat: implement interactive TUI with scrolling and add OpenSSL dependency sup...Richard Qin2026-04-116-27/+177
| * feat: implement terminal renderer and integrate into browser coreRichard Qin2026-04-114-17/+129
| * style: apply consistent code formatting and bracing style across the codebaseRichard Qin2026-04-117-163/+162
| * feat: implement DOM tree builder to transform HTML tokens into a hierarchical...Richard Qin2026-04-115-17/+189
| * feat: add license header automation scriptRichard Qin2026-04-111-0/+57
| * feat: implement HTML lexer and integrate tokenization into browser outputRichard Qin2026-04-113-14/+218
| * feat: implement basic HTTP client with socket and address networking utilitiesRichard Qin2026-04-1112-0/+1386
| * feat: initialize project structure with CMake build system, C++23 support, an...Richard Qin2026-04-1119-0/+1235
* Merge remote-tracking branch 'proofsearch-import/master'Richard Qin11 days63-0/+6611
|\
| * feat: enhance clang-tidy configuration and improve code quality across multip...Richard Qin2026-04-0813-159/+198
| * refactor: rename struct members to follow trailing underscore naming conventi...Richard Qin2026-04-0731-809/+877
| * style: reformat codebase with consistent indentationRichard Qin2026-04-0449-354/+294
| * feat: add copyright and license disclaimer to program startup outputRichard Qin2026-04-041-0/+5
| * feat: implement pretty-printing for variables and proof step references in pr...Richard Qin2026-04-042-8/+78
| * feat: implement command-line interface and add end-to-end propositional logic...Richard Qin2026-04-045-13/+275
| * feat: implement proof trace extraction and add proof trace testRichard Qin2026-04-044-9/+365
| * feat: implement saturation-based resolution loop in Prover classRichard Qin2026-04-045-10/+349
| * feat: implement clause subsumption and tautology detection logic with associa...Richard Qin2026-04-046-0/+250
| * feat: implement variable renaming and update resolution logic to prevent vari...Richard Qin2026-04-043-3/+399
| * feat: implement substitution logic and unify/applySubstitution functions for ...Richard Qin2026-04-036-10/+561
| * feat: implement core term, symbol, and clause storage logic with canonicaliza...Richard Qin2026-04-038-14/+481
| * fix: remove files that should be ignoredRichard Qin2026-04-0317-0/+0
| * refactor: replace string-based formula representation with interned SymbolIds...Richard Qin2026-04-027-24/+416
| * Initial commit: Build project architecture, define interfaces, write document...Richard Qin2026-04-0274-0/+3476
* [Support] Add MathExtrasRichard Qin2026-10-223-0/+1148
generated by cgit v1.2.3 (git 2.46.0) at 2026-11-09 23:09:15 +0000