Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Creffett moved page [[User:MGorny/GLEP:ReqUse]] to [[GLEP:73]] without ↵wikiChris Reffett2017-07-180-0/+0
| | | | leaving a redirect: Initial GLEP
* /* PkgCore */ it is done!Michał Górny2017-07-151-1/+1
|
* /* PkgCore */ updateMichał Górny2017-07-151-5/+1
|
* /* Specification */ note that glep doesn't enforce policies directlyMichał Górny2017-07-091-0/+4
|
* /* Empty any-of, at-most-one-of, exactly-one-of groups */ use countsMichał Górny2017-07-091-0/+2
|
* /* Restrictions for allowed REQUIRED_USE syntax */ ban on empty groupsMichał Górny2017-07-091-0/+15
|
* /* Restrictions on REQUIRED_USE format */ disallow empty ||/??/^^, per the ↵Michał Górny2017-07-091-1/+2
| | | | discussion
* thanks to aballierMichał Górny2017-07-081-0/+4
|
* /* Proof-of-concept code */ full info after repo cleanupMichał Górny2017-07-081-1/+9
|
* /* Limitations of the algorithm */ use a simpler exampleMichał Górny2017-07-081-2/+2
|
* /* QA checks/verification */ helper algosMichał Górny2017-07-081-0/+19
|
* /* Verification: enabling a condition preceding the constraint */ explainMichał Górny2017-07-071-0/+25
|
* /* Verification: forcing opposite values for a flag */ explainMichał Górny2017-07-071-0/+32
|
* /* Verification: self-conflicting constraints */ explainMichał Górny2017-07-071-0/+7
|
* /* QA checks/verification */ add sections for all verificationsMichał Górny2017-07-071-1/+7
|
* /* QA checks/verification */ immutability checkMichał Górny2017-07-071-0/+21
|
* /* QA checks to verify REQUIRED_USE solutions */ mention the indirect ↵Michał Górny2017-07-071-0/+12
| | | | implication problem
* /* QA checks/verification */ choice of algoMichał Górny2017-07-071-0/+19
|
* Light editing: Sentence case for section headers. Whitespace.Matthew Marchese2017-06-281-13/+66
|
* /* QA check logic */ Add whitespace in attempt to correct margins around the ↵Matthew Marchese2017-06-281-9/+17
| | | | lists.
* /* QA check logic */ describe helpersMichał Górny2017-06-281-1/+16
|
* /* QA check logic */ make self-conflict more formalMichał Górny2017-06-281-2/+1
|
* /* QA check logic */ include all logicsMichał Górny2017-06-281-0/+11
|
* /* QA check logic */ make it clear we're not going out of single CMichał Górny2017-06-281-2/+2
|
* /* QA check logic */ use symbols to shorten the algos, and make them look ↵Michał Górny2017-06-281-5/+6
| | | | more formal
* /* QA checks to verify REQUIRED_USE solutions */ merge check logic into a ↵Michał Górny2017-06-281-12/+2
| | | | single subsection
* /* QA checks to verify REQUIRED_USE solutions */ two trivial checksMichał Górny2017-06-271-0/+15
|
* /* QA checks to verify REQUIRED_USE solutions */ initial logic for checkMichał Górny2017-06-271-0/+11
|
* /* QA checks/verification */ explain the transformMichał Górny2017-06-271-0/+30
|
* /* Algorithm for transforming REQUIRED_USE into implications */ include the ↵Michał Górny2017-06-271-0/+2
| | | | need for unique id
* /* Concept for transforming REQUIRED_USE into implications */ update to ↵Michał Górny2017-06-271-7/+7
| | | | cover 'common prefix' corner case
* /* Concept for transforming REQUIRED_USE into implications */ include node ↵Michał Górny2017-06-271-5/+5
| | | | numbers in path list
* /* QA checks to verify REQUIRED_USE solutions */ move transformation algo backMichał Górny2017-06-271-2/+63
|
* /* The requirements for REQUIRED_USE */ explain second iteration false ↵Michał Górny2017-06-261-1/+2
| | | | positive problem
* /* Requirements for REQUIRED_USE constraints */ back-alteration is only a ↵Michał Górny2017-06-261-1/+1
| | | | problem if it changes anything
* /* QA checks/verification */ necessity for verificationMichał Górny2017-06-261-0/+9
|
* assign the next free numberMichał Górny2017-06-231-1/+1
|
* Make the title pluralMichał Górny2017-06-231-1/+1
|
* /* QA checks/verification */ validation rulesMichał Górny2017-06-231-0/+10
|
* /* Rationale */ qa checks -> contextMichał Górny2017-06-231-0/+11
|
* /* Requirements for REQUIRED_USE constraints */ flag can't be enabled & ↵Michał Górny2017-06-231-0/+1
| | | | disabled at the same time
* /* QA checks to verify REQUIRED_USE solutions */ remove partial algo, for ↵Michał Górny2017-06-231-63/+2
| | | | future reintroduction
* /* Backwards Compatibility */ PMS complianceMichał Górny2017-06-231-0/+7
|
* /* Abstract */ fill inMichał Górny2017-06-231-0/+1
|
* /* PkgCore */ note that CI tests this code alreadyMichał Górny2017-06-231-0/+2
|
* /* Reference Implementation */ ref implsMichał Górny2017-06-231-0/+6
|
* /* Old constraints vs auto-solving */ finishMichał Górny2017-06-231-1/+15
|
* /* Backwards Compatibility */ partially fill inMichał Górny2017-06-231-0/+26
|
* /* Solving algorithm */ single/multi-iteration logicMichał Górny2017-06-221-0/+11
|
* /* Solving algorithm */ constraint orderingMichał Górny2017-06-221-0/+13
|