search for: ajmer

Hello all, My name is Ashish Kumar Gahlot and I am a final year undergraduate student of Engineering College Ajmer(Rajasthan, India) majoring in Computer Science. I am interested in working on project *Integrate with Z3 SMT solver to reduce false positives *for GSOC 2018. I am having experience with SMT solvers as I play CTFs and have used z3 to solve reverse engineering problems. How can I contact the mentor...

Hello all, My name is Ashish Kumar Gahlot and I am a final year undergraduate student of Engineering College Ajmer(Rajasthan, India) majoring in Computer Science. I am interested in working on project *Integrate with Z3 SMT solver to reduce false positives *for GSOC 2018. I am having experience with SMT solvers as I play CTFs and have used z3 to solve reverse engineering problems. How can I contact the mentor...

...he things that I have done until now: ----- 1. Compiled clang 2. Went through Kaleidoscope tutorial 3. Implemented a bunch of llvm function passes Looking forward to your response to get started :) Thanks & Regards, Ashish Kumar Gahlot -- Ashish Kumar Gahlot IV year, UG Govt. Engg. College, Ajmer, India -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20180306/e92fb028/attachment.html>