summaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2020-11-17Added unit tests to for regressions on open concretizer bugsMassimiliano Culpo11-8/+306
2020-11-17Changed clingo optionsMassimiliano Culpo1-1/+4
2020-11-17Reworked optimization rulesMassimiliano Culpo1-15/+49
2020-11-17concretizer: set target preference for inheritance from rootMassimiliano Culpo1-0/+7
2020-11-17install: one less concretization when installing from fileMassimiliano Culpo1-2/+3
2020-11-17Fixed branch after rebase (port to archspec)Massimiliano Culpo2-13/+14
2020-11-17Add unit tests for dependencies being patched by parentMassimiliano Culpo4-0/+23
2020-11-17concretizer: handle dependencies conditional on other dependenciesMassimiliano Culpo1-5/+10
2020-11-17tests: verify to handle dependencies conditional on other dependenciesMassimiliano Culpo2-0/+39
2020-11-17concretizer: handle conflicts with compiler ranges correctlyMassimiliano Culpo5-21/+70
2020-11-17Github actions: add CI for ASP based solverMassimiliano Culpo4-0/+37
2020-11-17Make all tests passMassimiliano Culpo8-28/+41
2020-11-17concretizer: added handling for dev_path variantMassimiliano Culpo3-10/+77
2020-11-17concretizer: ensure upfront that variants are validMassimiliano Culpo3-12/+31
2020-11-17concretizer: account for test dependencies only when requiredMassimiliano Culpo3-39/+38
2020-11-17Fix installer.py unit tests that check outputMassimiliano Culpo1-1/+2
2020-11-17Compute the correct package name for hierarchies that change class namesMassimiliano Culpo1-1/+5
2020-11-17concretizer: handle variants defined through validatorsMassimiliano Culpo2-2/+23
2020-11-17concretizer: account for patches variantMassimiliano Culpo2-44/+55
2020-11-17concretizer: ensure that no deprecated spec is being usedMassimiliano Culpo2-16/+30
2020-11-17conftest: hook the new solver in the config fixtureMassimiliano Culpo6-10/+12
2020-11-17concretizer: handle "none" value and '*' wildcardMassimiliano Culpo2-2/+9
2020-11-17Fixed failing unit testsMassimiliano Culpo6-20/+27
2020-11-17concretizer: virtual entry in packages.yaml, external modulesMassimiliano Culpo2-11/+54
2020-11-17concretizer: concretize a virtual rootMassimiliano Culpo4-5/+41
2020-11-17concretizer: handle version preferences from packages.yamlMassimiliano Culpo2-2/+22
2020-11-17concretizer: handle target preferences from packages.yamlMassimiliano Culpo2-9/+45
2020-11-17concretizer: fixed test on compiler preferencesMassimiliano Culpo3-3/+3
2020-11-17concretizer: added logic for preferred variantsMassimiliano Culpo4-25/+63
2020-11-17concretizer: refine compiler logicMassimiliano Culpo4-17/+42
2020-11-17Fixed failing unit testsMassimiliano Culpo2-10/+11
2020-11-17concretizer: prefer using the same compiler over using newer versionsMassimiliano Culpo1-5/+5
2020-11-17concretizer: added support for versioned virtual specsMassimiliano Culpo2-29/+96
2020-11-17concretizer: added rules and code for externalsMassimiliano Culpo4-28/+178
2020-11-17package_sanity: fixed wrong string formatMassimiliano Culpo1-1/+1
2020-11-17concretizer: add conflict rules from packagesMassimiliano Culpo3-28/+72
2020-11-17test_noversion_pkg: generalized the error to be caughtMassimiliano Culpo1-2/+2
2020-11-17compiler constraints: deduplicate the list of compilers before encoding one_o...Massimiliano Culpo1-0/+1
2020-11-17concretizer: add compiler version constraintsTodd Gamblin6-61/+59
2020-11-17concretizer: use cardinality constraints for versionsTodd Gamblin4-42/+60
2020-11-17concretizer: first working version with pyclingo interfaceTodd Gamblin5-64/+310
2020-11-17concretizer: add a configuration option to use new or old concretizerTodd Gamblin4-1/+51
2020-11-17concretizer: use repository names, not specs with is_virtualTodd Gamblin2-1/+4
2020-11-17concretizer: refactor to support multiple solver backendsTodd Gamblin1-285/+276
2020-11-17concretizer: set spec constraints correctly for body and headTodd Gamblin1-3/+5
2020-11-17concretizer: allow non-default OS, inherit OS along dependenciesTodd Gamblin2-14/+30
2020-11-17tests: add framework to mock targetsTodd Gamblin5-7/+530
2020-11-17concretizer: split platforms, OS, and targets apart in Python and ASPTodd Gamblin2-25/+69
2020-11-17concretizer: targets are inherited like compilersTodd Gamblin1-1/+10
2020-11-17concretizer: change single-letter variables to descriptive namesTodd Gamblin1-108/+175