projects / IRC.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
changes.
[IRC.git] / Robust / src / Analysis /
2012-10-08 yeomchanges. tree | commitdiff
2012-10-06 yeomchanges. tree | commitdiff
2012-10-05 yeomchanges. tree | commitdiff
2012-10-03 yeommajor revisions on FlowGraph to have more precise infor... tree | commitdiff
2012-10-02 yeomchanges to get a global flow graph tree | commitdiff
2012-09-29 yeomchanges. tree | commitdiff
2012-09-22 yeomchanges. tree | commitdiff
2012-09-16 yeomchanges: building field/method hierarchy graph + insert... tree | commitdiff
2012-08-17 yeomchanges. tree | commitdiff
2012-08-17 yeomchanges. tree | commitdiff
2012-08-16 yeomchanges. tree | commitdiff
2012-08-15 yeomgenerate annotated source code again but it's still... tree | commitdiff
2012-08-15 yeomchanges. tree | commitdiff
2012-08-13 yeomchanges. tree | commitdiff
2012-08-13 yeomchanges + annotation generation tree | commitdiff
2012-08-11 yeomchanges. tree | commitdiff
2012-08-10 yeombug fixes on the flow graph. tree | commitdiff
2012-08-10 yeomchanges. tree | commitdiff
2012-08-08 yeomchanges. tree | commitdiff
2012-08-07 yeomchanges. tree | commitdiff
2012-08-07 yeomchanges. tree | commitdiff
2012-08-06 yeomchanges. tree | commitdiff
2012-08-06 yeomchanges. tree | commitdiff
2012-08-04 yeommore changes. tree | commitdiff
2012-08-04 yeomchanges. tree | commitdiff
2012-08-02 yeomfixed another problem of the flow-down check. If an... tree | commitdiff
2012-08-02 yeomadd PCLOC annotations. all three benchmarks are type... tree | commitdiff
2012-08-01 yeomAllow to declare a composite location for the initial... tree | commitdiff
2012-08-01 yeomimplemented PCLOC annotation. tree | commitdiff
2012-08-01 yeomfix. tree | commitdiff
2012-08-01 yeomchanges on the inference engine. tree | commitdiff
2012-07-30 yeomchanges. tree | commitdiff
2012-07-13 yeomchanges. tree | commitdiff
2012-07-07 yeoma bunch of fixes. tree | commitdiff
2012-06-29 yeomimplemented a fixed point based interprocedural analysi... tree | commitdiff
2012-05-07 yeommore implementation for the inference: propagating... tree | commitdiff
2012-05-03 yeomFix the bug in the variable analysis: When we define... tree | commitdiff
2012-05-02 yeombug fix: The result of the pointer analysis is broken... tree | commitdiff
2012-04-30 yeomchanges on the SJava inference tree | commitdiff
2012-04-20 yeommore changes. tree | commitdiff
2012-04-19 yeomchanges. tree | commitdiff
2012-04-16 yeomchanges. tree | commitdiff
2012-04-10 yeomstart implementing basic approach tree | commitdiff
2012-03-22 yeomchanges on inference tree | commitdiff
2012-03-21 yeomchanges and data/eval files for new evaluations tree | commitdiff
2012-02-17 yeomchanges. tree | commitdiff
2012-02-17 yeomadd new compilation flag -ssjavainfer for the location... tree | commitdiff
2012-02-17 yeomsetup some interfaces & skeleton codes for Adrian's... tree | commitdiff
2012-01-27 jjenistanew version of experiments tree | commitdiff
2012-01-27 jjenistalittle twiddles for kmeans investigation tree | commitdiff
2012-01-25 jjenistaset up to count graph elements over every final graph... tree | commitdiff
2012-01-24 jjenistadidnt get what I wanted before tree | commitdiff
2012-01-24 jjenistabits to help investigate node count changing tree | commitdiff
2012-01-20 jjenistarunning new experiments tree | commitdiff
2012-01-20 yeomhave another way to assign a THIS LOCATION to method... tree | commitdiff
2012-01-17 jjenistapredicates are not feasible to flip on and off. The... tree | commitdiff
2012-01-17 jjenistafix up summarize-per-class mode tree | commitdiff
2012-01-17 jjenistaget set up for experiment: test impact of disabling... tree | commitdiff
2012-01-09 jjenistadefreach experiment tree | commitdiff
2012-01-06 jjenistatweaks for running definite reach tree | commitdiff
2011-12-15 yeomFinally, all benchmarks pass the definitely written... tree | commitdiff
2011-12-15 yeomNew shared loc analysis found a shared location that... tree | commitdiff
2011-12-15 yeomassociate assignment nodes that writes to the same... tree | commitdiff
2011-12-13 yeomchanges. tree | commitdiff
2011-12-12 yeomfix another bug: callee propagated wrong write effects... tree | commitdiff
2011-12-12 yeommore changes, but still broken with mp3decoder tree | commitdiff
2011-12-10 yeomchanges. tree | commitdiff
2011-12-09 yeomfix a nasty bug: writes on local array elements was... tree | commitdiff
2011-12-08 yeomfix heap path propagation and generate error msg with... tree | commitdiff
2011-12-06 yeomchanges while trying to compile MP3Decoder tree | commitdiff
2011-12-06 yeomchanges for getting the right path of static references tree | commitdiff
2011-12-05 yeomfixes on analyses to compile the eyetracking benchmark tree | commitdiff
2011-12-05 yeomfixes tree | commitdiff
2011-12-03 yeomit has passed test cases tree | commitdiff
2011-12-02 yeomget the right cover set wrt shared location path. tree | commitdiff
2011-12-01 yeomfix problems of shared loc extension tree | commitdiff
2011-12-01 yeomchanges. tree | commitdiff
2011-11-30 yeommore changes. tree | commitdiff
2011-11-29 yeomhave n-to-1 mapping from location paths to a set of... tree | commitdiff
2011-11-22 yeomworking on shared loc extension: need to keep additiona... tree | commitdiff
2011-11-18 jjenistafixed double negate bug, 3rd case of def reach works now tree | commitdiff
2011-11-17 jjenistacase 3 of definite reach, all coded but has bugs becaus... tree | commitdiff
2011-11-14 yeomworking on shared loc extension tree | commitdiff
2011-11-11 yeomworking on the written check. tree | commitdiff
2011-11-11 jjenistagot 2nd case of def reach up and running, one to go tree | commitdiff
2011-11-10 jjenistaworking on the second case where definite reach can... tree | commitdiff
2011-11-10 jjenistaAWESOME. Used just the R relation of definite reach... tree | commitdiff
2011-11-10 jjenistasuccessfully keep def reach info just for the store... tree | commitdiff
2011-11-09 jjenistadef reach has to use PointerMethod to detect CFG edges... tree | commitdiff
2011-11-08 jjenistafix silly off-by-one bug tree | commitdiff
2011-11-07 jjenistafound a bug, results still empty tree | commitdiff
2011-11-07 jjenistatransfer funcs for the R relation of def reach coded... tree | commitdiff
2011-11-04 yeomforgot to commit tree | commitdiff
2011-10-28 yeombug fix: tree | commitdiff
2011-10-25 jjenistadef reach coming along tree | commitdiff
2011-10-25 jjenistaimplementing def reach transfer funcs for R tree | commitdiff
2011-10-21 jjenistahacks tree | commitdiff
2011-10-21 yeommoves MP3Decoder codes to Benchmark directory tree | commitdiff
2011-10-21 jjenistagoing to start with just enough definite reach analysis... tree | commitdiff
2011-10-21 davidadded array access inference tree | commitdiff
next
Irvine Research Compiler