diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2024-04-03 16:28:44 +0200 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2024-04-05 12:08:32 +0200 |
| commit | 469a7190bee490344d147099c3511fc45e2aadf0 (patch) | |
| tree | 5a7cd59ac3ef6ee0ec9203632bfd478b4e670115 /CHANGELOG.md | |
| parent | dc97c25fabb53f95c4f0826db2323008e22505fd (diff) | |
| download | justbuild-469a7190bee490344d147099c3511fc45e2aadf0.tar.gz | |
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.
Diffstat (limited to 'CHANGELOG.md')
| -rw-r--r-- | CHANGELOG.md | 2 |
1 files changed, 2 insertions, 0 deletions
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) |