[rpms/cvc5] f45: Version 1.4.1

[rpms/cvc5] f45: Version 1.4.1

[Jerry James]

A new commit has been pushed.

Repo   : rpms/cvc5
Branch : f45
Commit : 2d196ba666e616cd006ad636d9be9d07cdbfc455
Author : Jerry James <loganjerry@gmail.com>
Date   : 2026-09-26T07:47:56-06:00
Stats  : +12/-14 in 3 file(s)
URL    : https://src.fedoraproject.org/rpms/cvc5/c/2d196ba666e616cd006ad636d9be9d07cdbfc455?branch=f45

Log:
Version 1.4.1

---
diff --git a/cvc5-skip-himem-tests.patch b/cvc5-skip-himem-tests.patch
index 9aa878b..41ec9a0 100644
--- a/cvc5-skip-himem-tests.patch
+++ b/cvc5-skip-himem-tests.patch
@@ -1,5 +1,5 @@
---- cvc5-cvc5-1.4.0/test/api/cpp/issues/CMakeLists.txt.orig	2026-09-17 15:10:12.000000000 -0600
-+++ cvc5-cvc5-1.4.0/test/api/cpp/issues/CMakeLists.txt	2026-09-18 14:24:28.854136171 -0600
+--- cvc5-cvc5-1.4.1/test/api/cpp/issues/CMakeLists.txt.orig	2026-09-25 14:24:43.000000000 -0600
++++ cvc5-cvc5-1.4.1/test/api/cpp/issues/CMakeLists.txt	2026-09-26 07:25:51.559438355 -0600
 @@ -46,8 +46,8 @@ cvc5_add_api_test(proj-issue666 "issues"
  
  if (NOT ENABLE_SAFE_MODE AND NOT ENABLE_STABLE_MODE)
@@ -11,20 +11,18 @@
    cvc5_add_api_test(proj-issue377 "issues")
    cvc5_add_api_test(proj-issue388 "issues")
    cvc5_add_api_test(proj-issue413 "issues")
---- cvc5-cvc5-1.4.0/test/regress/cli/CMakeLists.txt.orig	2026-09-17 15:10:12.000000000 -0600
-+++ cvc5-cvc5-1.4.0/test/regress/cli/CMakeLists.txt	2026-09-18 14:25:13.010075217 -0600
-@@ -4304,8 +4304,8 @@ set(regress_3_tests
+--- cvc5-cvc5-1.4.1/test/regress/cli/CMakeLists.txt.orig	2026-09-25 14:24:43.000000000 -0600
++++ cvc5-cvc5-1.4.1/test/regress/cli/CMakeLists.txt	2026-09-26 07:26:54.044241227 -0600
+@@ -4340,7 +4340,7 @@ set(regress_3_tests
    regress3/arith/abz5_1400.smtv1.smt2
    regress3/arith_prp-13-24.smt2
    regress3/auflia-fuzz06.smtv1.smt2
 -  regress3/bags/reduce_constants_dup.smt2
--  regress3/bmc-ibm-1.smtv1.smt2
 +  #regress3/bags/reduce_constants_dup.smt2
-+  #regress3/bmc-ibm-1.smtv1.smt2
    regress3/bmc-ibm-2.smtv1.smt2
-   regress3/bmc-ibm-5.smtv1.smt2
    regress3/bmc-ibm-7.smtv1.smt2
-@@ -4320,7 +4320,7 @@ set(regress_3_tests
+   regress3/bug2.smtv1.smt2
+@@ -4354,7 +4354,7 @@ set(regress_3_tests
    regress3/bv-core-ext_con_004_001_1024.smtv1.smt2
    regress3/bv-fuzz15.smtv1.smt2
    regress3/bv-fuzz16.smtv1.smt2
@@ -33,7 +31,7 @@
    regress3/cegisunif-depth1.sy
    regress3/decision-uflia-xs-09-16-3-4-1-5.smtv1.smt2
    regress3/DRAGON_1.lus.sy
-@@ -4333,7 +4333,7 @@ set(regress_3_tests
+@@ -4367,7 +4367,7 @@ set(regress_3_tests
    regress3/interpol2.smt2
    regress3/inv_gen_n_c11.sy
    regress3/issue11616.smt2
@@ -42,7 +40,7 @@
    regress3/issue4707-bv-to-bool-large.smt2
    regress3/lpsat-goal-9.smt2
    regress3/nia-max-square.sy
-@@ -4346,7 +4346,7 @@ set(regress_3_tests
+@@ -4380,7 +4380,7 @@ set(regress_3_tests
    regress3/qwh.35.405.shuffled-as.sat03-1651.smtv1.smt2
    regress3/sixfuncs.sy
    regress3/specsharp-WindowsCard.15.RTE.Terminate_System.Int32.smt2
@@ -51,7 +49,7 @@
    regress3/strings/extf_d_perf.smt2
    regress3/strings/issue8926-sygus-inst.smt2
    regress3/strings/norn-dis-0707-3.smt2
-@@ -4360,9 +4360,9 @@ set(regress_3_tests
+@@ -4394,9 +4394,9 @@ set(regress_3_tests
  set(regress_4_tests
    regress4/bug143.smtv1.smt2
    regress4/bv/abstract/abv-klee-select-index.smt2

diff --git a/cvc5.spec b/cvc5.spec
index 15583b7..44ffaa0 100644
--- a/cvc5.spec
+++ b/cvc5.spec
@@ -12,7 +12,7 @@
 %global giturl  https://github.com/cvc5/cvc5
 
 Name:           cvc5
-Version:        1.4.0
+Version:        1.4.1
 Release:        %autorelease
 Summary:        Automatic theorem prover for SMT problems
 

diff --git a/sources b/sources
index 79acb9a..6a2bf3a 100644
--- a/sources
+++ b/sources
@@ -1,2 +1,2 @@
-SHA512 (cvc5-1.4.0.tar.gz) = ee9578878c7e541f82a5f6c9535cd4ba764fb6d5dcdc0bf69e50cd360b2b56bc66adca1f6babd5971c5175818b3e716cb7b411488adcbf207e21ac59d0fd6d84
+SHA512 (cvc5-1.4.1.tar.gz) = 66d682a1008e5cfac14285b55e0f59a7262204a10b492bafdb1b27cd30e5495703df5ae38bb7a1420d1070831b7e3a099d224c9ab9091e5392f6cc6a31afcda7
 SHA512 (a0d6c75bca0dca4a26c0d570e7b969272c9a7de1.zip) = c1432b74b41b4a644cc2675cc0040878dc40963f9e78c4540fb39cd4163d8eaed6938ecf664dc3aff652dbee06e88295d6a77c0403736a77a3a9d6c6d893be09