Mathias Vorreiter Pedersen 1d31a38362 C++: Regenerate the models for OpenSSL and sqlite after excluding tests in model-generation (sqlite is unaffected).

2025-05-16 13:53:16 +01:00

..

allocation

C++: Replace allocation models with models from extensible predicates.

2024-06-21 08:54:09 +01:00

deallocation

C++: Add 'bsl::free' as a deallocation function model.

2024-06-24 13:56:44 +01:00

generated

C++: Regenerate the models for OpenSSL and sqlite after excluding tests in model-generation (sqlite is unaffected).

2025-05-16 13:53:16 +01:00

Boost.Asio.model.yml

C++: Update MaD models.

2024-06-21 12:47:43 +01:00

bsl.array.model.yml

C++: Add bsl models for 'array::front' and 'array::back'.

2024-07-03 18:14:10 +01:00

bsl.deque.model.yml

C++: Fix missing return value flow out of 'operator=' in lots of MaD models.

2024-12-23 12:00:41 +01:00

bsl.forward_list.model.yml

C++: Fix missing return value flow out of 'operator=' in lots of MaD models.

2024-12-23 12:00:41 +01:00

bsl.list.model.yml

C++: Fix missing return value flow out of 'operator=' in lots of MaD models.

2024-12-23 12:00:41 +01:00

bsl.vector.model.yml

C++: Fix missing return value flow out of 'operator=' in lots of MaD models.

2024-12-23 12:00:41 +01:00

CA2CAEX.model.yml

C++: Move ATL models to ATL namespace.

2025-03-14 18:43:06 +00:00

CAtlArray.model.yml

C++: Move ATL models to ATL namespace.

2025-03-14 18:43:06 +00:00

CAtlFile.model.yml

C++: Move ATL models to ATL namespace.

2025-03-14 18:43:06 +00:00

CAtlFileMappingBase.model.yml

C++: Move ATL models to ATL namespace.

2025-03-14 18:43:06 +00:00

CAtlList.model.yml

C++: Move ATL models to ATL namespace.

2025-03-14 18:43:06 +00:00

CAtlTemporaryFile.model.yml

C++: Move ATL models to ATL namespace.

2025-03-14 18:43:06 +00:00

CComBSTR.model.yml

C++: Move ATL models to ATL namespace.

2025-03-14 18:43:06 +00:00

CComSafeArray.model.yml

C++: Move ATL models to ATL namespace.

2025-03-14 18:43:06 +00:00

CPathT.model.yml

C++: Move ATL models to ATL namespace.

2025-03-14 18:43:06 +00:00

CRegKey.model.yml

C++: Move ATL models to ATL namespace.

2025-03-14 18:43:06 +00:00

CSimpleArray.model.yml

C++: Move ATL models to ATL namespace.

2025-03-14 18:43:06 +00:00

CSimpleMap.model.yml

C++: Move ATL models to ATL namespace.

2025-03-14 18:43:06 +00:00

CSimpleStringT.model.yml

C++: Move ATL models to ATL namespace.

2025-03-14 18:43:06 +00:00

CStrBufT.model.yml

C++: Move ATL models to ATL namespace.

2025-03-14 18:43:06 +00:00

CStringData.model.yml

C++: Move ATL models to ATL namespace.

2025-03-14 18:43:06 +00:00

CStringT.model.yml

C++: Move ATL models to ATL namespace.

2025-03-14 18:43:06 +00:00

CUrl.model.yml

C++: Move ATL models to ATL namespace.

2025-03-14 18:43:06 +00:00

empty.model.yml

C++: Implement YML extension models.

2024-06-03 13:49:38 +01:00

oleauto.model.yml

C++: Add models and accept testcases.

2025-01-09 17:32:34 +00:00

std.array.model.yml

C++: Add models for 'array::front' and 'array::back'.

2024-07-03 16:03:25 +01:00

std.deque.model.yml

C++: Fix missing return value flow out of 'operator=' in lots of MaD models.

2024-12-23 12:00:41 +01:00

std.format.model.yml

C++: Take out the 'Element' content from std::format model.

2024-07-30 15:31:18 +01:00

std.forward_list.model.yml

C++: Fix missing return value flow out of 'operator=' in lots of MaD models.

2024-12-23 12:00:41 +01:00

std.iterator.model.yml

C++: Replace 'Element[*@]' with 'Element[@]'.

2024-07-03 11:18:13 +01:00

std.list.model.yml

C++: Fix missing return value flow out of 'operator=' in lots of MaD models.

2024-12-23 12:00:41 +01:00

std.vector.model.yml

C++: Fix missing return value flow out of 'operator=' in lots of MaD models.

2024-12-23 12:00:41 +01:00