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

[IRC.git] / Robust / src / Analysis / OwnershipAnalysis / ReachabilitySet.java

2008-08-04	jjenista	x.f = y now prunes new edge's beta by alpha at x	blob \| commitdiff \| raw
2008-07-27	jjenista	Reachability bug fixes. Tokens propagate and age in...	blob \| commitdiff \| raw \| diff to current
2008-07-18	jjenista	Working on allocating with reachability, mostly the...	blob \| commitdiff \| raw \| diff to current
2008-07-18	jjenista	Added some functionality to reachability classes that...	blob \| commitdiff \| raw \| diff to current
2008-07-17	jjenista	Fixed propagation, different change sets for the x...	blob \| commitdiff \| raw \| diff to current
2008-07-16	jjenista	Fixed a few minor bugs in token propagation, and major...	blob \| commitdiff \| raw \| diff to current
2008-07-15	jjenista	Token propagation implemented, stable but incorrect...	blob \| commitdiff \| raw \| diff to current
2008-07-09	jjenista	Added reachability classes, all of which are extensions...	blob \| commitdiff \| raw \| diff to current
2008-07-02	jjenista	Starting to integrate reachability classes into ownership.	blob \| commitdiff \| raw \| diff to current
2008-07-01	jjenista	special union of reachability sets works correctly now	blob \| commitdiff \| raw \| diff to current
2008-07-01	jjenista	More reachability set functionality, but not all there yet	blob \| commitdiff \| raw \| diff to current
2008-06-27	jjenista	Broadening implementation for reachability in ownership...	blob \| commitdiff \| raw \| diff to current
2008-06-26	jjenista	Straightened out TokenTuple equality and hash codes...	blob \| commitdiff \| raw \| diff to current
2008-06-24	jjenista	Some initial implementation of reachability for ownersh...	blob \| commitdiff \| raw \| diff to current

Irvine Research Compiler

RSS Atom