From 469a7190bee490344d147099c3511fc45e2aadf0 Mon Sep 17 00:00:00 2001 From: Klaus Aehlig Date: Wed, 3 Apr 2024 16:28:44 +0200 Subject: bug fix in expresion, Union: propagate the disjointness property To avoid too many intermediate results, we compute the union of a list in a divide and conquer fashion. Of course, for a disjoint union, the recursive calls on the lists of half the length have to be disjoint as well, i.e., the template parameter kDisjoint has to be passed on. Fix this. --- CHANGELOG.md | 2 ++ 1 file changed, 2 insertions(+) (limited to 'CHANGELOG.md') diff --git a/CHANGELOG.md b/CHANGELOG.md index b1cfdc2d..b4a97780 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -85,6 +85,8 @@ A feature release on top of `1.2.0`, backwards compatible. to be taken on upgrading or downgrading. However, some target-level cache entries will not be used leading potentially to rebuilding of some targets. +- The expression `"disjoint_map_union"` did not verify disjointness + in all cases; this is fixed now. ## Release `1.2.0` (2023-08-25) -- cgit v1.2.3