Mikhail R. Gadelha | Igalia - Open Source Consultancy and Development

Mikhail R. Gadelha

Mikhail R. Gadelha

Brazilian software engineer with a PhD in Formal Methods.

Manaus, Brazil

I’m passionate about software verification and FOSS development. At Igalia since May 2021.

Commits

[LLVM] [libc] Start to refactor riscv platform abstraction to support both 3…

[LLVM] [libc] Update integration test's linking options (#67158)

[LLVM] [libc] Fix pthread_create_test for 32 bit systems (#66564)

[LLVM] [libc] Add ${CMAKE_CROSSCOMPILING_EMULATOR} to custom test cmdlines (…