275b49b3d9
* Bug fixes:
+ Fix bug that caused where clauses to be removed from
comprehensions.
+ Fix optimisation of Boolean constraints that could sometimes
trigger an assertion failure in debug builds.
- update to 2.8.6:
* Changes:
+ Variable in operators on arrays of (nested) records and
tuples containing only enumerable (enum, int, or bool) will
now be rewritten into table global constraints.
+ Values that are par in the left hand side will be checked and
filtered from the resulting table constraint.
+ Variable <, <=, > and >= operators on (nested) records and
tuples containing only enumerable (enum, int, or bool) will
now be rewritten into lex_less or lex_lesseq global
constraints.
+ Automatically detect SCIP 9.0.1 and potential future versions
on Windows.
+ The interface to the HiGHS solver now requires version 1.7.2
or later.
+ Enforce strict enum type correctness for set operations.
+ Add par opt overloads of min / max and return enum values
instead of coercing to integers.
+ Use half-reification only when there isn’t a reification that
is a more specific match.
+ Add multidimensional overloads for the ++ array concatenation
operator.
* Bug fixes:
+ Fix incorrect type error for array literals where the first
element is <> and subsequent elements are sets.
+ Fix missing code block in visualisation feature
documentation.
+ Emit type error when using variable if-then-else/array access
containing tuples or records containing non-varifiable types.
+ Emit type error when using a variable comprehension with a
tuple/record type.
+ Emit type error when using optional array access for arrays
of tuples/records.
+ Emit type error for array literals with <> and var set
elements.
+ Fix missing cross-references for IDE preference dialog
documentation figures.
+ Fix crash when using nested tuples/record types inside var
if-then-else expressions.
+ Fix evaluation error for comprehensions with an initial
assignment generator and a where clause which doesn’t involve
any of the generator identifiers.
+ Fix type checking of if then else expressions with _ in the
else branch.
+ Fix parsing of the most negative integer literal.
+ Fix typo in warning messages for undefined results in
function calls.
+ Fix bug in flattening identifier causing debug assertion to
fail.
+ Fix missing type when flattening indexed var comprehension
leading to error or incorrect value type.
+ Fix crash when generating error message for mismatched index
set where an enum index set is empty.
+ Fix crash due to incorrect handling of negated constraints
matching entry in CSE map.
+ Fix type error due to missing overload of max.
+ Fix handling of contexts and maybe_partial annotations when
flattening par expressions.
+ Fix par evaluation of boolean operators where an operand is
an array access into an empty array literal.
+ Fix crash when concatenating arrays of annotations.
+ Ensure DZN output of enum index sets of multidimensional
arrays is properly quoted.
+ Fix parsing of enumerated values in JSON for integer
parameters.
+ Fix crash during flattening of clauses with opt bool
arguments.
+ Fix the coercions of index set for empty array literals to
allow any of the index sets to be empty.
+ Fix behaviour of overloading for the ++ operator.
+ Avoid outputting objective statistic when value is invalid
for MIP solvers.
+ Fix bug in unification of aliased output variables when using
-O2 and above.
OBS-URL: https://build.opensuse.org/package/show/science/libminizinc?expand=0&rev=13
34 lines
1.2 KiB
Diff
34 lines
1.2 KiB
Diff
From c1e1cc1f76cac901752a870ac44a2ebc45729d96 Mon Sep 17 00:00:00 2001
|
|
From: =?UTF-8?q?Stefan=20Br=C3=BCns?= <stefan.bruens@rwth-aachen.de>
|
|
Date: Tue, 19 Jul 2022 19:31:23 +0200
|
|
Subject: [PATCH 2/3] Catch std::exception by const-reference
|
|
|
|
Although the details are ignored and do not matter, catching
|
|
std::exception by value is in general bad due to potential slicing,
|
|
and the potentially required copy.
|
|
---
|
|
include/minizinc/flatten.hh | 4 ++--
|
|
1 file changed, 2 insertions(+), 2 deletions(-)
|
|
|
|
diff --git a/include/minizinc/flatten.hh b/include/minizinc/flatten.hh
|
|
index 2b631e82..b51c9625 100644
|
|
--- a/include/minizinc/flatten.hh
|
|
+++ b/include/minizinc/flatten.hh
|
|
@@ -87,11 +87,11 @@ struct FlatteningOptions {
|
|
try {
|
|
std::random_device rdev("/dev/urandom");
|
|
seeds.push_back(rdev());
|
|
- } catch (std::exception) {
|
|
+ } catch (const std::exception&) {
|
|
try {
|
|
std::random_device rdev;
|
|
seeds.push_back(rdev());
|
|
- } catch (std::exception) { /* NOLINT(bugprone-empty-catch) */
|
|
+ } catch (const std::exception&) { /* NOLINT(bugprone-empty-catch) */
|
|
}
|
|
}
|
|
auto highrestime = static_cast<long unsigned int>(
|
|
--
|
|
2.37.0
|
|
|