similar to: GSOC 2018 Introduction

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

Hi Anna, I am a fourth year undergraduate student having experience with writing low-level code and program analysis. I would like to work on the project Clang Static Analyzer: Warn if virtual calls are made from constructors or destructors. The things that I have done until now: ----- 1. Compiled clang 2. Went through Kaleidoscope tutorial 3. Implemented a bunch of llvm function passes Looking

The package I am writing is for the Center for Tropical Forest Science, CTFS. This "center" is a collaboration of 15+ institutions world wide that are investigating properties of tropical forest dynamics, species diversity, species distributions. The investigation is composed of the same sampling design of the forest: a large 50 hectare plot (usually) in which every tree >= 10 mm in

I have this assignment to do and after ten hours of constant trying my eyes ache and i give up.. all i'm able to get is this plot please help me these are the commands i have used till now read.table(file.choose(), sep=";", header=T) read.table(file.choose(), sep=";", header=T)->areas melt(areas,id=c("Year","State"),m=c("Rice"))->

Hi again; I have placed many examples in the CTFS Rd pages because my audience really really likes lots of examples in order to understand the options available in a functions. At this time I have set them all to \dontrun{}. however, this isn't because the example command line with its function and options won't work, but rather that CTFS specific datasets must exist to have the

I'm havinf a problem with a simple file i have the following data State 1960 1970 1980 1990 1 All India 35988.70 37346.00 39707.30 42321.00 2 Andhra Pradesh 3431.03 3163.27 3687.23 3695.63 3 Assam 1902.93 2001.60 2278.47 2525.33 4 Bihar 5277.07 5133.80 5138.70 4662.57 5 Gujarat 538.13 456.10 484.23 590.47 6

We are currently implementing the backends for other solvers (you can follow the progress here: https://github.com/mikhailramalho/clang). So far we got Boolector, MathSAT and Yices ready. CVC4 should be done soon. When used to refute bugs, they all give roughly the same results: a ~5% speedup if there are refuted bugs or a ~5% slowdown if no bug is refuted. I've only tried to analyze one

Hi all, Currently studying the impact of SMT solvers on Clang SA. Can anyone help in telling more about the SMT solvers use in clang SA ? ( Have already tested Z3 SMT solver implemented in GSoC 2018 , also looking for other SMT solvers if possible ) Thanks, Siddharth -------------- next part -------------- An HTML attachment was scrubbed... URL:

hello everyone, I am Maheshwar, a prefinal year Computer Science undergraduate student at BITS-Pilani, India. When i was going through the GSOC ideas , i felt interested in Quesry parser project. Till now i have implemented a couple of LL(1) parsers as a part of my assignment in Compiler construction course, so i would love to join and contribute to this project. So can any one tell me how to go

Dear everyone, I'm student of Masters in Statistics (Actuarial) from Central University of Rajasthan, India. I am doing a major project work as a part of the degree. My major project deals with fitting a glm model for the data of car insurance. I'm facing the problem of multicollinearity for this data which is visible by the plotting of data. But I'm not able to test it. In the case

Oh! I made a mistake by not using setDebugInfo() function present in the Instruction class. Now it's working fully. So, the solution is:- To set the line number for an instruction - 1. Add a function in DebugLoc class located in llvm/Support/DebugLoc.h. Set the line number there to the private variable called LineCol. 2. Call the added function. And then pass the modified DebugLoc object to

I would like to know how one can identify whether a basic block is a loop header? Regards, Ashutosh Shukla, 10305052 M. Tech 1 Dept of Computer Science and Engg.

hello respected ppl... am a engg. student...i was trying to use R in statistical calculations now the problem is..i imported a huge tsv file onto R...it has a column which gives cost...and it has "$" with each numerical value in this column...it is something like this..$.05,$.1,$.075...and so on.. R is reading it as "character vector"... i tried using all the arguments but

Hi, My swap is on raidz1. Df -k and swap -l are showing almost no usage of swap, while zfs list and zpool list are showing me 96% capacity. Which should i believe? Justin # df -hk Filesystem size used avail capacity Mounted on /dev/dsk/c3t0d0s1 14G 4.0G 10G 28% / /devices 0K 0K 0K 0% /devices ctfs

I have tried and tried unsuccessfully to place a legend outside the plot frame of a graph. This would allow me to draw a legend for an image() plot. But any legend I add is cut off outside the axes. Is there a way of doing this? Thanks for any advice on how to make this work (I'm using R1.5.1 with Windows 2000). Richard Condit Smithsonian Tropical Research Institute Unit 0948 APO AA

Hi, I am new to LLVM. I am trying to read a plain text file in a llvm pass. But getting an error - llvm[0]: Linking Release Loadable Module LLVMHello.so /usr/bin/ld: /home/abhirup/llvm/llvm2.8_Install/llvm-2.8/lib/Transforms/Hello/Release/Hello.o: relocation R_X86_64_PC32 against undefined symbol `(anonymous namespace)::Hello::update_sec_read(char const*)' can not be used when making a

1. I am trying to get the instruction of LLVM intermediate code as a string. How can this be done? 2. Also in the SSA version of the code, how can we come to know which %N (N is any integer) is a version of some variable 'a' and which is just a temporary? Regards, Ashutosh Shukla, 10305052 M. Tech 1 Dept of Computer Science and Engg.

Hi I have two asterisk servers. I just want to connect two asterisk server using IAX2. But the Asterisk Servers are not able to register each other. If some body have done this then Please send me the configuration they have done in iax.conf and extensions.conf. I simply want to connect and call from one sever to another. Thanks Chandan Kumar Mishra Software Engg. -------------- next part

hi, i am Mintoo Kumar ,2nd year computer engg. undergraduate at NSIT,delhi unversity, india .i am a beginner to open source and want to contribute for open source community.i am coding in c/c++ since last 2 years.and i have experience of coding in python,java,html,css,php,xml as well.i would like to work on the project "Icecast configuration interface". thank you ! -------------- next

Hello I am currently working on forecasting hourly electricity prices where I am required to do wavelet transformation. First I need to calculate decomposition coefficients of the wavelet transform, then I need to select wavelet function using multiresolution technique. I would be really grateful if I can find any help in this matter. Thanking You with regards, -- Name : Tarun Trivedi Senior