22 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	6d8a83fc1f	C++: Take out the 'Element' content from std::format model.	2024-07-30 15:31:18 +01:00
Mathias Vorreiter Pedersen	ef0370b64e	C++: Respond to review comments.	2024-07-30 13:19:02 +01:00
Mathias Vorreiter Pedersen	8edf19adc0	C++: Add MaD model for 'std::format'.	2024-07-30 10:15:39 +01:00
Mathias Vorreiter Pedersen	8e18e7d4e6	Merge pull request #16791 from MathiasVP/collection-content-2 ... C++: Add support for `Element` content	2024-07-04 08:52:33 +01:00
Mathias Vorreiter Pedersen	af28dd8eb4	C++: Add bsl models for 'array::front' and 'array::back'.	2024-07-03 18:14:10 +01:00
Mathias Vorreiter Pedersen	f9d6c63cbb	C++: Add more 'Argument[-1]' to 'ReturnValue' flow.	2024-07-03 17:27:22 +01:00
Mathias Vorreiter Pedersen	246f3fd3e2	C++: Fix 'emplace_after' model in bsl.	2024-07-03 17:21:10 +01:00
Mathias Vorreiter Pedersen	5351c2734f	C++: Fix 'assign' models.	2024-07-03 17:01:43 +01:00
Mathias Vorreiter Pedersen	6d05324724	C++: Make sure the 'emplace' functions that return iterators are modeled via Element content.	2024-07-03 16:47:18 +01:00
Mathias Vorreiter Pedersen	e03f8084e6	C++: Fix yml file name.	2024-07-03 16:04:14 +01:00
Mathias Vorreiter Pedersen	c4dabb94d6	C++: Add models for 'array::front' and 'array::back'.	2024-07-03 16:03:25 +01:00
Mathias Vorreiter Pedersen	5be948533c	C++: Replace 'Element[*@]' with 'Element[@]'.	2024-07-03 11:18:13 +01:00
Mathias Vorreiter Pedersen	2ad8704325	C++: Add bsl models.	2024-06-27 19:48:27 +01:00
Mathias Vorreiter Pedersen	36d59cef7e	C++: Add 'bsl::free' as a deallocation function model.	2024-06-24 13:56:44 +01:00
Mathias Vorreiter Pedersen	40fb59dc0b	C++: Add gnu iterator models to regain TP.	2024-06-21 14:04:07 +01:00
Mathias Vorreiter Pedersen	85da3d2f13	C++: Update MaD models.	2024-06-21 12:47:43 +01:00
Mathias Vorreiter Pedersen	4dc13e850e	C++: Add summaries for std dequence containers.	2024-06-21 12:47:40 +01:00
Mathias Vorreiter Pedersen	6bf22bda58	C++: Replace allocation models with models from extensible predicates.	2024-06-21 08:54:09 +01:00
Mathias Vorreiter Pedersen	3457551264	C++: Replace deallocation models with models from extensible predicates.	2024-06-20 16:26:49 +01:00
Geoffrey White	f9ef72eca6	C++: Fix typos.	2024-06-06 12:31:44 +01:00
Geoffrey White	f479649727	C++: Add Boost::Asio models.	2024-06-04 10:21:05 +01:00
Geoffrey White	94413c8c2e	C++: Implement YML extension models.	2024-06-03 13:49:38 +01:00