[c++concepts] Reducing requirements
Gabriel Dos Reis
Fri Mar 29 16:45:00 GMT 2013
Andrew Sutton <email@example.com> writes:
| Implements reduction of requirements into the constraints language:
| logical formulas comprised of atomic propositions. Calls to constraint
| predicates are recursively inlined in the resulting expression. All
| other calls are treated as atoms.
| 2013-03-01 Andrew Sutton <firstname.lastname@example.org>
Forgot to add: the ChangeLog goes into ChangeLog.concepts.
More information about the Gcc-patches