Mathias Vorreiter Pedersen 763b991408 C++: Add models.

2024-11-27 16:41:18 +00: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

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++: Add more 'Argument[-1]' to 'ReturnValue' flow.

2024-07-03 17:27:22 +01:00

bsl.forward_list.model.yml

C++: Add more 'Argument[-1]' to 'ReturnValue' flow.

2024-07-03 17:27:22 +01:00

bsl.list.model.yml

C++: Add more 'Argument[-1]' to 'ReturnValue' flow.

2024-07-03 17:27:22 +01:00

bsl.vector.model.yml

C++: Add more 'Argument[-1]' to 'ReturnValue' flow.

2024-07-03 17:27:22 +01:00

CA2CAEX.model.yml

C++: Add models.

2024-11-27 16:41:18 +00:00

empty.model.yml

C++: Implement YML extension models.

2024-06-03 13:49:38 +01: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++: Add more 'Argument[-1]' to 'ReturnValue' flow.

2024-07-03 17:27:22 +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++: Add more 'Argument[-1]' to 'ReturnValue' flow.

2024-07-03 17:27:22 +01:00

std.iterator.model.yml

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

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

std.list.model.yml

C++: Add more 'Argument[-1]' to 'ReturnValue' flow.

2024-07-03 17:27:22 +01:00

std.vector.model.yml

C++: Add more 'Argument[-1]' to 'ReturnValue' flow.

2024-07-03 17:27:22 +01:00