new files for STM
[IRC.git] / Robust / src / Analysis /
2009-04-03 bdemskychanges
2009-04-03 bdemskysupport for STM
2009-04-03 bdemskylots of bugs
2009-04-02 bdemskya whole bunch of optimizations...should be useful for...
2009-03-30 bdemskychanges
2009-03-27 bdemskyloop analysis stuff
2009-03-27 bdemskyDefUse analysis
2009-03-27 bdemskychanges
2009-03-27 bdemskyhack loop optimizations
2009-03-24 jjenistaedge matching bug fix and add alpha source states back
2009-03-24 bdemskycache lots of results instead of recomputing them
2009-03-24 jjenistafix bug when mapping callee edges into caller, gotta...
2009-03-24 bdemskyspeedup
2009-03-24 jjenistaimprove strong update conditions for store, add strong...
2009-03-24 bdemskyimprove performance
2009-03-23 jjenistafix edge propagation to union effects
2009-03-23 jjenistabug fix: changed contains() to containsKey() where...
2009-03-23 jjenistadon't do strong updates on array element references
2009-03-23 jjenistadon't add immutable or primitive parameters to alias...
2009-03-23 bdemskyevil hack...need to fix arity scheme to match paper...
2009-03-23 jjenistacommenting out debugging
2009-03-22 jjenistamerging lab changes with home changes
2009-03-22 jjenistajust leave commented becuase it is a useful little...
2009-03-22 jjenistasee array dimensions when writing out
2009-03-22 jjenistachanges and debug
2009-03-21 jjenistachanges
2009-03-20 jjenistanew parameter model and mapping procedure stable, doing...
2009-03-20 jjenistamore progress toward new parameter model
2009-03-20 jzhouchanges on directed simulated annealing
2009-03-19 jjenistaStable, partially functional implementation of new...
2009-03-17 jjenistaPartial, stable update that builds param index mappings...
2009-03-17 jjenistaBuild aliased parameter models--still a partial impleme...
2009-03-16 jjenistapartway to new parameter model
2009-03-16 jjenistaStable capture while moving towards typed heap regions...
2009-03-13 jjenistaBe more precise about enqueing dependent method context...
2009-03-13 jjenistaBug fixes:
2009-03-12 jjenistaRewrote global sweep to match paper, keeping ugly debug...
2009-03-12 jjenistaimprove report and debug for analysis interface
2009-03-12 jjenistaallows application of change set to reachability set...
2009-03-10 jjenistachanged analysis public interface to report a set of...
2009-03-10 jjenistaCrack at tuning the punt number between keeping problem...
2009-03-09 jjenistaBug fix, field matching for fields that model array...
2009-03-09 jjenistaBug fix, was not growing the mapping of descriptors...
2009-03-09 jjenistaBug fix in applying change sets, have to use the source...
2009-03-09 jjenistachanged toString so method context's produce unique...
2009-03-06 jjenistaSupport cast nodes
2009-03-06 jjenistaFix bug where element access fields have wrong type...
2009-03-05 jjenistafiddling with debug util
2009-03-05 jjenistaAlter token propagation from store so that computed...
2009-03-05 jjenistafix bug in alias reporting for Java programs
2009-03-04 jjenistaTopological sort actually helps some benchmarks quite...
2009-03-04 jjenistaduring token propagation for store, change to, don...
2009-03-04 jjenistaAdd a remove() operation
2009-03-04 jjenistatopological sort has little impact in overall analysis...
2009-03-04 jjenistachange global sweep to shrink reachability sets rather...
2009-03-04 jjenistaTopologically sort callee leaves to front of analysis...
2009-03-04 jjenistaReturn empty sets instead of null
2009-03-03 jjenistaBug fix: report aliases between allocated objects in...
2009-03-03 jzhoubug fix: can not print out the selected scheduling
2009-03-03 adashadded some more class support
2009-03-03 adashfixed compiler error for FlatInstanceOfNode
2009-03-03 adashedit error message
2009-03-02 jzhouadd codes for generating distribution data for new...
2009-02-25 jzhouFix a bug in scheduling search algorithm: it can not...
2009-02-24 jzhoumissing commit for specifying output dir for simulation...
2009-02-23 jzhousupport for new scheduling search algorithm
2009-02-23 jzhouchange to new scheduling search algorithm: search part...
2009-02-18 bdemskyMassive commit...
2009-02-13 jzhouadd support for new benchmark
2009-02-11 jjenistafixed a bug, not an analysis bug, just a bug that write...
2009-02-09 adash1. Added new 2DConv 15 X 15 kernel size
2009-02-05 jjenistaeliminate null disjoint tags when printing and use...
2009-02-04 jzhouhelp to clean up scheduling codes in Main.java
2009-02-04 jjenistaHandle multi-dimensional arrays in disjointness analysis
2009-02-02 jjenistadisjointness for Java has all planned features
2009-02-02 jjenistaworking support for disjointness on Java, still needs...
2009-01-31 jjenistaAdded disjoint analysis for Java
2009-01-13 jjenistajust a little change to print the full names of methods...
2008-12-31 adashmodified compiler files for adding new keyword "getoffs...
2008-11-18 jzhouFix bugs in scheduling simulator. Also add -robustroot...
2008-11-12 jjenistatrim outputs for benchmarking
2008-11-11 jjenistaadd new class file
2008-11-11 jjenistaadded concept of method context
2008-11-10 jjenistaeliminate two erroneous statements in callee->caller...
2008-11-09 jjenistamake sure strong updates do not affect benchmark result...
2008-11-04 jzhouadd precise profiling data for multicore version profiling
2008-10-27 jjenistarealized strong updates has incorrect conditions, made...
2008-10-22 jzhouIntegrate Jim's ownership ananlysis and fix some bugs...
2008-10-10 jzhoulet scheduling analysis be able to use profile data
2008-10-08 jjenistaGlobal sweep added
2008-10-08 jjenistaCommitting a stable version of global sweep that works...
2008-10-06 jjenistaAdded hooks for global sweep and made sure that strong...
2008-10-03 jjenistaFixed a hack that was bugging me with a proper solution.
2008-10-03 jzhouadd profile codes for multicore version
2008-10-01 jjenistaFixed up another canonical misuse, changed wording...
2008-10-01 jjenistaTighten up use of canonical objects and halt system...
2008-09-29 jjenistaIntroduced ZEROORMORE arity, something appears to be...
2008-09-25 jjenistaFix implementation to use little d when possible, and...
2008-09-24 jjenistaBug fix where two isolated heap regions with empty...
2008-09-23 jjenistaFirst bug fix is that the "unshadow" token conversion...
next