Page MenuHomePhabricator
Feed Advanced Search

Mar 15 2018

saar.raz updated the diff for D41569: [Concepts] Constraint enforcement and diagnostics.

Fixed another SpecializedConcept reference to NamedConcept.

Mar 15 2018, 2:29 AM · Restricted Project
saar.raz updated the diff for D41569: [Concepts] Constraint enforcement and diagnostics.

Fixed SpecializedConcept reference to NamedConcept.

Mar 15 2018, 1:58 AM · Restricted Project
saar.raz updated the diff for D41569: [Concepts] Constraint enforcement and diagnostics.

Adjusted to changes in D41217

Mar 15 2018, 12:38 AM · Restricted Project
saar.raz updated the diff for D41284: [Concepts] Associated constraints infrastructure..

Fixed reference to TemplateParams member in assertion.

Mar 15 2018, 12:06 AM · Restricted Project

Mar 14 2018

saar.raz updated the diff for D41217: [Concepts] Concept Specialization Expressions.

Applied missing clang-format.

Mar 14 2018, 11:52 PM · Restricted Project
saar.raz updated the diff for D41217: [Concepts] Concept Specialization Expressions.

Addressed most comments.

Mar 14 2018, 11:41 PM · Restricted Project
saar.raz added inline comments to D41217: [Concepts] Concept Specialization Expressions.
Mar 14 2018, 11:23 AM · Restricted Project

Mar 10 2018

saar.raz added inline comments to D40381: Parse concept definition.
Mar 10 2018, 6:03 AM · Restricted Project
saar.raz added a child revision for D41284: [Concepts] Associated constraints infrastructure.: D41569: [Concepts] Constraint enforcement and diagnostics.
Mar 10 2018, 4:31 AM · Restricted Project
saar.raz added a parent revision for D41569: [Concepts] Constraint enforcement and diagnostics: D41284: [Concepts] Associated constraints infrastructure..
Mar 10 2018, 4:31 AM · Restricted Project
saar.raz retitled D41569: [Concepts] Constraint enforcement and diagnostics from Summary: Constraint enforcement and diagnostics to [Concepts] Constraint enforcement and diagnostics.
Mar 10 2018, 4:26 AM · Restricted Project
saar.raz retitled D43357: [Concepts] Function trailing requires clauses from Function trailing requires clauses to [Concepts] Function trailing requires clauses.
Mar 10 2018, 4:25 AM · Restricted Project
saar.raz created D44352: [Concepts] Type Constraints.
Mar 10 2018, 4:14 AM · Restricted Project
saar.raz added a child revision for D43357: [Concepts] Function trailing requires clauses: D44352: [Concepts] Type Constraints.
Mar 10 2018, 4:14 AM · Restricted Project
saar.raz updated the diff for D41910: [Concepts] Constrained partial specializations and function overloads..
  • Correct handling of non-substitutable concept specialization expressions.
Mar 10 2018, 4:04 AM · Restricted Project
saar.raz updated the diff for D41569: [Concepts] Constraint enforcement and diagnostics.

Fixed crash caused by substitution of pack expansion into non-pack parameters in constraint expressions.

Mar 10 2018, 4:03 AM · Restricted Project
saar.raz updated the diff for D41217: [Concepts] Concept Specialization Expressions.
  • Fixed incorrect checking of atomic constraint types.
Mar 10 2018, 3:57 AM · Restricted Project
saar.raz added inline comments to D40381: Parse concept definition.
Mar 10 2018, 3:56 AM · Restricted Project

Feb 15 2018

saar.raz retitled D43357: [Concepts] Function trailing requires clauses from Function trailing requires clauses now parsed, supported in overload resolution and when calling, referencing and taking the address of functions or function templates. Does not directly affect code generation yet. to Function trailing requires clauses.
Feb 15 2018, 3:30 PM · Restricted Project
saar.raz created D43357: [Concepts] Function trailing requires clauses.
Feb 15 2018, 3:03 PM · Restricted Project
saar.raz added a child revision for D41910: [Concepts] Constrained partial specializations and function overloads.: D43357: [Concepts] Function trailing requires clauses.
Feb 15 2018, 3:03 PM · Restricted Project

Feb 11 2018

saar.raz updated the diff for D41217: [Concepts] Concept Specialization Expressions.
  • Addressed comments: Added semantic tests for value and template concepts, removed extra period and modified CSE ctor to fit in nicer.
Feb 11 2018, 12:36 PM · Restricted Project

Feb 3 2018

saar.raz added inline comments to D41217: [Concepts] Concept Specialization Expressions.
Feb 3 2018, 12:40 PM · Restricted Project
saar.raz updated the diff for D41284: [Concepts] Associated constraints infrastructure..

Moved function into SemaConcept.cpp.

Feb 3 2018, 11:56 AM · Restricted Project
saar.raz updated the diff for D41217: [Concepts] Concept Specialization Expressions.
  • Moved general concepts-related function into SemaConcept.cpp
Feb 3 2018, 10:08 AM · Restricted Project

Feb 2 2018

saar.raz updated the diff for D41569: [Concepts] Constraint enforcement and diagnostics.
  • When a conjunction constraint expression has both sides false, both sides will now be diagnosed.
Feb 2 2018, 6:11 AM · Restricted Project

Jan 10 2018

saar.raz created D41910: [Concepts] Constrained partial specializations and function overloads..
Jan 10 2018, 10:43 AM · Restricted Project
saar.raz added a child revision for D41569: [Concepts] Constraint enforcement and diagnostics: D41910: [Concepts] Constrained partial specializations and function overloads..
Jan 10 2018, 10:43 AM · Restricted Project
saar.raz updated the diff for D41569: [Concepts] Constraint enforcement and diagnostics.
  • Better handling of diagnostics in ConceptSpecializationExprs, correctly written to and read from module files.
  • Modified Error messages according to some user feedback
Jan 10 2018, 10:39 AM · Restricted Project
saar.raz updated the diff for D41284: [Concepts] Associated constraints infrastructure..
  • Fixed wrong if that would cause valid instantiated requires clauses to not be accepted.
Jan 10 2018, 10:10 AM · Restricted Project

Dec 24 2017

saar.raz updated the diff for D41217: [Concepts] Concept Specialization Expressions.

Reverted to original constraint parsing code.

Dec 24 2017, 1:27 PM · Restricted Project
saar.raz created D41569: [Concepts] Constraint enforcement and diagnostics.
Dec 24 2017, 1:13 PM · Restricted Project

Dec 17 2017

saar.raz added inline comments to D40381: Parse concept definition.
Dec 17 2017, 2:01 PM · Restricted Project
saar.raz added inline comments to D41217: [Concepts] Concept Specialization Expressions.
Dec 17 2017, 4:32 AM · Restricted Project

Dec 15 2017

saar.raz updated the diff for D41284: [Concepts] Associated constraints infrastructure..
  • Added requires clause matching for all kinds of template redeclarations instead of just classes.
Dec 15 2017, 11:15 AM · Restricted Project
saar.raz retitled D41284: [Concepts] Associated constraints infrastructure. from Associated constraint infrastructure. to [Concepts] Associated constraints infrastructure..
Dec 15 2017, 5:40 AM · Restricted Project
saar.raz created D41284: [Concepts] Associated constraints infrastructure..
Dec 15 2017, 5:38 AM · Restricted Project
saar.raz added a child revision for D41217: [Concepts] Concept Specialization Expressions: D41284: [Concepts] Associated constraints infrastructure..
Dec 15 2017, 5:38 AM · Restricted Project

Dec 14 2017

saar.raz added a comment to D41217: [Concepts] Concept Specialization Expressions.

Fixed indentations.

Dec 14 2017, 7:08 AM · Restricted Project
saar.raz updated the diff for D41217: [Concepts] Concept Specialization Expressions.

Previous updated diff mistakenly included D40381, fixed that.

Dec 14 2017, 7:07 AM · Restricted Project
saar.raz updated the diff for D41217: [Concepts] Concept Specialization Expressions.
  • Fixed indentation problems
Dec 14 2017, 7:04 AM · Restricted Project

Dec 13 2017

saar.raz added a child revision for D40381: Parse concept definition: D41217: [Concepts] Concept Specialization Expressions.
Dec 13 2017, 6:18 PM · Restricted Project
saar.raz created D41217: [Concepts] Concept Specialization Expressions.
Dec 13 2017, 6:18 PM · Restricted Project

Nov 26 2017

saar.raz accepted D40381: Parse concept definition.
Nov 26 2017, 11:23 PM · Restricted Project
saar.raz requested changes to D40381: Parse concept definition.

Do the requested clang-formatting as shown by hubert, other than that looks good to me :)

Nov 26 2017, 11:37 AM · Restricted Project

Nov 24 2017

saar.raz added inline comments to D40381: Parse concept definition.
Nov 24 2017, 6:37 AM · Restricted Project
saar.raz added inline comments to D40381: Parse concept definition.
Nov 24 2017, 5:28 AM · Restricted Project

Nov 23 2017

saar.raz accepted D40380: Remove old concepts parsing code.
Nov 23 2017, 3:26 PM
saar.raz requested changes to D40381: Parse concept definition.

Also add:
In ASTDumper

Nov 23 2017, 1:27 PM · Restricted Project