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.

Media

RISC-V Support into LLVM’s libc: Challenges and Solutions for 32-bit and 64-bit

Feb 3, 2025

Introduction to RISC-V

Oct 28, 2024

Commits

[LLVM] [RISCV][VLOPT] Add support for vfrec7.v (#146918)

[LLVM] [RISCV][VLOPT] Pre-commit test for adding support for vfrec7.v

[LLVM] [libc] Fix feature check for riscv (#145169)

[LLVM] [RISCV] Update SpacemiT X60 scheduling latencies based on hardware me…