On Apr 3, 2009, at 3:25 AM, Prajwal Suhas P wrote: > On Fri, Apr 3, 2009 at 3:12 PM, Stefan Behnel <[email protected]> > wrote: > Hi, > > Prajwal Suhas P wrote: > > This is my proposal for gsoc. > > http://wiki.cython.org/gsoc/prajwal > > > > Please feel free to give suggestions/comment on it. > >> My main comment is that your proposal seems to reduce CFA to None >> check >> avoidance. While this is a valid example for CFA application, it >> does not >> quite catch what CFA is by itself. Possible variable values are >> one thing >> that you can *infer* from a control flow graph, possible types are >> another. > Currently i am looking at the None check case for cython CFA. I > haven't covered other cases for CFA application and i thought of > adding them as the project progresses.
I actually suggested the None check case as a concrete goal for the midterm evaluation, as I felt that section needed a real milestone and measuring stick. Hopefully by that point the framework would be in place enough to be useful in this capacity (even if it will need further refining). >> But the primary goal of this project should be to establish a >> suitable >> representation of the possible execution paths inside a function >> (and, >> less importantly, the global module code). So this really is about >> finding >> (as in reading up) and implementing an efficient way for >> establishing, >> maintaining and querying the control state of a function at each >> parse >> tree node. >> >> Stefan > +1 Something to this effect should be mentioned in the final evaluation. - Robert _______________________________________________ Cython-dev mailing list [email protected] http://codespeak.net/mailman/listinfo/cython-dev
