summaryrefslogtreecommitdiff
path: root/clang/lib/Analysis/FlowSensitive/Formula.cpp
AgeCommit message (Expand)Author
2025-06-06[clang] Ensure newline at the end of files (NFC) (#143154)Kazu Hirata
2025-05-31[Analysis] Remove unused includes (NFC) (#142255)Kazu Hirata
2023-10-19Reapply "[dataflow] use true/false literals in formulas, rather than variables"Sam McCall
2023-09-22Revert "[dataflow] use true/false literals in formulas, rather than variables"Douglas Yung
2023-09-22[dataflow] use true/false literals in formulas, rather than variablesSam McCall
2023-09-22[dataflow] Parse formulas from text (#66424)Sam McCall
2023-07-07Reland "[dataflow] Add dedicated representation of boolean formulas"Sam McCall
2023-07-05Revert "Reland "[dataflow] Add dedicated representation of boolean formulas" ...Sam McCall
2023-07-05[dataflow] use true/false literals in formulas, rather than variablesSam McCall
2023-07-05Reland "[dataflow] Add dedicated representation of boolean formulas"Sam McCall
2023-07-04Revert "[dataflow] Add dedicated representation of boolean formulas"Tom Weaver
2023-07-04[dataflow] Add dedicated representation of boolean formulasSam McCall
generated by cgit v1.2.3 (git 2.25.1) at 2026-06-18 11:29:25 +0000