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] Enable more entrypoints for riscv (#102055)

[LLVM] [libc] Fix broken table introduced by PR #100578

[LLVM] [libc] No need to use recursion in fcntl (#99893)

[LLVM] [libc] Change fcntl cmd when only fcntl64 is available (#99675)