Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Creffett moved page [[User:MGorny/GLEP:ReqUse]] to [[GLEP:73]] without leavin...wikiChris Reffett2017-07-180-0/+0
* /* 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 di...Michał Górny2017-07-091-1/+2
* 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 implica...Michał Górny2017-07-071-0/+12
* /* 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
* /* 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 mor...Michał Górny2017-06-281-5/+6
* /* QA checks to verify REQUIRED_USE solutions */ merge check logic into a sin...Michał Górny2017-06-281-12/+2
* /* 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 n...Michał Górny2017-06-271-0/+2
* /* Concept for transforming REQUIRED_USE into implications */ update to cover...Michał Górny2017-06-271-7/+7
* /* Concept for transforming REQUIRED_USE into implications */ include node nu...Michał Górny2017-06-271-5/+5
* /* 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 positi...Michał Górny2017-06-261-1/+2
* /* Requirements for REQUIRED_USE constraints */ back-alteration is only a pro...Michał Górny2017-06-261-1/+1
* /* 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 & disab...Michał Górny2017-06-231-0/+1
* /* QA checks to verify REQUIRED_USE solutions */ remove partial algo, for fut...Michał Górny2017-06-231-63/+2
* /* 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