projects / IRC.git / history
| 2011-04-27 | bdemsky | Fix tabbing.... Please fix your editors so they do... | blob | commitdiff | raw |
| 2010-03-25 | jjenista | new Canonical hash and equals, also running with assert... | blob | commitdiff | raw | diff to current |
| 2010-03-19 | jjenista | make sure change sets ignore predicates hanging off... | blob | commitdiff | raw | diff to current |
| 2010-02-22 | jjenista | bug fix, was too aggressive with equals method for... | blob | commitdiff | raw | diff to current |
| 2010-02-19 | jjenista | squashing bugs | blob | commitdiff | raw | diff to current |
| 2010-02-19 | jjenista | big update--bringing implementation of new analysis... | blob | commitdiff | raw | diff to current |
| 2009-12-09 | jjenista | changes | blob | commitdiff | raw | diff to current |
| 2009-12-02 | jjenista | start of a revised disjoint reachability analysis | blob | commitdiff | raw | diff to current |