| Age | Commit message (Collapse) | Author | Files | Lines | |
|---|---|---|---|---|---|
| 2023-08-17 | Add debugging statements to file search (#39121) | Peter Scheibel | 1 | -2/+7 | |
| Co-authored-by: Scheibel <scheibel1@ml-9983616.the-lab.llnl.gov> | |||||
| 2023-08-17 | Delay abstract hashes lookup (#39251) | Harmen Stoppels | 7 | -68/+92 | |
| Delay lookup for abstract hashes until concretization time, instead of until Spec comparison. This has a few advantages: 1. `satisfies` / `intersects` etc don't always know where to resolve the abstract hash (in some cases it's wrong to look in the current env, db, buildcache, ...). Better to let the call site dictate it. 2. Allows search by abstract hash without triggering a database lookup, causing quadratic complexity issues (accidental nested loop during search) 3. Simplifies queries against the buildcache, they can now use Spec instances instead of strings. The rules are straightforward: 1. a satisfies b when b's hash is prefix of a's hash 2. a intersects b when either a's or b's hash is a prefix of b's or a's hash respectively | |||||
| 2023-08-16 | Extract Package from PackageNode for error messages | Massimiliano Culpo | 1 | -72/+72 | |
| 2023-08-16 | Avoid sort on singleton list during edge insertion (#39458) | Harmen Stoppels | 1 | -9/+7 | |
| The median length of this list of 1. For reasons I don't know, `.sort()` still like to call the key function. This saves ~9% of total database read time, and the number of calls goes from 5305 -> 1715. | |||||
| 2023-08-16 | Do not impose provider conditions, if the node is not a provider (#39456) | Massimiliano Culpo | 2 | -8/+30 | |
| * Do not impose provider conditions, if the node is not a provider fixes #39455 When a node can be a provider of a spec, but is not selected as a provider, we should not be imposing provider conditions on the virtual. * Adjust the integrity constraint, by using the correct atom | |||||
| 2023-08-16 | json: minify by default (#39457) | Harmen Stoppels | 1 | -1/+1 | |
| 2023-08-16 | Add new custom markers to unit tests (#33862) | Massimiliano Culpo | 82 | -500/+211 | |
| * Add "only_clingo", "only_original" and "not_on_windows" markers * Modify tests to use the "not_on_windows" marker * Mark tests that run only with clingo * Mark tests that run only with the original concretizer | |||||
| 2023-08-15 | Change semantic for providers | Massimiliano Culpo | 2 | -11/+57 | |
| If a possible provider is not used to satisfy a vdep, then it's not a provider of that vdep. | |||||
| 2023-08-15 | Change "effect_rules" for symmetry with trigger rules | Massimiliano Culpo | 1 | -13/+16 | |
| This even though right now we don't have cases where the effect is on another package. | |||||
| 2023-08-15 | Rework conflicts so that "vendors" is not needed anymore | Massimiliano Culpo | 4 | -78/+28 | |
| 2023-08-15 | Add a description at the top of lp files | Massimiliano Culpo | 4 | -2/+22 | |
| 2023-08-15 | Remove commented out code in lp files | Massimiliano Culpo | 2 | -13/+0 | |
| 2023-08-15 | Reduce line length in lp file | Massimiliano Culpo | 1 | -3/+11 | |
| 2023-08-15 | Demote warning to debug message | Massimiliano Culpo | 1 | -1/+1 | |
| 2023-08-15 | Rename "main_node" -> "make_node" | Massimiliano Culpo | 2 | -8/+8 | |
| 2023-08-15 | Rename ""*_node" -> "*_dupe" | Massimiliano Culpo | 2 | -28/+28 | |
| 2023-08-15 | Rename "stringify", improve docs | Massimiliano Culpo | 1 | -10/+15 | |
| 2023-08-15 | Add vendors directive | Massimiliano Culpo | 4 | -0/+81 | |
| For the time being this directive prevents the vendored package to be in the same DAG as the one vendoring it. | |||||
| 2023-08-15 | Add "^" automatically for named conflicts that don't refer to 'this' package | Massimiliano Culpo | 1 | -1/+14 | |
| See https://github.com/spack/spack/pull/38447#discussion_r1285291520 | |||||
| 2023-08-15 | Inline a few functions that are not needed anymore | Massimiliano Culpo | 1 | -20/+8 | |
| 2023-08-15 | Remove the need for "node_regex" | Massimiliano Culpo | 2 | -12/+21 | |
| 2023-08-15 | Rename method: "root_node" -> "main_node" | Massimiliano Culpo | 2 | -7/+7 | |
| 2023-08-15 | Rename const: "root_node_id" -> "main_node_id" | Massimiliano Culpo | 1 | -13/+14 | |
| 2023-08-15 | Rename atom: "special_case" -> "multiple_nodes_attribute" | Massimiliano Culpo | 1 | -5/+6 | |
| 2023-08-15 | Rename atom: "facts" -> "pkg_fact" | Massimiliano Culpo | 3 | -87/+87 | |
| 2023-08-15 | Simplify "node_has_variant" internal atom. | Massimiliano Culpo | 1 | -13/+13 | |
| 2023-08-15 | Removed leftover TODOs | Massimiliano Culpo | 2 | -14/+5 | |
| 2023-08-15 | Improve handling of cases with cycles | Massimiliano Culpo | 3 | -28/+54 | |
| To avoid paying the cost of setup and of a full grounding again, move cycle detection into a separate program and check first if the solution has cycles. If it has, ground only the integrity constraint preventing cycles and solve again. | |||||
| 2023-08-15 | Optimize grounding of "can_inherit_flags" | Massimiliano Culpo | 1 | -3/+6 | |
| 2023-08-15 | Fix computation of max nodes | Massimiliano Culpo | 3 | -30/+39 | |
| 2023-08-15 | Add unit-tests for use cases requiring separate concretization of build deps | Massimiliano Culpo | 2 | -0/+81 | |
| 2023-08-15 | Add a new configuration option to select among different concretization modes | Massimiliano Culpo | 4 | -48/+191 | |
| The "concretizer" section has been extended with a "duplicates:strategy" attribute, that can take three values: - "none": only 1 node per package - "minimal": allow multiple nodes opf specific packages - "full": allow full duplication for a build tool | |||||
| 2023-08-15 | Fix a few bugs in the encoding when imposing constraints on build deps only | Massimiliano Culpo | 1 | -14/+12 | |
| These bugs would show up when we try to split nodes by imposing different targets or different compilers to all build dependencies. | |||||
| 2023-08-15 | Construct unification sets on demand, improve heuristic | Massimiliano Culpo | 3 | -31/+79 | |
| 2023-08-15 | Reduce the number of unification sets to only two | Massimiliano Culpo | 1 | -1/+2 | |
| 2023-08-15 | Make cycle detection optional, to speed-up grounding and solving | Massimiliano Culpo | 3 | -11/+35 | |
| 2023-08-15 | Deduplicate trigger and effect conditions in packages | Massimiliano Culpo | 2 | -28/+95 | |
| This refactor introduces extra indices for triggers and effect of a condition, so that the corresponding clauses are evaluated once for every condition they apply to. | |||||
| 2023-08-15 | Extract a function to emit variant rules | Massimiliano Culpo | 1 | -20/+23 | |
| 2023-08-15 | ASP-based solver: do not optimize on known dimensions | Massimiliano Culpo | 4 | -30/+33 | |
| All the solution modes we use imply that we have to solve for all the literals, except for "when possible". Here we remove a minimization on the number of literals not solved, and emit directly a fact when a literal *has* to be solved. | |||||
| 2023-08-15 | Tweak a unit test by allowing a different type of exception to be raised | Massimiliano Culpo | 1 | -2/+3 | |
| 2023-08-15 | Reduce the dependency types in a solve | Massimiliano Culpo | 1 | -4/+25 | |
| Count the maximum number of nodes based on dependency types | |||||
| 2023-08-15 | Parametrize all the logic program for multiple nodes | Massimiliano Culpo | 3 | -77/+185 | |
| Introduce the concept of "condition sets", i.e. the set of packages on which a package can require / impose conditions. This currently maps to the link/run sub-dag of each package + its direct build dependencies. Parametrize the "condition" and "requirement" logic to multiple nodes. | |||||
| 2023-08-15 | Introduce unification sets | Massimiliano Culpo | 1 | -5/+13 | |
| Unification sets are possibly overlapping sets of nodes that might contain at most a single configuration for any package. | |||||
| 2023-08-15 | Allow clingo to generate edges | Massimiliano Culpo | 2 | -20/+33 | |
| 2023-08-15 | Rework the encoding to introduce node(ID, Package) nested facts | Massimiliano Culpo | 3 | -543/+635 | |
| So far the encoding has a single ID per package, i.e. all the facts will be node(0, Package). This will prepare the stage for extending this logic and having multiple nodes from the same package in a DAG. | |||||
| 2023-08-15 | Remove unneeded #defined directives | Massimiliano Culpo | 1 | -31/+0 | |
| 2023-08-15 | Remove useless rule | Massimiliano Culpo | 1 | -5/+0 | |
| The version_equivalent fact was deleted in #36347, but the corresponding rule was not removed. | |||||
| 2023-08-15 | Transform many package related facts to use a nested function | Massimiliano Culpo | 3 | -112/+141 | |
| Each fact that is deduced from package rules, and start with a bare package atom, is transformed into a "facts" atom containing a nested function. For instance we transformed version_declared(Package, ...) -> facts(Package, version_declared(...)) This allows us to clearly mark facts that represent a rule on the package, and will be of help later when we'll have to distinguish the cases where the atom "Package" is being used referred to package rules and not to a node in the DAG. | |||||
| 2023-08-15 | spack.caches: uppercase global variables (#39428) | Massimiliano Culpo | 9 | -23/+24 | |
| 2023-08-15 | spack.config: use all caps for globals (#39424) | Harmen Stoppels | 29 | -160/+147 | |
 |
index : spack | |
| A flexible package manager that supports multiple versions, configurations, platforms, and compilers. | root |
| summaryrefslogtreecommitdiff |