summaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2023-08-15Add a new configuration option to select among different concretization modesMassimiliano Culpo5-48/+197
2023-08-15Fix a few bugs in the encoding when imposing constraints on build deps onlyMassimiliano Culpo1-14/+12
2023-08-15Construct unification sets on demand, improve heuristicMassimiliano Culpo4-31/+81
2023-08-15Reduce the number of unification sets to only twoMassimiliano Culpo1-1/+2
2023-08-15Make cycle detection optional, to speed-up grounding and solvingMassimiliano Culpo3-11/+35
2023-08-15Deduplicate trigger and effect conditions in packagesMassimiliano Culpo2-28/+95
2023-08-15Extract a function to emit variant rulesMassimiliano Culpo1-20/+23
2023-08-15ASP-based solver: do not optimize on known dimensionsMassimiliano Culpo4-30/+33
2023-08-15Tweak a unit test by allowing a different type of exception to be raisedMassimiliano Culpo1-2/+3
2023-08-15Reduce the dependency types in a solveMassimiliano Culpo1-4/+25
2023-08-15Parametrize all the logic program for multiple nodesMassimiliano Culpo3-77/+185
2023-08-15Introduce unification setsMassimiliano Culpo1-5/+13
2023-08-15Allow clingo to generate edgesMassimiliano Culpo2-20/+33
2023-08-15Rework the encoding to introduce node(ID, Package) nested factsMassimiliano Culpo3-543/+635
2023-08-15Remove unneeded #defined directivesMassimiliano Culpo1-31/+0
2023-08-15Remove useless ruleMassimiliano Culpo1-5/+0
2023-08-15Transform many package related facts to use a nested functionMassimiliano Culpo3-112/+141
2023-08-15adding new rpp package (#38942)afzpatel4-0/+189
2023-08-15Add mold 2.1.0 (#39443)Mikael Simberg1-0/+1
2023-08-15Add version HDF5 1.14.2 (#39409)Larry Knox1-0/+5
2023-08-15arborx: new version and patch for 1.4 with Trilinos (#39438)Andrey Prokopenko2-0/+18
2023-08-15Add gperftools 2.11 (#39440)Mikael Simberg1-0/+1
2023-08-15spack.caches: uppercase global variables (#39428)Massimiliano Culpo9-23/+24
2023-08-15squashfs: Add static variant (#39433)Bryan Herman1-0/+7
2023-08-15spack.config: use all caps for globals (#39424)Harmen Stoppels29-160/+147
2023-08-14intel-xed: add version 2023.07.09 (#39436)Mark W. Krentel1-0/+1
2023-08-14Spiner and ports-of-call updates (#39437)Richard Berger2-0/+2
2023-08-14Windows: executable/path handling (#37762)markus-ferrell6-62/+93
2023-08-14fuse-overlayfs needs pkgconfig to build (#39431)Bryan Herman1-0/+1
2023-08-14xyce: Disable CMake test for OneAPI (#39429)Paul Kuberry2-0/+42
2023-08-14Windows: enable "spack install" tests (#34696)markus-ferrell11-212/+145
2023-08-14fixed build of libfuse need werror (#39430)Bryan Herman1-0/+2
2023-08-14trilinos@14.4.0 +kokkos: use external kokkos (#39397)eugeneswalker1-0/+19
2023-08-14Fix style issues with latest versions of tools (#39422)Massimiliano Culpo13-27/+21
2023-08-14Add Boost 1.83.0 (#39415)Mikael Simberg1-0/+1
2023-08-14Fix containerize view symlink issue (#39419)Harmen Stoppels3-16/+22
2023-08-14Add patch to build silo on nixos (#39375)Mikael Simberg2-0/+27
2023-08-14Add fmt 10.1.0 (#39413)Mikael Simberg1-0/+1
2023-08-14mold: add v2.0.0 (#39416)Mikael Simberg1-0/+1
2023-08-14Added package for the hipTT library (#39388)Brian Van Essen3-0/+54
2023-08-14dd4hep: new version 1.26 (#39230)Wouter Deconinck1-0/+17
2023-08-14Fix broken semver regex (#39414)Harmen Stoppels2-9/+36
2023-08-14spack bootstrap dev: detect git as an external (#39417)Harmen Stoppels2-2/+11
2023-08-14arrow: fix conditional spec expression (#38212) (#38213)Pariksheet Nanda1-1/+1
2023-08-14wrf: add v4.5.1 (#39291)Hao Lyu1-0/+5
2023-08-14gromacs: add plumed 2.8.3-2.9.0 variants (#39411)Audrius Kalpokas1-30/+33
2023-08-14py-scikits-odes: add a new package (#39061)Pariksheet Nanda1-0/+52
2023-08-13Python: fix Apple Clang +optimizations build (#39412)Adam J. Stewart1-1/+6
2023-08-13release 0.0.1 py-dlio-profiler-py (#39377)Hariharan Devarajan1-0/+30
2023-08-13py-pyliblzma: remove python2 package (#39399)Wouter Deconinck1-18/+0
generated by cgit v1.2.3-60-g2f50 (git 2.42.0) at 2024-07-03 09:13:58 +0000