aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
| * 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 Qin10 days3-0/+1148
* [Support] Add RCCSupport target and naming rulesRichard Qin10 days3-78/+35
* [ADT] Add function_ref to ADTRichard Qin12 days1-0/+112
* [Support] Format codeRichard Qin12 days6-239/+343
* [Utils] Use LLVM format and tidy toolsRichard Qin12 days7-322/+2806
* [Support] Add ErrorOr supportRichard Qin12 days1-0/+293
* [Support] Add errno supportRichard Qin12 days2-0/+140
* [Support] Add compiler abstraction supportRichard Qin12 days1-0/+843
* [CMake] Add RCC platform configuration checksRichard Qin12 days15-0/+3438
* [CMake] Generate RCC configuration headersRichard Qin12 days3-1/+477
* [RCC] Add Basic Data TypesRichard Qin12 days2-0/+102
* [Dev] Configure build presets and code checksRichard Qin12 days5-47/+160
* [CMake] Establish RCC and CFront builds and package exportsRichard Qin13 days19-78/+585
* [CMake] Add compiler options and target helpersRichard Qin13 days5-0/+1407
* Rename LICENSE to COPYINGRichard Qin2026-10-181-0/+0
* [MIR] Merge identical scalar type branchesRichard-Qin-X2026-08-291-5/+1
* [RISCV] Merge identical selector casesRichard-Qin-X2026-08-291-2/+0
* [RISCV] Widen jump table entry size arithmeticRichard-Qin-X2026-08-291-1/+1
* [RISCV] Reuse validated Zcmp frame offsetsRichard-Qin-X2026-08-291-8/+12
* [RISCV] Assert merged memory offset invariantsRichard-Qin-X2026-08-291-0/+2
* [RISCV] Reuse validated move registersRichard-Qin-X2026-08-291-5/+9
* [GlobalISel] Bind register bank optionals onceRichard-Qin-X2026-08-291-6/+9
* [GlobalISel] Assert vector element type invariantsRichard-Qin-X2026-08-291-3/+7
* [CodeGen] Bind virtual register types onceRichard-Qin-X2026-08-291-2/+3
* [CodeGen] Apply LLVM declaration styleRichard-Qin-X2026-08-293-3/+3
* [TableGen] Assert normalized MC pseudo operandsRichard-Qin-X2026-08-291-0/+2
* [TableGen] Preserve optional target description valuesRichard-Qin-X2026-08-292-9/+10
* [GlobalISel] Remove redundant PHI narrowing checksRichard-Qin-X2026-08-291-12/+7
* [CodeGen] Complete LaneMask bitwise operationsRichard-Qin-X2026-08-284-17/+19
* [Support] Use standard power-of-two checksRichard-Qin-X2026-08-288-39/+20
* [CMake] Remove unused clang-tidy file registrationRichard-Qin-X2026-08-2838-281/+81
* [RISCV] Complete Zcmp frame lowering and optimizationRichard-Qin-X2026-08-288-210/+439
* [RISCV] Generate complete Zcmp instruction definitionsRichard-Qin-X2026-08-286-44/+217
* [CodeGen] Add target machine registryRichard-Qin-X2026-08-2824-233/+735
* [CodeGen] Separate assembly emission ownershipRichard-Qin-X2026-08-2815-930/+1033
* [RISCV] Separate calling convention assignmentRichard-Qin-X2026-08-286-479/+566
* [CodeGen] Separate pass instrumentation ownershipRichard-Qin-X2026-08-287-612/+648
* [CodeGen] Remove pass instrumentation snapshotsRichard-Qin-X2026-08-282-104/+11
* [CodeGen] Centralize machine instruction erasureRichard-Qin-X2026-08-2830-474/+148
* [GlobalISel] Generate floating memory selectionRichard-Qin-X2026-08-279-159/+179
* [RISCV] Generate atomic RMW selectionRichard-Qin-X2026-08-273-95/+366
* [RISCV] Remove unused selector helpersRichard-Qin-X2026-08-271-80/+0
generated by cgit v1.2.3 (git 2.46.0) at 2026-11-01 21:51:03 +0000