Manas via llvm-dev
2021-Apr-07 06:50 UTC
[llvm-dev] [GSoC] Clang Static Analyzer constraint solver improvements
Hi, I am a pre-final year undergraduate of Computer Science. I have been taking a look at the CSA constraint solver improvements project. I am in the mid of completing my decision procedures course at university. I have fundamental knowledge of solvers. I think I can contribute to this project effectively. How can I contact Valeriy Savchenko to discuss further? Thank you -- Manas CSAM Undergraduate | 2022 IIIT-Delhi, India