[llvm-dev] [GSoC] Fix fundamental issues in LLVM IR
Krishna Kariya via llvm-dev
llvm-dev at lists.llvm.org
Thu May 27 11:11:58 PDT 2021
Hi everyone,
I would be working with LLVM this summer as a GSoC student. My project
title is "Fixing fundamental issues in LLVM IR". The proposal link can be
found below. The project aims to resolve some mis-compilation bugs detected
by the Alive2 tool.
*Proposal*:
https://docs.google.com/document/d/1J-_ZTkvVeVx4XPCqRt-W8l_-e6cg4KNTuUudJc1PMbY/edit?usp=drivesdk
Thanks and best regards,
Krishna Kariya
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20210527/1d0c112f/attachment.html>
More information about the llvm-dev
mailing list