9 Commits (0bf6d552e09cced5da45aefbb5b4c094967cf12a)

Author SHA1 Message Date
Daniel Grunwald 0bf6d552e0 Records: support for fields. 4 years ago
Daniel Grunwald a960216d5f Add test case for simple records. 4 years ago
Daniel Grunwald e02c4789f1 Records: detect copy constructor 4 years ago
Daniel Grunwald c95f75d3bc Records: detect whether GetHashCode is compiler-generated 4 years ago
Daniel Grunwald 648e7f9f87 Records: hide generated Equals() method 4 years ago
Daniel Grunwald 4fefd5f530 Records: detect when PrintMembers() is compiler-generated in derived records 4 years ago
Daniel Grunwald 500317a9e8 Records: detect when PrintMembers() is compiler-generated 4 years ago
Daniel Grunwald 0babcc5fe4 Records: detect when ToString() is compiler-generated 5 years ago
Daniel Grunwald 90ce77f400 Omit EqualityContract if it's automatically generated. 5 years ago