Mikhail R. Gadelha

Removed EnumTraits<WebCore::AuthenticatorTransport> as it was already ported to the new serialization format

6

#### 73b8f933aaab72def7f3e3569795792b1ca1f1dc Removed EnumTraits&lt;WebCore::AuthenticatorTransport&gt; as it was already ported to the new serialization format https://bugs.webkit.org/show_bug.cgi?id=268158 Reviewed by NOBODY (OOPS!). Ported in https://commits.webkit.org/256789@main * Source/WebCore/Modules/webauthn/AuthenticatorTransport.h: https://github.com/WebKit/WebKit/commit/ba1e8e2bd87b7e9ed1fa3f3d23261c5896d1e659 | Misc | iOS, tvOS...

Port WebCore::PlatformMediaError to the new serialization format

2

#### 05005166e2489e78a901e13bc42ce3a67411630c Port WebCore::PlatformMediaError to the new serialization format https://bugs.webkit.org/show_bug.cgi?id=268377 Reviewed by NOBODY (OOPS!). * Source/WebCore/platform/PlatformMediaError.h: * Source/WebKit/Shared/WebCoreArgumentCoders.serialization.in: https://github.com/WebKit/WebKit/commit/8cd138134c7875e9cb7fddcd4b90061befac427c | Misc | iOS, tvOS & watchOS | macOS | Linux...

Removed Enums from Platform/mediastream/libwebrtc as they were already ported to the new serialization format

19

#### 5def7e6b80c1053b5123ee32def8e73b0ce7f74e Removed Enums from Platform/mediastream/libwebrtc as they were already ported to the new serialization format https://bugs.webkit.org/show_bug.cgi?id=267867 Reviewed by NOBODY (OOPS!). The enums were ported in: https://commits.webkit.org/271173@main https://commits.webkit.org/270713@main Since the...

Port ResolvedEmojiPolicy to the new IPC serialization format

3

#### c4c828a8e0e3b01894db62396a51c0a32bd07bc3 Port ResolvedEmojiPolicy to the new IPC serialization format https://bugs.webkit.org/show_bug.cgi?id=267704 Reviewed by NOBODY (OOPS!). * Source/WebCore/platform/graphics/FontCascadeFonts.h: * Source/WebCore/platform/text/TextFlags.h: * Source/WebKit/Shared/WebCoreArgumentCoders.serialization.in: https://github.com/WebKit/WebKit/commit/c4c828a8e0e3b01894db62396a51c0a32bd07bc3 | Misc | iOS, tvOS & watchOS |...

Also from if_etherip-fixed-double-free.i: ``` WARNING: no body for function __builtin_memcmp ``` If a builtin is not available, maybe we can remove the prefix and see what happens? After #1435 is...

When verifying openbsd-6.2/if_etherip-fixed-double-free.i, esbmc fails with: ``` ERROR: expected string constant, but got: symbol * type: pointer * subtype: signedbv * width: 8 * #constant: 1 * #cpp_type: signed_char *...

MIPS debian "bullseye"

3

Hi @lpenz, any plans to upload the mips debian bullseye? I'm particularly interested in the 32-bit version.

Failed to generate .clang-format

6

First of all, excellent project! I'm trying to run on our project: [esbmc](https://github.com/esbmc/esbmc) but I get the following: ``` $ python3 unformat/ --root /home/mramalho/esbmc-github/src/clang-c-frontend/ "/home/mramalho/esbmc-github/src/clang-c-frontend/**/*.h" "/home/mramalho/esbmc-github/src/clang-c-frontend/**/*.cpp" Using the configuration file...