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] Add support for setjmp and longjmp in riscv

[LLVM] [RISCV] Added tests to validate lower inline asm m and A with offsets

[LLVM] [libc] Enable spawn lib in riscv

[LLVM] [libc] Update supported riscv libs