projects
/
IRC.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Fix the bug in the variable analysis: When we define nested tasks, the task liveness...
[IRC.git]
/
Robust
/
src
/
Analysis
/
OoOJava
/
OoOJavaAnalysis.java
2012-05-03
yeom
Fix the bug in the variable analysis: When we define...
blob
|
commitdiff
|
raw
2011-05-10
jjenista
New tool to check points-to results of a heap analysis...
blob
|
commitdiff
|
raw
|
diff to current
2011-05-05
jjenista
disjoint should work like pointer in that taints for...
blob
|
commitdiff
|
raw
|
diff to current
2011-04-27
bdemsky
switch to spaces only..
blob
|
commitdiff
|
raw
|
diff to current
2011-04-27
bdemsky
Fix tabbing.... Please fix your editors so they do...
blob
|
commitdiff
|
raw
|
diff to current
2011-04-18
yeom
bug fixes: printing out linenum & source file name...
blob
|
commitdiff
|
raw
|
diff to current
2011-04-05
jjenista
get this debug print out of here
blob
|
commitdiff
|
raw
|
diff to current
2011-04-05
jjenista
at task exit, a task should acquire any out-set variabl...
blob
|
commitdiff
|
raw
|
diff to current
2011-03-31
yeom
changes: reorganizes debug messages
blob
|
commitdiff
|
raw
|
diff to current
2011-03-31
yeom
changes: only apply the variable analysis on the method...
blob
|
commitdiff
|
raw
|
diff to current
2011-03-30
yeom
bug fixes on OoOJava, now it works fine with all of...
blob
|
commitdiff
|
raw
|
diff to current
2011-03-25
bdemsky
try to get runtimeconflictresolver working...and cleani...
blob
|
commitdiff
|
raw
|
diff to current
2011-03-25
bdemsky
changes to process/prune state machines
blob
|
commitdiff
|
raw
|
diff to current
2011-03-24
bdemsky
Bug fix...supposed to pass in bsm into Pointer analysis...
blob
|
commitdiff
|
raw
|
diff to current
2011-03-22
bdemsky
changes to give compiler run times for phases....
blob
|
commitdiff
|
raw
|
diff to current
2011-03-21
bdemsky
fixing bugs...
blob
|
commitdiff
|
raw
|
diff to current
2011-03-19
jjenista
we took DFJ and broke its arm, and we'll reset the...
blob
|
commitdiff
|
raw
|
diff to current
2011-03-18
jjenista
changing to new traversers/examiners
blob
|
commitdiff
|
raw
|
diff to current
2011-03-18
bdemsky
commit hacks to effect analysis...interfaces to allow...
blob
|
commitdiff
|
raw
|
diff to current
2011-02-03
jjenista
fixing bugs from task code cleanup
blob
|
commitdiff
|
raw
|
diff to current
2011-02-03
jjenista
This is a compile-stable update of OoOJava code, there...
blob
|
commitdiff
|
raw
|
diff to current
2011-02-03
jjenista
bringing ooojava code gen around, some todos still...
blob
|
commitdiff
|
raw
|
diff to current
2011-02-01
jjenista
bringing analysis up to clean model, buildcode is left
blob
|
commitdiff
|
raw
|
diff to current
2011-02-01
jjenista
starting to get into memory conflicts where cleaned...
blob
|
commitdiff
|
raw
|
diff to current
2011-02-01
jjenista
honor the easy request of suppressing output for the...
blob
|
commitdiff
|
raw
|
diff to current
2011-02-01
jjenista
pushing cleaned code further through analyses...
blob
|
commitdiff
|
raw
|
diff to current
2011-01-31
jjenista
cleaning up OoOJava and related systems, touching lots...
blob
|
commitdiff
|
raw
|
diff to current
2011-01-22
stephey
We fixed the bug of where to find the stallsite reachgr...
blob
|
commitdiff
|
raw
|
diff to current
2011-01-10
jjenista
just a little change to keep genreach debug node from...
blob
|
commitdiff
|
raw
|
diff to current
2010-11-19
yeom
bug fix: RBlockRelationAnalysis failed to set a non...
blob
|
commitdiff
|
raw
|
diff to current
2010-11-18
yeom
fix: keeps SESEstatus for either case(TRUE/FALSE)
blob
|
commitdiff
|
raw
|
diff to current
2010-11-18
yeom
changes: collects a set of collect effects and generate...
blob
|
commitdiff
|
raw
|
diff to current
2010-11-05
yeom
have an exceptional case that do not generate fine...
blob
|
commitdiff
|
raw
|
diff to current
2010-10-20
bdemsky
more changes...RCR wasn't usable until it was too late...
blob
|
commitdiff
|
raw
|
diff to current
2010-10-11
bdemsky
hack OoOJava RCR to not run disjointness twice...we...
blob
|
commitdiff
|
raw
|
diff to current
2010-10-01
jjenista
for timing disjoint reachability in oooJava benchmarks
blob
|
commitdiff
|
raw
|
diff to current
2010-09-24
jjenista
found a bug, wasn't returning pointer at end of poolcre...
blob
|
commitdiff
|
raw
|
diff to current
2010-08-13
yeom
changes. add coarse case into our previous changes...
blob
|
commitdiff
|
raw
|
diff to current
2010-08-06
yeom
interface to grab the conflict effect set for Stephen,
blob
|
commitdiff
|
raw
|
diff to current
2010-08-06
yeom
introduces new flag for runtime conflict resolver.
blob
|
commitdiff
|
raw
|
diff to current
2010-08-02
yeom
changes.
blob
|
commitdiff
|
raw
|
diff to current
2010-07-23
yeom
changes.
blob
|
commitdiff
|
raw
|
diff to current
2010-07-01
yeom
incorporated OoOJava into build code + fixed a couple...
blob
|
commitdiff
|
raw
|
diff to current
2010-06-30
jjenista
debugged the reach graph support for effect conflicts
blob
|
commitdiff
|
raw
|
diff to current
2010-06-30
yeom
more changes according to new effect analysis
blob
|
commitdiff
|
raw
|
diff to current
2010-06-29
yeom
changes according to new forms of effect analysis
blob
|
commitdiff
|
raw
|
diff to current
2010-06-29
jjenista
getting close to effects for new disjoint analysis
blob
|
commitdiff
|
raw
|
diff to current
2010-06-29
yeom
changes.
blob
|
commitdiff
|
raw
|
diff to current
2010-06-28
jjenista
changed organization and brought in a few new pieces...
blob
|
commitdiff
|
raw
|
diff to current
2010-06-28
yeom
add more steps to OoO analysis
blob
|
commitdiff
|
raw
|
diff to current
2010-06-26
yeom
working on the remaining procedures of OoOJava analysis.
blob
|
commitdiff
|
raw
|
diff to current
2010-06-24
jjenista
rblock in set vars get tainted on rblock enter and...
blob
|
commitdiff
|
raw
|
diff to current
2010-06-23
jjenista
More pieces for new version of analysis
blob
|
commitdiff
|
raw
|
diff to current
2010-06-22
yeom
set up OoOJava analysis.
blob
|
commitdiff
|
raw
|
diff to current
2010-06-17
jjenista
get partially set up new version of disjoint analysis...
blob
|
commitdiff
|
raw
|
diff to current