projects
/
IRC.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
adding a test case
[IRC.git]
/
Robust
/
src
/
Analysis
/
Disjoint
/ DefiniteReachState.java
2012-01-06
jjenista
tweaks for running definite reach
commit
|
commitdiff
2011-11-18
jjenista
fixed double negate bug, 3rd case of def reach works now
commit
|
commitdiff
2011-11-17
jjenista
case 3 of definite reach, all coded but has bugs becaus...
commit
|
commitdiff
2011-11-11
jjenista
got 2nd case of def reach up and running, one to go
commit
|
commitdiff
2011-11-10
jjenista
working on the second case where definite reach can...
commit
|
commitdiff
2011-11-10
jjenista
AWESOME. Used just the R relation of definite reach...
commit
|
commitdiff
2011-11-10
jjenista
successfully keep def reach info just for the store...
commit
|
commitdiff
2011-11-08
jjenista
fix silly off-by-one bug
commit
|
commitdiff
2011-11-07
jjenista
found a bug, results still empty
commit
|
commitdiff
2011-11-07
jjenista
transfer funcs for the R relation of def reach coded...
commit
|
commitdiff
2011-10-25
jjenista
def reach coming along
commit
|
commitdiff
2011-10-25
jjenista
implementing def reach transfer funcs for R
commit
|
commitdiff
2011-10-21
jjenista
hacks
commit
|
commitdiff
2011-10-21
jjenista
going to start with just enough definite reach analysis...
commit
|
commitdiff
2011-09-26
jjenista
Incrementing on definite reach analysis
commit
|
commitdiff
2011-09-22
jjenista
Be able to get def reach state out at a given program...
commit
|
commitdiff
2011-09-22
jjenista
getting definite reach analysis set up as a fixed point...
commit
|
commitdiff