COMMITS
/ other/davis_putnam_logemann_loveland.py March 18, 2025
P
[pre-commit.ci] pre-commit autoupdate (#12623)
pre-commit-ci[bot] committed
December 29, 2024
M
Fix sphinx/build_docs warnings for other (#12482)
Maxim Smolskiy committed
April 22, 2024
M
Enable ruff RUF002 rule (#11377)
Maxim Smolskiy committed
April 2, 2024
M
Enable ruff SIM102 rule (#11341)
Maxim Smolskiy committed
March 20, 2024
M
Enable ruff ARG001 rule (#11321)
Maxim Smolskiy committed
March 13, 2024
P
[pre-commit.ci] pre-commit autoupdate (#11322)
pre-commit-ci[bot] committed
October 20, 2023
T
Fix typo in DPLL file name (#10723)
Tianyi Zheng committed