[c++concepts] Reducing requirements
Gabriel Dos Reis
Fri Mar 29 16:42: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>
| * gcc/cp/Makefile.lang.in: Add constraints.o target.
Wrong filename. It should be gcc/cp/Make-lang.in.
--- constraint.cc (revision 0)
+++ constraint.cc (revision 0)
@@ -0,0 +1,450 @@
+/* Process declarations and variables for C++ compiler.
+ Copyright (C) 1988-2013 Free Software Foundation, Inc.
+ Contributed by Michael Tiemann (email@example.com)
This file is newly introduced, so the copyright date should be 2013.
It is being contributed by Andrew Sutton if I am not mistaken :-)
Patch OK to commit with these issues fixed.
More information about the Gcc-patches