Commits · features/solver-rebased · eic_tools / Spack · GitLab

Snippets Groups Projects

Sep 15, 2020
- ASP: add conflict rules from packages · c3880d8c
  Massimiliano Culpo authored Sep 15, 2020
  Unverified
  
  c3880d8c
- test_noversion_pkg: generalized the error to be caught · bb741664
  Massimiliano Culpo authored Sep 14, 2020
  Unverified
  
  bb741664
- compiler constraints: deduplicate the list of compilers before encoding one_of_iff rules · 7ece58a7
  Massimiliano Culpo authored Sep 14, 2020
  Unverified
  
  7ece58a7
- _new_concretize: import local module at the beginning of the function · 050e1f5e
  Massimiliano Culpo authored Sep 14, 2020
  Unverified
  
  050e1f5e
- WIP · e9c86606
  Todd Gamblin authored Jul 20, 2020
  
  Unverified
  
  e9c86606
- WIP · 2b97274b
  Todd Gamblin authored Jun 18, 2020
  
  Unverified
  
  2b97274b
- concretizer: use cardinality constraints for versions · 5523ddf4
  Todd Gamblin authored Jun 11, 2020
  Unverified
  
  5523ddf4
- concretizer: first working version with pyclingo interface · e42b26e0
  Todd Gamblin authored Jun 7, 2020
  Unverified
  
  e42b26e0
- concretizer: add a configuration option to use new or old concretizer · 00a96b03
  Todd Gamblin authored Jun 7, 2020
  Unverified
  
  00a96b03
- concretizer: use repository names, not specs with is_virtual · 9302f771
  Todd Gamblin authored Jun 7, 2020
  
  Unverified
  
  9302f771
- concretizer: refactor to support multiple solver backends · 04ff88ba
  Todd Gamblin authored May 15, 2020
  Unverified
  
  04ff88ba
- concretizer: set spec constraints correctly for body and head · 43f621aa
  Todd Gamblin authored May 13, 2020
  
  Unverified
  
  43f621aa
- concretizer: allow non-default OS, inherit OS along dependencies · dcf0d9a1
  Todd Gamblin authored Apr 19, 2020
  
  Unverified
  
  dcf0d9a1
- tests: add framework to mock targets · ec6b7924
  Todd Gamblin authored Apr 19, 2020
  
  Unverified
  
  ec6b7924
- concretizer: split platforms, OS, and targets apart in Python and ASP · 8433fdaa
  Todd Gamblin authored Apr 19, 2020
  
  Unverified
  
  8433fdaa
- concretizer: targets are inherited like compilers · ba6a376c
  Todd Gamblin authored Apr 19, 2020
  
  Unverified
  
  ba6a376c
- concretizer: change single-letter variables to descriptive names · 1fe9605b
  Todd Gamblin authored Feb 14, 2020
  Unverified
  
  1fe9605b
- concretizer: handle compiler existence check settings · 0534e608
  Todd Gamblin authored Jan 27, 2020
  Unverified
  
  0534e608
- concretizer: add initial package existence check · 9ec2074c
  Todd Gamblin authored Jan 27, 2020
  
  Unverified
  
  9ec2074c
- concretizer: handle virtual spec constraints better · 8b2f3685
  Todd Gamblin authored Jan 27, 2020
  Unverified
  
  8b2f3685
- concretizer: solve with compiler flags but preserve order · d2ecfee1
  Todd Gamblin authored Jan 26, 2020
  Unverified
  
  d2ecfee1
- concretizer: add timers around phases · 79174a42
  Todd Gamblin authored Jan 26, 2020
  
  Unverified
  
  79174a42
- concretizer: optimize microarchitectures, constrained by compiler support · 6939b4cf
  Todd Gamblin authored Jan 7, 2020
  Unverified
  
  6939b4cf
- concretizer bugfix: require at least one value for multi-value variants · 0387550d
  Todd Gamblin authored Jan 4, 2020
  Unverified
  
  0387550d
- commands: add --json argument to `spack solve` · 21d3ad92
  Todd Gamblin authored Jan 3, 2020
  
  Unverified
  
  21d3ad92
- concretizer: make some rules into facts · 55be9005
  Todd Gamblin authored Jan 3, 2020
  
  Unverified
  
  55be9005
- concretizer bugfix: all variants need possible values · 2126d64c
  Todd Gamblin authored Jan 3, 2020
  Unverified
  
  2126d64c
- concretizer bugfix: fix generations of conditionals for dependencies · 65ac2fdc
  Todd Gamblin authored Jan 3, 2020
  Unverified
  
  65ac2fdc
- concretizer bugfix: *at most* one provider for any virtual · 5866261f
  Todd Gamblin authored Jan 3, 2020
  
  Unverified
  
  5866261f
- concretizer: optimized for preferred virtuals before recent versions · 6cd56ed9
  Todd Gamblin authored Jan 3, 2020
  
  Unverified
  
  6cd56ed9
- concretizer: handle compiler preferences with optimization · cb613e44
  Todd Gamblin authored Jan 2, 2020
  Unverified
  
  cb613e44
- concretizer: deterministic order for asp output for better diffs · 73707e9c
  Todd Gamblin authored Dec 8, 2019
  Unverified
  
  73707e9c
- concretizer: rename --dump to --show · 187feeb3
  Todd Gamblin authored Dec 8, 2019
  
  Unverified
  
  187feeb3
- concretizer: handle package namespaces · dd623715
  Todd Gamblin authored Oct 17, 2019
  
  Unverified
  
  dd623715
- concretizer: handle constraints on dependencies, adjust optimization · 25ae8bae
  Todd Gamblin authored Oct 17, 2019
  Unverified
  
  25ae8bae
- concretizer: handle dependency types · 36908f19
  Todd Gamblin authored Oct 17, 2019
  
  Unverified
  
  36908f19
- concretizer: prioritize versions by package pref, newest, preferred, actual · 51806ba9
  Todd Gamblin authored Oct 14, 2019
  Unverified
  
  51806ba9
- concretizer: Use "competition" output format to avoid extra parsing · 197746cb
  Todd Gamblin authored Oct 14, 2019
  Unverified
  
  197746cb
- concretizer: handle virtual provider preferences from packages.yaml · 7e2dc862
  Todd Gamblin authored Oct 14, 2019
  
  Unverified
  
  7e2dc862
- concretizer: use clingo json output instead of text · 8186597f
  Todd Gamblin authored Oct 14, 2019
  Unverified
  
  8186597f