projects / IRC.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
bug fixes and few extra things:
[IRC.git] / Robust / src / Analysis /
2011-05-24 yeombug fixes and few extra things: tree | commitdiff
2011-05-23 yeomhaving a new check that verifies the single reference... tree | commitdiff
2011-05-20 yeomfix bugs on the flow down rule and start annotating... tree | commitdiff
2011-05-20 jjenistaallow Pointer to run for usual compilation modes..... tree | commitdiff
2011-05-20 stepheyFixed import bug but some other issues now pop up: tree | commitdiff
2011-05-19 yeomchanges. tree | commitdiff
2011-05-18 jjenistabug fix: heap contexts for call sites were propgated... tree | commitdiff
2011-05-18 yeommore changes. tree | commitdiff
2011-05-18 yeomchanges. tree | commitdiff
2011-05-18 yeomchanges to reflect ssjava design changes and temporaril... tree | commitdiff
2011-05-16 jjenistaCreate analysis model for string literals in disjointne... tree | commitdiff
2011-05-13 yeomtake out all of ssjava stuff from state class and start... tree | commitdiff
2011-05-13 jjenistamodel the allocation of string literals in heap analysis tree | commitdiff
2011-05-13 jjenistathis system checks heap results against runtime pointer... tree | commitdiff
2011-05-11 jjenistadifferentiate between analysis says something points... tree | commitdiff
2011-05-11 jjenistarevert previous change: DROPPING THE GRUNGE HAMMER... tree | commitdiff
2011-05-11 jjenistaallow external systems to write a flatIR graph tree | commitdiff
2011-05-11 jjenistaonly do this if we are using oooj-style tasks after... tree | commitdiff
2011-05-10 jjenistaNew tool to check points-to results of a heap analysis... tree | commitdiff
2011-05-05 jjenistadisjoint should work like pointer in that taints for... tree | commitdiff
2011-05-05 jjenistaan outstanding change to improve debugging of call... tree | commitdiff
2011-05-05 jzhouPolish multicore code tree | commitdiff
2011-05-04 yeomsmall changes: have a way to specify the location of... tree | commitdiff
2011-05-03 jjenistaallow debug reach graphs to show taints but supress... tree | commitdiff
2011-05-03 yeomchanges. tree | commitdiff
2011-04-29 yeomchanges: now, the annotated SSJava class library passes... tree | commitdiff
2011-04-28 jjenistaimprove call site debugging for disjoint tree | commitdiff
2011-04-28 jjenistarun ooojava and rcrpointer that print out effects and... tree | commitdiff
2011-04-27 yeomchanges to get the tiny class library for ssjava tree | commitdiff
2011-04-27 bdemskyswitch to spaces only.. tree | commitdiff
2011-04-27 bdemskyFix tabbing.... Please fix your editors so they do... tree | commitdiff
2011-04-25 jjenistaupdate the way this analysis visits every method reacha... tree | commitdiff
2011-04-23 yeominterim changes: ssjava will have its own class library... tree | commitdiff
2011-04-22 yeomchanges: make location an extension of type descriptor... tree | commitdiff
2011-04-21 bdemskymissing files tree | commitdiff
2011-04-20 bdemskychanges to make sure that i don't step on stephen's... tree | commitdiff
2011-04-19 yeomchanges. tree | commitdiff
2011-04-18 yeomhandle the missing case in the flow down analysis:... tree | commitdiff
2011-04-18 yeombug fixes: printing out linenum & source file name... tree | commitdiff
2011-04-18 bdemskymake callgraph an interface tree | commitdiff
2011-04-18 jjenistabug fix - during call site transfer func we temporarily... tree | commitdiff
2011-04-18 yeomreorganize. tree | commitdiff
2011-04-15 yeomchanges. tree | commitdiff
2011-04-14 yeomextends the grammar to have a way to define a new type... tree | commitdiff
2011-04-13 bdemskychange tree | commitdiff
2011-04-13 yeomchanges. tree | commitdiff
2011-04-12 bdemskybug fix for optimizations` tree | commitdiff
2011-04-12 yeomchanges. tree | commitdiff
2011-04-11 yeomchanges. tree | commitdiff
2011-04-09 bdemskyget specjbb compiling again...get rid of annoying warni... tree | commitdiff
2011-04-09 bdemskycheckin to only generate C for callable methods... tree | commitdiff
2011-04-08 jjenistadetect possibly evil tasks and do the right thing if... tree | commitdiff
2011-04-08 yeomfixes -nostalltr flag: if it is valid to prune heap... tree | commitdiff
2011-04-07 jjenistabug fix, at task exit we are looking for sources that... tree | commitdiff
2011-04-06 bdemskyD2 bug tree | commitdiff
2011-04-06 bdemskybug and remove debug code tree | commitdiff
2011-04-06 bdemskyget back some of the speed we are losing from bug fixes... tree | commitdiff
2011-04-06 bdemskybug fix...wasn't adding out of context nodes that get... tree | commitdiff
2011-04-06 bdemskybug fix...things are slower to compile...:( tree | commitdiff
2011-04-06 stepheybug fix for refCount in SMFEStates. I'm not sure if... tree | commitdiff
2011-04-06 bdemskybug fix tree | commitdiff
2011-04-05 jjenistaget this debug print out of here tree | commitdiff
2011-04-05 jjenistaat task exit, a task should acquire any out-set variabl... tree | commitdiff
2011-04-03 yeomchanges: build conflict graphs that have line number... tree | commitdiff
2011-04-01 bdemskybuild pruned graphs that encode conflict information... tree | commitdiff
2011-04-01 bdemskybug fix for stephen tree | commitdiff
2011-03-31 yeomchanges: reorganizes debug messages tree | commitdiff
2011-03-31 yeomchanges: only apply the variable analysis on the method... tree | commitdiff
2011-03-30 yeombug fixes on OoOJava, now it works fine with all of... tree | commitdiff
2011-03-28 bdemskychanges tree | commitdiff
2011-03-28 bdemskybug fix... tree | commitdiff
2011-03-28 bdemskyhave to treat reads of inaccessible variables that... tree | commitdiff
2011-03-28 bdemskychanges... tree | commitdiff
2011-03-28 bdemskyanother bug fix...need to visit everything once also.. tree | commitdiff
2011-03-28 bdemskycould infinite loop under some cases...think this fixes... tree | commitdiff
2011-03-28 yeombug fix on RBlockRelationAnalysis: found that status... tree | commitdiff
2011-03-27 bdemskymore bug fixes tree | commitdiff
2011-03-26 bdemskybug fix tree | commitdiff
2011-03-26 bdemskyhacks to improve speed...including turning off debugging tree | commitdiff
2011-03-26 bdemskychanges tree | commitdiff
2011-03-26 bdemskyadd support for super calls...ie...super.foo() tree | commitdiff
2011-03-26 yeomchanges. tree | commitdiff
2011-03-25 bdemskybug fix tree | commitdiff
2011-03-25 bdemskychanges tree | commitdiff
2011-03-25 bdemskytry to get runtimeconflictresolver working...and cleani... tree | commitdiff
2011-03-25 bdemskychanges to process/prune state machines tree | commitdiff
2011-03-25 bdemskyclass to prune/process state machines tree | commitdiff
2011-03-24 bdemskyadd lookup tables for effects tree | commitdiff
2011-03-24 yeomchanges on ssjava. tree | commitdiff
2011-03-24 bdemskyBug fix...supposed to pass in bsm into Pointer analysis... tree | commitdiff
2011-03-24 bdemskyinitial taint should have null whereDefined so we don... tree | commitdiff
2011-03-23 stepheyChanged a lot of things in RCR. It works for the most... tree | commitdiff
2011-03-23 bdemskybug fix tree | commitdiff
2011-03-23 bdemskybug fixes... tree | commitdiff
2011-03-23 bdemskybug fixes tree | commitdiff
2011-03-23 stepheyJim told me to do this... tree | commitdiff
2011-03-23 jjenistachanged options in code to actually print reach states... tree | commitdiff
2011-03-22 bdemskybug fixes tree | commitdiff
2011-03-22 bdemskysmall bug tree | commitdiff
2011-03-22 bdemskyfix mistake....allocnodes are like disjoint heapregionn... tree | commitdiff
next
Irvine Research Compiler