diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2022-06-16 23:17:40 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-16 14:17:40 -0700 |
| commit | 267358a7992ed1644f0570269054e3c4efa39c80 (patch) | |
| tree | 4c20dbfa686c219a5dba88c941ff85bf17c3d094 /.gitignore | |
| parent | 392b5483122dd706ab4d3ab16ea0dc9b0c213bbe (diff) | |
| download | spack-267358a7992ed1644f0570269054e3c4efa39c80.tar.gz spack-267358a7992ed1644f0570269054e3c4efa39c80.tar.bz2 spack-267358a7992ed1644f0570269054e3c4efa39c80.tar.xz spack-267358a7992ed1644f0570269054e3c4efa39c80.zip | |
ASP-based solver: fix rules on version weights selection (#31153)
* ASP: sort and deduplicate version weights from installed specs
* Pick version weights according to provenance
* Add unit test
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions