summaryrefslogtreecommitdiff
path: root/clang/lib/Analysis/FlowSensitive/WatchedLiteralsSolver.cpp
AgeCommit message (Expand)Author
2024-05-21[clang][dataflow] Make `CNFFormula` externally accessible. (#92401)martinboehme
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-05[clang][dataflow] Fix -Wunused-const-variable in WatchedLiteralsSolver.cpp (NFC)Jie Fu
2023-09-05[clang][dataflow] #llvm #flow-analysis Simplify formula at CNF construction t...Burak Emir
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
2023-06-26[dataflow] Make SAT solver deterministicSam McCall
2023-06-12[clang][dataflow] Support limits on the SAT solver to force timeouts.Yitzhak Mandelbaum
2022-10-14[clang][dataflow] Add support for a Top value in boolean formulas.Yitzhak Mandelbaum
2022-07-26[clang][dataflow] Add explicit "AST" nodes for implications and iffDmitri Gribenko
2022-07-26[clang][dataflow] Fix SAT solver crashes on `X ^ X` and `X v X`Dmitri Gribenko
2022-07-07[clang][dataflow] Return a solution from the solver when `Constraints` are `S...Wei Yi Tee
2022-07-07Revert "[clang][dataflow] Return a solution from the solver when `Constraints...Dmitri Gribenko
2022-07-07[clang][dataflow] Return a solution from the solver when `Constraints` are `S...Wei Yi Tee
2022-02-25[clang][dataflow] Add SAT solver interface and implementationStanislav Gatev
generated by cgit v1.2.3 (git 2.25.1) at 2026-06-18 12:54:09 +0000