diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2023-12-06 19:12:42 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-06 19:12:42 +0100 |
| commit | 5404a5bb82f3fdb2e4faf67b3c46fc5daa13413d (patch) | |
| tree | 530b5242bf6d74b249831413bac140ee536e1e18 /README.md | |
| parent | b522d8f610e5cf74c949693f816ef4487ddfc2cb (diff) | |
| download | spack-5404a5bb82f3fdb2e4faf67b3c46fc5daa13413d.tar.gz spack-5404a5bb82f3fdb2e4faf67b3c46fc5daa13413d.tar.bz2 spack-5404a5bb82f3fdb2e4faf67b3c46fc5daa13413d.tar.xz spack-5404a5bb82f3fdb2e4faf67b3c46fc5daa13413d.zip | |
llvm: reformulate a when condition to avoid tautology (#41461)
The condition on swig can be interpreted as "true if true,
false if false" and gives clingo the option to add swig
or not.
If not other optimization criteria break the tie, then
the concretization is non-deterministic.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions