https://github.com/martinboehme closed
https://github.com/llvm/llvm-project/pull/92401
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
@@ -44,73 +41,16 @@ namespace dataflow {
//
// [1] https://en.wikipedia.org/wiki/DPLL_algorithm
-/// Boolean variables are represented as positive integers.
-using Variable = uint32_t;
+namespace {
martinboehme wrote:
I did something similar: The class commen
@@ -0,0 +1,180 @@
+//===- CNFFormula.h -*- C++
-*-===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM
Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Ap
https://github.com/martinboehme updated
https://github.com/llvm/llvm-project/pull/92401
>From e902cf2e18208a118f90c341d3e375d2c20cdc59 Mon Sep 17 00:00:00 2001
From: Martin Braenne
Date: Thu, 16 May 2024 13:45:57 +
Subject: [PATCH 1/3] [clang][dataflow] Make `CNFFormula` externally
accessi
https://github.com/sgatev edited https://github.com/llvm/llvm-project/pull/92401
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
@@ -44,73 +41,16 @@ namespace dataflow {
//
// [1] https://en.wikipedia.org/wiki/DPLL_algorithm
-/// Boolean variables are represented as positive integers.
-using Variable = uint32_t;
+namespace {
sgatev wrote:
Maybe move the comment above as a class comment
@@ -0,0 +1,180 @@
+//===- CNFFormula.h -*- C++
-*-===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM
Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Ap
https://github.com/ymand approved this pull request.
https://github.com/llvm/llvm-project/pull/92401
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/Xazax-hun approved this pull request.
https://github.com/llvm/llvm-project/pull/92401
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
github-actions[bot] wrote:
:warning: C/C++ code formatter, clang-format found issues in your code.
:warning:
You can test this locally with the following command:
``bash
git-clang-format --diff f89b1b8a68065c4b880417abb0563bce21399b52
e902cf2e18208a118f90c341d3e375d2c20cdc59 --
llvmbot wrote:
@llvm/pr-subscribers-clang-analysis
@llvm/pr-subscribers-clang
Author: None (martinboehme)
Changes
This component can be useful when creating implementations of `Solver`, as some
SAT solvers require the input to be in 3-CNF.
As part of making `CNFFormula` externally accessi
https://github.com/martinboehme created
https://github.com/llvm/llvm-project/pull/92401
This component can be useful when creating implementations of `Solver`, as some
SAT solvers require the input to be in 3-CNF.
As part of making `CNFFormula` externally accessible, I have moved some member
va
12 matches
Mail list logo
