Matheus Serrao Uchoa

[email protected]

Cesar Computer Engineering Student at Universidade Federal do Amazonas - UFAM | Mechatronics Technician by Fundação Matias Machline Developer By: Coltech,TPV,OAB-am

Repositories
Issues
Comments

Results 2 issues of


                                            Matheus Serrao Uchoa

LLVM simplifications issue resolver

Simplifications cases for : // A + -B --> A - B // (A + 1) + ~B --> A - B // (~B + A) + 1 --> A...

Matheus Serrao Uchoa

LLVM simplifications issue resolver

Alive messages during decision procedure