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

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

2010-04-14	jjenista	fixed a bug where retrieving the context contribution...	blob \| commitdiff \| raw
2010-04-12	jjenista	adjustments to stack-based method scheduling, debug...	blob \| commitdiff \| raw \| diff to current
2010-04-07	jjenista	deterministic mode works	blob \| commitdiff \| raw \| diff to current
2010-04-07	jjenista	added compiler option to desire determinism, it current...	blob \| commitdiff \| raw \| diff to current
2010-04-05	jjenista	implemented stack method visit but with callees on...	blob \| commitdiff \| raw \| diff to current
2010-04-02	jjenista	bug fixes for unflagged heap regions becoming flagged	blob \| commitdiff \| raw \| diff to current
2010-04-02	jjenista	working on bugs, sharing file output updates	blob \| commitdiff \| raw \| diff to current
2010-03-31	jjenista	enforce strict monotonicity for initial method contexts...	blob \| commitdiff \| raw \| diff to current
2010-03-30	jjenista	bug fixes, make stack/Q method-visiting a cmd line...	blob \| commitdiff \| raw \| diff to current
2010-03-26	jjenista	all changes for official testing	blob \| commitdiff \| raw \| diff to current
2010-03-26	jjenista	collect last night's changes	blob \| commitdiff \| raw \| diff to current
2010-03-26	bdemsky	stack implementation...may expose bugs	blob \| commitdiff \| raw \| diff to current
2010-03-26	bdemsky	bug fix	blob \| commitdiff \| raw \| diff to current
2010-03-25	bdemsky	bug fixes and optimizations	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-25	yeom	bug fixes	blob \| commitdiff \| raw \| diff to current
2010-03-25	yeom	changes for proper handling multi-dimensional array...	blob \| commitdiff \| raw \| diff to current
2010-03-25	jjenista	bug fixes	blob \| commitdiff \| raw \| diff to current
2010-03-24	jjenista	improved debug graph capture	blob \| commitdiff \| raw \| diff to current
2010-03-24	jjenista	bug fixes, display improvements, sharing query changes...	blob \| commitdiff \| raw \| diff to current
2010-03-23	jjenista	bug fix for primitive parameters, made a simple method...	blob \| commitdiff \| raw \| diff to current
2010-03-23	jjenista	little bug fixes, adjusted code for detecting sharing...	blob \| commitdiff \| raw \| diff to current
2010-03-22	jjenista	fix bug that a hrn ID integer and a boolean out-of...	blob \| commitdiff \| raw \| diff to current
2010-03-22	jjenista	little bug in final reporting	blob \| commitdiff \| raw \| diff to current
2010-03-22	jjenista	couple fixes to make sure out-of-context nodes get...	blob \| commitdiff \| raw \| diff to current
2010-03-19	yeom	changes.	blob \| commitdiff \| raw \| diff to current
2010-03-19	jjenista	making debugging easier	blob \| commitdiff \| raw \| diff to current
2010-03-19	yeom	changes.	blob \| commitdiff \| raw \| diff to current
2010-03-19	yeom	add interface.	blob \| commitdiff \| raw \| diff to current
2010-03-17	jjenista	use different graph writing options to better find...	blob \| commitdiff \| raw \| diff to current
2010-03-17	jjenista	fixed issues with dot graph writing that make our debug...	blob \| commitdiff \| raw \| diff to current
2010-03-17	yeom	changes for proper handling field.	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-16	yeom	bug fix.	blob \| commitdiff \| raw \| diff to current
2010-03-16	yeom	changes for handling tasks.	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-10	jjenista	big checkin, lots of call site transfer bug fixes,...	blob \| commitdiff \| raw \| diff to current
2010-03-04	jjenista	bug fix, other transfer funcs invoke mutating methods...	blob \| commitdiff \| raw \| diff to current
2010-03-01	jjenista	check in a debug mode for call site transfer I use...	blob \| commitdiff \| raw \| diff to current
2010-02-23	jjenista	system stable, call site transform wipes out graphs...	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	big update--bringing implementation of new analysis...	blob \| commitdiff \| raw \| diff to current
2010-02-11	jjenista	reevaluating abstract garbage collection, for now leave...	blob \| commitdiff \| raw \| diff to current
2010-02-09	jjenista	change analysis so nodes are added on demand, and abstr...	blob \| commitdiff \| raw \| diff to current
2010-02-04	jjenista	implementing	blob \| commitdiff \| raw \| diff to current
2010-02-02	jjenista	implementing	blob \| commitdiff \| raw \| diff to current
2010-01-20	jjenista	bug fix: do dynamic tracking when a variable's source...	blob \| commitdiff \| raw \| diff to current
2010-01-07	jjenista	more implementation	blob \| commitdiff \| raw \| diff to current
2010-01-07	jjenista	more implementation	blob \| commitdiff \| raw \| diff to current
2010-01-06	jjenista	more implementation	blob \| commitdiff \| raw \| diff to current
2010-01-04	jjenista	more implementation	blob \| commitdiff \| raw \| diff to current
2009-12-31	jjenista	more implementation	blob \| commitdiff \| raw \| diff to current
2009-12-30	jjenista	working on new implementation	blob \| commitdiff \| raw \| diff to current
2009-12-10	jjenista	Stable compile finally, but system crashing in mid...	blob \| commitdiff \| raw \| diff to current
2009-12-09	jjenista	changes	blob \| commitdiff \| raw \| diff to current
2009-12-08	jjenista	changes	blob \| commitdiff \| raw \| diff to current
2009-12-07	jjenista	changes	blob \| commitdiff \| raw \| diff to current
2009-12-07	jjenista	implementing	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