*** empty log message ***
[IRC.git] / Robust / src / Analysis /
2010-02-04 jjenistaimplementing
2010-02-03 yeomnew implementation for compiling conflict queues.
2010-02-02 jjenistaimplementing
2010-02-01 yeomkeep last snapshot for benchmark before moving to new...
2010-01-29 yeomchanges.
2010-01-28 jjenistabug fix for ready-static-dynamic variable classificatio...
2010-01-28 yeomchanges.
2010-01-21 yeombug fix, converting method effects into sese effects.
2010-01-20 jjenistabug fix: do dynamic tracking when a variable's source...
2010-01-20 yeomchanges.
2010-01-20 jjenistafixed a bug in not-available set calculation for MLP
2010-01-19 jzhouadd codes for randomly generating core group mappings...
2010-01-18 yeomchanges.
2010-01-13 yeomchanges in SESE lock scheme using clique covering.
2010-01-09 yeomchanges.
2010-01-08 yeomchanges.
2010-01-07 jjenistamore implementation
2010-01-07 yeombug fix.
2010-01-07 jjenistasome old things need to be changed around, like no...
2010-01-07 yeomchanges.
2010-01-07 jjenistamore implementation
2010-01-06 jjenistamore implementation
2010-01-06 jjenistamore implementation
2010-01-06 yeomchanges.
2010-01-04 jjenistamore implementation
2010-01-04 yeommore implementation on the SESE runtime
2009-12-31 jjenistamore implementation
2009-12-30 jjenistaworking on new implementation
2009-12-23 yeominitial commit for adding memory conflicts feature...
2009-12-16 yeomsmall change. now it works fine with regression.
2009-12-16 yeomfix the problem of handling nested parent/child SESE...
2009-12-10 jjenistaStable compile finally, but system crashing in mid...
2009-12-09 jjenistachanges
2009-12-08 jjenistachanges
2009-12-07 jjenistachanges
2009-12-07 yeomannotating conflict edges.
2009-12-07 jjenistaimplementing
2009-12-02 jjenistastart of a revised disjoint reachability analysis
2009-11-30 yeomchanges.
2009-11-24 yeomworking on building the conflict graph.
2009-11-23 jzhouchange the scheduler to be configurable to skip ahead...
2009-11-21 bdemskychanges
2009-11-18 yeomreflect changes of allocation site and heap region...
2009-11-16 jzhoubug fix
2009-11-15 jzhoubug fix in scheduling
2009-11-12 jzhoubug fix in scheduling and multicore support for tags
2009-11-10 bdemskychanges
2009-11-09 bdemskybug fixes
2009-11-07 bdemskyoptimize some analysis so they run faster...benchmarks...
2009-11-06 jjenistadon't keep an analysis graph for every program point...
2009-11-06 bdemskyenough bugs for tonight
2009-11-06 bdemskychanges to support inlined fission transactions
2009-11-06 bdemskycheck in new files...
2009-11-05 jjenistaedge type improvement bug fixes, have to deal with...
2009-11-04 jjenistaUse types in program statements to make graph edges...
2009-11-03 yeomchanges toward keeping globally unique identifier for...
2009-10-30 jjenistabug fix, class library results improved, but directto...
2009-10-30 jjenistanew analysis for array references that create no new...
2009-10-30 yeomfixes and associate each effect with unique stall tag...
2009-10-30 jjenistaan analysis for maintaining a relation at each program...
2009-10-30 bdemskyfinish branch elimination optimization for fission...
2009-10-29 bdemskycommit file
2009-10-29 yeommore changes.
2009-10-29 yeomchanges to handle fixed point analysis properly + bug...
2009-10-28 jjenistabug fix when applying store results from multiple possi...
2009-10-27 yeomadded for handling method with child SESE.
2009-10-27 bdemskymore stm options
2009-10-26 yeomchanges towards method context insensitive analysis.
2009-10-23 jjenistastarting implementation for access paths to improve...
2009-10-23 yeominitial commit for parent/child SESE memory conflicts...
2009-10-22 bdemskybug fixes
2009-10-22 bdemskyadd new features...they don't break the build, but...
2009-10-21 jzhouchange to use static mapping of core # and block #...
2009-10-21 jjenistaAdded feature for nullfying dead variables, which didn...
2009-10-20 jjenistarevert alias set computation changes, stick with old way
2009-10-19 jjenistaomputation to determine set of aliased parameter indice...
2009-10-19 jjenistalittle changes to keep, debugging removed
2009-10-16 jjenistacompiler options for call map debugging
2009-10-14 bdemskymore work towards supporting arrays
2009-10-14 jjenistaupdating graph display options
2009-10-14 bdemskymore changes towards word level support for arrays
2009-10-14 adashcheck-in benchmark changes for ipdps paper
2009-10-13 bdemskyobvious typo
2009-10-13 bdemsky*** empty log message ***
2009-10-13 bdemskysmall changes
2009-10-13 bdemskyfixed nasty analysis bug for fission
2009-10-13 yeomchanges.
2009-10-12 yeomdecompose parameter regions into caller regions without...
2009-10-12 yeombug fix.
2009-10-12 yeomcollects live-in var's allocation sites when it referen...
2009-10-10 yeombug fix. analyzeMethod of buildgraph has wrong FlatMeth...
2009-10-08 jihoonl state.DSMTASK flag is added
2009-10-08 jjenistaAllow some disjointness improvements to be turned off...
2009-10-08 yeomdisjoint analysis with a set of flagged allocation...
2009-10-07 yeomchanges to maintain strong update effects.
2009-10-06 yeomchanges to handle SESE placeholder correctly
2009-10-06 yeombug fix and changes to handle properly the mapping...
2009-10-05 jjenistaa bug that only allows more aliasing than can be possib...
2009-10-05 yeombug fix
2009-10-03 yeomadd analyzing SESE effects. generate read&write set...
next