Age | Commit message (Expand) | Author | Files | Lines |
2020-11-17 | concretizer: handle "none" value and '*' wildcard | Massimiliano Culpo | 2 | -2/+9 |
2020-11-17 | Fixed failing unit tests | Massimiliano Culpo | 6 | -20/+27 |
2020-11-17 | concretizer: virtual entry in packages.yaml, external modules | Massimiliano Culpo | 2 | -11/+54 |
2020-11-17 | concretizer: concretize a virtual root | Massimiliano Culpo | 4 | -5/+41 |
2020-11-17 | concretizer: handle version preferences from packages.yaml | Massimiliano Culpo | 2 | -2/+22 |
2020-11-17 | concretizer: handle target preferences from packages.yaml | Massimiliano Culpo | 2 | -9/+45 |
2020-11-17 | concretizer: fixed test on compiler preferences | Massimiliano Culpo | 3 | -3/+3 |
2020-11-17 | concretizer: added logic for preferred variants | Massimiliano Culpo | 4 | -25/+63 |
2020-11-17 | concretizer: refine compiler logic | Massimiliano Culpo | 4 | -17/+42 |
2020-11-17 | Fixed failing unit tests | Massimiliano Culpo | 2 | -10/+11 |
2020-11-17 | concretizer: prefer using the same compiler over using newer versions | Massimiliano Culpo | 1 | -5/+5 |
2020-11-17 | concretizer: added support for versioned virtual specs | Massimiliano Culpo | 2 | -29/+96 |
2020-11-17 | concretizer: added rules and code for externals | Massimiliano Culpo | 4 | -28/+178 |
2020-11-17 | package_sanity: fixed wrong string format | Massimiliano Culpo | 1 | -1/+1 |
2020-11-17 | concretizer: add conflict rules from packages | Massimiliano Culpo | 3 | -28/+72 |
2020-11-17 | test_noversion_pkg: generalized the error to be caught | Massimiliano Culpo | 1 | -2/+2 |
2020-11-17 | compiler constraints: deduplicate the list of compilers before encoding one_o... | Massimiliano Culpo | 1 | -0/+1 |
2020-11-17 | concretizer: add compiler version constraints | Todd Gamblin | 6 | -61/+59 |
2020-11-17 | concretizer: use cardinality constraints for versions | Todd Gamblin | 4 | -42/+60 |
2020-11-17 | concretizer: first working version with pyclingo interface | Todd Gamblin | 5 | -64/+310 |
2020-11-17 | concretizer: add a configuration option to use new or old concretizer | Todd Gamblin | 4 | -1/+51 |
2020-11-17 | concretizer: use repository names, not specs with is_virtual | Todd Gamblin | 2 | -1/+4 |
2020-11-17 | concretizer: refactor to support multiple solver backends | Todd Gamblin | 1 | -285/+276 |
2020-11-17 | concretizer: set spec constraints correctly for body and head | Todd Gamblin | 1 | -3/+5 |
2020-11-17 | concretizer: allow non-default OS, inherit OS along dependencies | Todd Gamblin | 2 | -14/+30 |
2020-11-17 | tests: add framework to mock targets | Todd Gamblin | 5 | -7/+530 |
2020-11-17 | concretizer: split platforms, OS, and targets apart in Python and ASP | Todd Gamblin | 2 | -25/+69 |
2020-11-17 | concretizer: targets are inherited like compilers | Todd Gamblin | 1 | -1/+10 |
2020-11-17 | concretizer: change single-letter variables to descriptive names | Todd Gamblin | 1 | -108/+175 |
2020-11-17 | concretizer: handle compiler existence check settings | Todd Gamblin | 1 | -4/+27 |
2020-11-17 | concretizer: add initial package existence check | Todd Gamblin | 1 | -0/+12 |
2020-11-17 | concretizer: handle virtual spec constraints better | Todd Gamblin | 2 | -4/+11 |
2020-11-17 | concretizer: solve with compiler flags but preserve order | Todd Gamblin | 3 | -14/+166 |
2020-11-17 | concretizer: add timers around phases | Todd Gamblin | 2 | -4/+38 |
2020-11-17 | concretizer: optimize microarchitectures, constrained by compiler support | Todd Gamblin | 3 | -66/+145 |
2020-11-17 | concretizer bugfix: require at least one value for multi-value variants | Todd Gamblin | 1 | -0/+4 |
2020-11-17 | commands: add --json argument to `spack solve` | Todd Gamblin | 1 | -10/+18 |
2020-11-17 | concretizer: make some rules into facts | Todd Gamblin | 1 | -9/+5 |
2020-11-17 | concretizer bugfix: all variants need possible values | Todd Gamblin | 1 | -0/+4 |
2020-11-17 | concretizer bugfix: fix generations of conditionals for dependencies | Todd Gamblin | 1 | -4/+7 |
2020-11-17 | concretizer bugfix: *at most* one provider for any virtual | Todd Gamblin | 1 | -2/+2 |
2020-11-17 | concretizer: optimized for preferred virtuals before recent versions | Todd Gamblin | 2 | -5/+5 |
2020-11-17 | concretizer: handle compiler preferences with optimization | Todd Gamblin | 4 | -73/+126 |
2020-11-17 | concretizer: deterministic order for asp output for better diffs | Todd Gamblin | 1 | -14/+14 |
2020-11-17 | concretizer: rename --dump to --show | Todd Gamblin | 1 | -8/+8 |
2020-11-17 | concretizer: handle package namespaces | Todd Gamblin | 1 | -0/+7 |
2020-11-17 | concretizer: handle constraints on dependencies, adjust optimization | Todd Gamblin | 3 | -10/+49 |
2020-11-17 | concretizer: handle dependency types | Todd Gamblin | 5 | -17/+42 |
2020-11-17 | concretizer: prioritize versions by package pref, newest, preferred, actual | Todd Gamblin | 2 | -2/+53 |
2020-11-17 | concretizer: Use "competition" output format to avoid extra parsing | Todd Gamblin | 2 | -18/+45 |