projects / IRC.git / history
| 2011-11-08 | jjenista | fix silly off-by-one bug | blob | commitdiff | raw |
| 2011-11-07 | jjenista | found a bug, results still empty | blob | commitdiff | raw | diff to current |
| 2011-11-07 | jjenista | transfer funcs for the R relation of def reach coded... | blob | commitdiff | raw | diff to current |
| 2011-10-25 | jjenista | def reach coming along | blob | commitdiff | raw | diff to current |
| 2011-10-25 | jjenista | implementing def reach transfer funcs for R | blob | commitdiff | raw | diff to current |
| 2011-10-21 | jjenista | hacks | blob | commitdiff | raw | diff to current |
| 2011-10-21 | jjenista | going to start with just enough definite reach analysis... | blob | commitdiff | raw | diff to current |
| 2011-09-26 | jjenista | Incrementing on definite reach analysis | blob | commitdiff | raw | diff to current |
| 2011-09-22 | jjenista | Be able to get def reach state out at a given program... | blob | commitdiff | raw | diff to current |
| 2011-09-22 | jjenista | getting definite reach analysis set up as a fixed point... | blob | commitdiff | raw | diff to current |