public inbox for git-commits@fedoraproject.org
help / color / mirror / Atom feed
* [rpms/drat2er] rawhide: Orphaned for 6+ weeks
@ 2026-08-04 22:03 Orphaned Packages Process
0 siblings, 0 replies; only message in thread
From: Orphaned Packages Process @ 2026-08-04 22:03 UTC (permalink / raw)
To: git-commits
A new commit has been pushed.
Repo : rpms/drat2er
Branch : rawhide
Commit : f80c96569b0ccd0c5c8863640da9fcba73a92357
Author : Orphaned Packages Process <packaging-reports@fedoraproject.org>
Date : 2026-08-04T17:03:42-05:00
Stats : +1/-390 in 8 file(s)
URL : https://src.fedoraproject.org/rpms/drat2er/c/f80c96569b0ccd0c5c8863640da9fcba73a92357?branch=rawhide
Log:
Orphaned for 6+ weeks
---
diff --git a/.gitignore b/.gitignore
deleted file mode 100644
index c4075d0..0000000
--- a/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-/drat2er-*.tar.gz
diff --git a/README.md b/README.md
deleted file mode 100644
index 5d765fc..0000000
--- a/README.md
+++ /dev/null
@@ -1,14 +0,0 @@
-# drat2er
-
-[Drat2er](https://github.com/benjaminkiesl/drat2er/) is a tool for transforming
-proofs that are usually produced by
-[SAT solvers](https://en.wikipedia.org/wiki/SAT_solver). It takes as input a
-propositional formula (specified in the DIMACS format) together with a
-[DRAT](https://www.cs.utexas.edu/~marijn/drat-trim/) proof (DRAT is the
-current standard format for proofs in SAT solving), and outputs an
-extended-resolution proof of the formula in either the TRACECHECK or the DRAT
-format. The details of this proof transformation are described in the paper
-["Extended Resolution Simulates DRAT"](https://www.cs.cmu.edu/~mheule/publications/ijcar18.pdf)
-(IJCAR 2018). Note that if drat2er is given as input a
-[DRUP](https://www.cs.utexas.edu/~marijn/drup/) proof, then it transforms this
-DRUP proof into an ordinary resolution proof.
diff --git a/dead.package b/dead.package
new file mode 100644
index 0000000..5204a84
--- /dev/null
+++ b/dead.package
@@ -0,0 +1 @@
+Orphaned for 6+ weeks
diff --git a/drat2er-shared.patch b/drat2er-shared.patch
deleted file mode 100644
index cd4301c..0000000
--- a/drat2er-shared.patch
+++ /dev/null
@@ -1,19 +0,0 @@
---- CMakeLists.txt.orig 2024-03-14 10:34:34.986825717 -0600
-+++ CMakeLists.txt 2024-03-14 10:39:27.951732377 -0600
-@@ -14,7 +14,7 @@ set(CMAKE_LIBRARY_OUTPUT_DIRECTORY ${CMA
- set(CMAKE_RUNTIME_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/bin)
-
- # Build library for the main executable
--add_library(lib_drat2er STATIC
-+add_library(lib_drat2er SHARED
- src/formula.cc
- src/formula_parser.cc
- src/clause.cc
-@@ -37,6 +37,7 @@ add_library(lib_drat2er STATIC
- src/drat_trim_interface.cc
- src/progress_bar.cc
- )
-+set_target_properties(lib_drat2er PROPERTIES OUTPUT_NAME drat2er POSITION_INDEPENDENT_CODE ON VERSION 0.0.0 SOVERSION 0)
- target_link_libraries(lib_drat2er drat-trim)
-
- # Build the executable for the main program
diff --git a/drat2er-string-front.patch b/drat2er-string-front.patch
deleted file mode 100644
index 80d60bf..0000000
--- a/drat2er-string-front.patch
+++ /dev/null
@@ -1,14 +0,0 @@
---- src/drat_trim_interface.cc.orig 2024-03-14 10:02:51.219371543 -0600
-+++ src/drat_trim_interface.cc 2024-03-14 10:41:23.695113698 -0600
-@@ -54,9 +54,9 @@ int CheckAndConvertToLRAT(const string&
- args.push_back("-L");
- args.push_back(output_proof_path);
-
-- vector<char*> args_c_strings;
-+ vector<const char*> args_c_strings;
- for(auto& argument : args) {
-- args_c_strings.push_back(&argument.front());
-+ args_c_strings.push_back(argument.c_str());
- }
-
- return run_drat_trim(args_c_strings.size(), args_c_strings.data());
diff --git a/drat2er-unbundle.patch b/drat2er-unbundle.patch
deleted file mode 100644
index 112068b..0000000
--- a/drat2er-unbundle.patch
+++ /dev/null
@@ -1,170 +0,0 @@
---- CMakeLists.txt.orig 2021-12-28 02:50:06.000000000 -0700
-+++ CMakeLists.txt 2024-03-14 10:58:51.928449409 -0600
-@@ -13,9 +13,6 @@ set(CMAKE_ARCHIVE_OUTPUT_DIRECTORY ${CMA
- set(CMAKE_LIBRARY_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/lib)
- set(CMAKE_RUNTIME_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/bin)
-
--# Include drat-trim as a library
--add_library(drat-trim STATIC third-party/drat-trim/drat-trim.c)
--
- # Build library for the main executable
- add_library(lib_drat2er STATIC
- src/formula.cc
-@@ -42,19 +39,9 @@ add_library(lib_drat2er STATIC
- )
- target_link_libraries(lib_drat2er drat-trim)
-
--# Include the CLI11 command line parsing library
--set(CLI11_INCLUDE_DIR third-party/cli11)
--add_library(cli11 INTERFACE)
--target_include_directories(cli11 INTERFACE ${CLI11_INCLUDE_DIR})
--
- # Build the executable for the main program
- add_executable(drat2er src/main.cc)
--target_link_libraries(drat2er lib_drat2er cli11)
--
--# Build the executable for the unit tests
--set(CATCH_INCLUDE_DIR third-party/catch2)
--add_library(catch INTERFACE)
--target_include_directories(catch INTERFACE ${CATCH_INCLUDE_DIR})
-+target_link_libraries(drat2er lib_drat2er)
-
- set(TEST_DIRECTORY test)
- set(TEST_SOURCES ${TEST_DIRECTORY}/tests_main.cc
-@@ -66,8 +53,14 @@ set(TEST_SOURCES ${TEST_DIRECTORY}/tests
- ${TEST_DIRECTORY}/test_rat_eliminator.cc
- ${TEST_DIRECTORY}/test_instruction_serialization.cc)
- add_executable(unit_tests ${TEST_SOURCES})
--target_link_libraries(unit_tests catch lib_drat2er)
-+target_link_libraries(unit_tests Catch2 Catch2Main lib_drat2er)
-
- # Enable Unit testing
- enable_testing()
- add_test(NAME UnitTests COMMAND unit_tests)
-+
-+install(TARGETS drat2er lib_drat2er
-+ RUNTIME DESTINATION ${CMAKE_INSTALL_PREFIX}/bin
-+ ARCHIVE DESTINATION ${CMAKE_INSTALL_PREFIX}/lib)
-+install(FILES include/drat2er.h include/drat_trim_interface.h
-+ DESTINATION ${CMAKE_INSTALL_PREFIX}/include)
---- include/drat2er.h.orig 1969-12-31 17:00:00.000000000 -0700
-+++ include/drat2er.h 2024-03-14 11:00:58.894671200 -0600
-@@ -0,0 +1,34 @@
-+// MIT License
-+//
-+// Copyright (c) 2018 Benjamin Kiesl
-+//
-+// Permission is hereby granted, free of charge, to any person obtaining a copy
-+// of this software and associated documentation files (the "Software"), to
-+// deal in the Software without restriction, including without limitation the
-+// rights to use, copy, modify, merge, publish, distribute, sublicense, and/or
-+// sell copies of the Software, and to permit persons to whom the Software is
-+// furnished to do so, subject to the following conditions:
-+//
-+// The above copyright notice and this permission notice shall be included in
-+// all copies or substantial portions of the Software.
-+//
-+// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-+// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-+// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
-+// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-+// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
-+// FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
-+// IN THE SOFTWARE.
-+
-+#ifndef DRAT2ER_H
-+#define DRAT2ER_H
-+
-+#include <string>
-+
-+void TransformDRATToExtendedResolution(const std::string& input_formula_file,
-+ const std::string& input_proof_file,
-+ const std::string& output_file,
-+ bool is_output_drat,
-+ bool is_verbose,
-+ bool is_compressed);
-+#endif
---- src/drat_trim_interface.cc.orig 2021-12-28 02:50:06.000000000 -0700
-+++ src/drat_trim_interface.cc 2024-03-14 10:02:51.219371543 -0600
-@@ -30,7 +30,7 @@ using std::vector;
-
- extern "C"
- {
-- int run_drat_trim (int argc, char** argv);
-+#include <drat-trim.h>
- }
-
- namespace drat2er
---- src/main.cc.orig 2021-12-28 02:50:06.000000000 -0700
-+++ src/main.cc 2024-03-14 10:38:24.425620803 -0600
-@@ -27,7 +27,7 @@
- #include <stdexcept>
- #include <string>
- #include <algorithm>
--#include "CLI11.hpp"
-+#include <CLI/CLI.hpp>
- #include "formula.h"
- #include "formula_parser.h"
- #include "rat_eliminator.h"
---- test/test_clause.cc.orig 2021-12-28 02:50:06.000000000 -0700
-+++ test/test_clause.cc 2024-03-14 10:35:42.674880470 -0600
-@@ -1,4 +1,4 @@
--#include "catch.hpp"
-+#include <catch2/catch_all.hpp>
- #include <vector>
- #include "clause.h"
-
---- test/test_formula.cc.orig 2021-12-28 02:50:06.000000000 -0700
-+++ test/test_formula.cc 2024-03-14 10:35:55.649699291 -0600
-@@ -1,4 +1,4 @@
--#include "catch.hpp"
-+#include <catch2/catch_all.hpp>
- #include <vector>
- #include <unordered_set>
- #include <algorithm>
---- test/test_instruction_serialization.cc.orig 2021-12-28 02:50:06.000000000 -0700
-+++ test/test_instruction_serialization.cc 2024-03-14 10:36:06.361549714 -0600
-@@ -1,4 +1,4 @@
--#include "catch.hpp"
-+#include <catch2/catch_all.hpp>
- #include <vector>
- #include "instruction_serialization.h"
- #include "clause.h"
---- test/test_lrat_parser.cc.orig 2021-12-28 02:50:06.000000000 -0700
-+++ test/test_lrat_parser.cc 2024-03-14 10:36:14.650433963 -0600
-@@ -1,4 +1,4 @@
--#include "catch.hpp"
-+#include <catch2/catch_all.hpp>
- #include <vector>
- #include "lrat_parser.h"
- #include "rat_clause.h"
---- test/test_rat_clause.cc.orig 2021-12-28 02:50:06.000000000 -0700
-+++ test/test_rat_clause.cc 2024-03-14 10:36:23.337312659 -0600
-@@ -1,4 +1,4 @@
--#include "catch.hpp"
-+#include <catch2/catch_all.hpp>
- #include <vector>
- #include <map>
- #include "rat_clause.h"
---- test/test_rat_eliminator.cc.orig 2021-12-28 02:50:06.000000000 -0700
-+++ test/test_rat_eliminator.cc 2024-03-14 10:36:31.018205387 -0600
-@@ -1,4 +1,4 @@
--#include "catch.hpp"
-+#include <catch2/catch_all.hpp>
- #include <vector>
- #include "rat_eliminator.h"
- #include "rat_clause.h"
---- test/test_rup_clause.cc.orig 2021-12-28 02:50:06.000000000 -0700
-+++ test/test_rup_clause.cc 2024-03-14 10:36:44.106022611 -0600
-@@ -1,4 +1,4 @@
--#include "catch.hpp"
-+#include <catch2/catch_all.hpp>
- #include <vector>
- #include "rup_clause.h"
-
---- test/tests_main.cc.orig 2021-12-28 02:50:06.000000000 -0700
-+++ test/tests_main.cc 2024-03-14 10:36:56.753845979 -0600
-@@ -1,2 +1,2 @@
- #define CATCH_CONFIG_MAIN
--#include "catch.hpp"
-+#include <catch2/catch_all.hpp>
diff --git a/drat2er.spec b/drat2er.spec
deleted file mode 100644
index 4be4188..0000000
--- a/drat2er.spec
+++ /dev/null
@@ -1,171 +0,0 @@
-# Upstream has not tagged any releases
-%global commit 6dfd6684cac5d4838dc7e28dce920c8e074df106
-%global date 20211228
-%global forgeurl https://github.com/benjaminkiesl/drat2er
-
-Name: drat2er
-Version: 0
-Summary: Proof transformer for propositional logic
-
-%forgemeta
-
-Release: 0.21%{?dist}
-License: MIT
-URL: %{forgeurl}
-VCS: git:%{forgeurl}.git
-Source: %{forgesource}
-# Unbundle the third-party libraries
-Patch: %{name}-unbundle.patch
-# Build a shared library instead of a static library
-Patch: %{name}-shared.patch
-# Fix a C++ assertion failure due to calling front() on an empty string
-Patch: %{name}-string-front.patch
-
-# See https://fedoraproject.org/wiki/Changes/EncourageI686LeafRemoval
-ExcludeArch: %{ix86}
-
-BuildRequires: catch-devel
-BuildRequires: cli11-static
-BuildRequires: cmake
-BuildRequires: drat-trim-devel
-BuildRequires: drat-trim-tools
-BuildRequires: gcc-c++
-BuildRequires: help2man
-BuildRequires: make
-
-%description
-Drat2er is a tool for transforming proofs that are usually produced by SAT
-solvers. It takes as input a propositional formula (specified in the DIMACS
-format) together with a DRAT proof (DRAT is the current standard format for
-proofs in SAT solving), and outputs an extended-resolution proof of the
-formula in either the TRACECHECK or the DRAT format. The details of this
-proof transformation are described in the paper "Extended Resolution Simulates
-DRAT" (IJCAR 2018). Note that if drat2er is given as input a DRUP proof, then
-it transforms this DRUP proof into an ordinary resolution proof.
-
-%package devel
-Summary: Development files for %{name}
-Requires: %{name}%{?_isa} = %{version}-%{release}
-
-%description devel
-Headers files and library links for developing applications that use %{name}.
-
-%package tools
-# The project itself is MIT.
-# The code added by cli11 is BSD-3-Clause.
-License: MIT AND BSD-3-Clause
-Summary: Command line interface to %{name}
-Requires: %{name}%{?_isa} = %{version}-%{release}
-
-%description tools
-This package contains a command line interface to %{name}.
-
-%prep
-%forgeautosetup -p0
-
-# Do not use the bundled libraries
-rm -fr third-party
-
-%build
-%cmake -DCMAKE_INSTALL_LIBDIR=%{_lib}
-%cmake_build
-export LD_LIBRARY_PATH=$PWD/%{_vpath_builddir}/%{_lib}
-help2man --version-string=%{date} -N -o %{name}.1 \
- -n 'Proof transformer for propositional logic' %{_vpath_builddir}/bin/%{name}
-
-%install
-%cmake_install
-
-# Install the man page
-mkdir -p %{buildroot}%{_mandir}/man1
-cp -p %{name}.1 %{buildroot}%{_mandir}/man1
-
-%check
-export LD_LIBRARY_PATH=%{buildroot}%{_libdir}
-%ctest
-
-%files
-%license LICENSE
-%{_libdir}/lib%{name}.so.0{,.*}
-
-%files devel
-%{_includedir}/drat*.h
-%{_libdir}/lib%{name}.so
-
-%files tools
-%doc README.md
-%{_bindir}/%{name}
-%{_mandir}/man1/%{name}.1*
-
-%changelog
-* Wed Jul 15 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.21
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild
-
-* Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.20
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
-
-* Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.19
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
-
-* Wed Jul 23 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.18
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
-
-* Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.17
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
-
-* Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.16
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
-
-* Thu Mar 14 2024 Jerry James <loganjerry@gmail.com> - 0-0.15
-- Switch upstream repositories
-- Drop upstreamed CLI11-2.0.0 patch
-- Drop obsolete arg-order patch
-
-* Wed Jan 24 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.14.20190307.521caf1
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
-
-* Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.13.20190307.521caf1
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
-
-* Tue Jan 16 2024 Jerry James <loganjerry@gmail.com> - 0-0.12.20190307.521caf1
-- Stop building for 32-bit x86
-
-* Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.12.20190307.521caf1
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
-
-* Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.11.20190307.521caf1
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
-
-* Tue Aug 16 2022 Jerry James <loganjerry@gmail.com> - 0-0.10.20190307.521caf1
-- Add SPDX License tag for the tools subpackage
-
-* Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.10.20190307.521caf1
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
-
-* Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.9.20190307.521caf1
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
-
-* Thu Aug 12 2021 Ryan Curtin <ryan@ratml.org> - 0-0.8.20190307.521caf1
-- Updated for newer CLI11-2.0.0 dependency.
-
-* Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.7.20190307.521caf1
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
-
-* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.6.20190307.521caf1
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
-
-* Sat Aug 01 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.5.20190307.521caf1
-- Second attempt - Rebuilt for
- https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
-
-* Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.4.20190307.521caf1
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
-
-* Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.3.20190307.521caf1
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
-
-* Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.2.20190307.521caf1
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
-
-* Thu Jun 6 2019 Jerry James <loganjerry@gmail.com> - 0-0.1.20190307.521caf1
-- Initial RPM
diff --git a/sources b/sources
deleted file mode 100644
index b43a045..0000000
--- a/sources
+++ /dev/null
@@ -1 +0,0 @@
-SHA512 (drat2er-6dfd6684cac5d4838dc7e28dce920c8e074df106.tar.gz) = 5e12c21e6c6b59389ec9d5b35b09c8510dae538942f4440d2616ed6fceae05def3764febb48948b4d43287717fc8cf5038df0085b579cdcbe807a7e02f410ff1
^ permalink raw reply related [flat|nested] only message in thread
only message in thread, other threads:[~2026-08-04 22:03 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2026-08-04 22:03 [rpms/drat2er] rawhide: Orphaned for 6+ weeks Orphaned Packages Process
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox