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

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

2011-11-17	jjenista	case 3 of definite reach, all coded but has bugs becaus...	blob \| commitdiff \| raw
2011-11-11	jjenista	got 2nd case of def reach up and running, one to go	blob \| commitdiff \| raw \| diff to current
2011-11-10	jjenista	working on the second case where definite reach can...	blob \| commitdiff \| raw \| diff to current
2011-11-10	jjenista	AWESOME. Used just the R relation of definite reach...	blob \| commitdiff \| raw \| diff to current
2011-11-10	jjenista	successfully keep def reach info just for the store...	blob \| commitdiff \| raw \| diff to current
2011-11-08	jjenista	fix silly off-by-one bug	blob \| commitdiff \| raw \| diff to current
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

Irvine Research Compiler

RSS Atom