summaryrefslogtreecommitdiff
path: root/clang/lib/Analysis/FlowSensitive/CNFFormula.cpp
AgeCommit message (Expand)Author
2025-06-26[clang] Use llvm::is_contained instead of llvm::all_of (NFC) (#145843)Kazu Hirata
2025-04-19[clang] llvm::append_range (NFC) (#136440)Kazu Hirata
2024-05-21[clang][dataflow] Make `CNFFormula` externally accessible. (#92401)martinboehme