6 Commits

Author	SHA1	Message	Date
Geoffrey White	4363f08b45	C++: Model std::set::emplace and emplace_hint.	2020-10-12 11:01:09 +01:00
Geoffrey White	5d87117dc7	C++: Model std::set::lower_bound, upper_bound, equal_range.	2020-10-12 10:10:40 +01:00
Geoffrey White	fc19bba0bd	C++: Model std::set::merge and correct test annotations.	2020-10-12 10:01:57 +01:00
Geoffrey White	cafd320953	C++: Add set/map constructor models.	2020-09-30 17:41:06 +01:00
Geoffrey White	6520f9d0fb	C++: Add basic std::set models.	2020-09-30 17:23:56 +01:00
Geoffrey White	5bc7d3a9b2	C++: Add tests for std::set and std::unordered_set.	2020-09-30 17:23:56 +01:00