[GSoC] Fixing fundamental issues in LLVM IR

Hi all,

I have created a proposal for the GSoC project “Fixing fundamental issues in LLVM IR”, focusing on the problem with compiler-introduced type punning. It is available at:

https://docs.google.com/document/d/1C6WLgoqoDJCTTSFGK01X8sR2sEccXV5JMabvTHlpOGE/edit?usp=sharing

It would be great to hear any thoughts, comments or advice from the community!

Thanks,
George