Programming Languages Research Group: Git - IRC.git/history - Robust/src/Analysis/Disjoint/Canonical.java

[IRC.git] / Robust / src / Analysis / Disjoint / Canonical.java

2010-06-21	jjenista	capturing partially implemented taints before altering...	blob \| commitdiff \| raw
2010-05-27	jjenista	porting effects analysis	blob \| commitdiff \| raw \| diff to current
2010-03-25	jjenista	new Canonical hash and equals, also running with assert...	blob \| commitdiff \| raw \| diff to current
2010-03-25	jjenista	bug fixes for task initial heaps and making all new...	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-03-19	jjenista	make sure straight union of reach states or reach sets...	blob \| commitdiff \| raw \| diff to current
2010-03-18	jjenista	couple of little bugs working in tandem to wreck reacha...	blob \| commitdiff \| raw \| diff to current
2010-03-16	jjenista	working hard on reachability, bunch of changes, still...	blob \| commitdiff \| raw \| diff to current
2010-03-15	jjenista	have to test predicates of callee states before admitti...	blob \| commitdiff \| raw \| diff to current
2010-03-15	jjenista	lots of untested code, but compiles, for attaching...	blob \| commitdiff \| raw \| diff to current
2010-03-15	jjenista	most of the missing context-rewriting code	blob \| commitdiff \| raw \| diff to current
2010-03-13	jjenista	a start on reachability, not fully functioning yet	blob \| commitdiff \| raw \| diff to current
2010-03-12	jjenista	if an operation on canonical objects wants to use other...	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	analysis not terminating, looking for things that shoul...	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

Irvine Research Compiler

RSS Atom