bug fix...things are slower to compile...:(
[IRC.git] / Robust / src / Analysis /
2011-04-06 bdemskybug fix...things are slower to compile...:(
2011-04-06 stepheybug fix for refCount in SMFEStates. I'm not sure if...
2011-04-06 bdemskybug fix
2011-04-05 jjenistaget this debug print out of here
2011-04-05 jjenistaat task exit, a task should acquire any out-set variabl...
2011-04-03 yeomchanges: build conflict graphs that have line number...
2011-04-01 bdemskybuild pruned graphs that encode conflict information...
2011-04-01 bdemskybug fix for stephen
2011-03-31 yeomchanges: reorganizes debug messages
2011-03-31 yeomchanges: only apply the variable analysis on the method...
2011-03-30 yeombug fixes on OoOJava, now it works fine with all of...
2011-03-28 bdemskychanges
2011-03-28 bdemskybug fix...
2011-03-28 bdemskyhave to treat reads of inaccessible variables that...
2011-03-28 bdemskychanges...
2011-03-28 bdemskyanother bug fix...need to visit everything once also..
2011-03-28 bdemskycould infinite loop under some cases...think this fixes...
2011-03-28 yeombug fix on RBlockRelationAnalysis: found that status...
2011-03-27 bdemskymore bug fixes
2011-03-26 bdemskybug fix
2011-03-26 bdemskyhacks to improve speed...including turning off debugging
2011-03-26 bdemskychanges
2011-03-26 bdemskyadd support for super calls...ie...super.foo()
2011-03-26 yeomchanges.
2011-03-25 bdemskybug fix
2011-03-25 bdemskychanges
2011-03-25 bdemskytry to get runtimeconflictresolver working...and cleani...
2011-03-25 bdemskychanges to process/prune state machines
2011-03-25 bdemskyclass to prune/process state machines
2011-03-24 bdemskyadd lookup tables for effects
2011-03-24 yeomchanges on ssjava.
2011-03-24 bdemskyBug fix...supposed to pass in bsm into Pointer analysis...
2011-03-24 bdemskyinitial taint should have null whereDefined so we don...
2011-03-23 stepheyChanged a lot of things in RCR. It works for the most...
2011-03-23 bdemskybug fix
2011-03-23 bdemskybug fixes...
2011-03-23 bdemskybug fixes
2011-03-23 stepheyJim told me to do this...
2011-03-23 jjenistachanged options in code to actually print reach states...
2011-03-22 bdemskybug fixes
2011-03-22 bdemskysmall bug
2011-03-22 bdemskyfix mistake....allocnodes are like disjoint heapregionn...
2011-03-22 bdemskychanges to give compiler run times for phases....
2011-03-22 bdemskychange so that new analysis runs for all benchmarks
2011-03-22 yeombug fix on the glb function of the lattice + working...
2011-03-21 stepheyWork in progress... I need to rework how to handle...
2011-03-21 bdemskyfixing bugs...
2011-03-19 yeomchanges.
2011-03-19 jjenistawe took DFJ and broke its arm, and we'll reset the...
2011-03-19 bdemskychanges...extra accessible analysis
2011-03-18 jjenistachanging to new traversers/examiners
2011-03-18 bdemskymore bug fixes
2011-03-18 bdemskymore changes...
2011-03-18 bdemskychanges
2011-03-18 bdemskymore changes
2011-03-18 bdemskycommit hacks to effect analysis...interfaces to allow...
2011-03-18 bdemskyPatch in effects analysis hooks....have to add new...
2011-03-18 bdemskyneed to decouple effects from AllocSite
2011-03-18 bdemskymy changes
2011-03-17 bdemskymore changes...
2011-03-17 bdemskymore changes...do node-based taints...taint edges....
2011-03-17 bdemskycompiling again...
2011-03-17 yeomkeep the current snapshot before making further changes.
2011-03-17 bdemskychanges towards taints
2011-03-16 bdemskypushing changes
2011-03-16 bdemskystarting towards taints
2011-03-15 bdemskybug fix...can now analyze specjbb...~44,000 lines of...
2011-03-15 bdemskysmall hacks to speed up stuff...don't compute graphs...
2011-03-15 bdemskybug fixes for the day....lots of them
2011-03-15 yeomrefactoring the lattice implementation / having a way...
2011-03-14 bdemskylots of bugs
2011-03-11 bdemskyrunning on some benchmarks....
2011-03-11 bdemskyanother benchmark working
2011-03-11 bdemskya few more bugs fixed...lots of debug code
2011-03-10 jjenistapublic interface for the later compiler phases
2011-03-10 jjenistastate machines for traverers seem to be working for...
2011-03-10 bdemskymore bug fixes...
2011-03-10 bdemskyeven more bug fixes...3 test cases work
2011-03-10 bdemskymore bug fixes...two examples working
2011-03-10 bdemskybug fixes...
2011-03-10 bdemskybug fixes
2011-03-09 bdemskychanges
2011-03-05 yeomintroduce new flag -ssjava for enabling SSJava feature...
2011-03-05 jjenistamore code for state machines in dfj traversers
2011-03-04 jjenistaextend taints for a new mode in DFJ that helps build...
2011-03-04 bdemskychanges
2011-03-03 jjenistaa test case showing a bug in disjoint analysis basic...
2011-03-03 bdemskymore code changes
2011-03-03 bdemskychanges
2011-03-03 bdemskymore changes
2011-03-02 bdemskymore code cleanup
2011-03-02 bdemskycode cleanup
2011-03-02 bdemskychanges towards making this work
2011-02-25 bdemskychanges
2011-02-04 bdemskychanges
2011-02-03 jjenistafixing bugs from task code cleanup
2011-02-03 jjenistaThis is a compile-stable update of OoOJava code, there...
2011-02-03 jjenistabringing ooojava code gen around, some todos still...
2011-02-01 jjenistabringing analysis up to clean model, buildcode is left
2011-02-01 jjenistastarting to get into memory conflicts where cleaned...
next