Programming Languages Research Group: Git

2011-12-03	jzhou	Fix another inner class bug: every inner class along...	commit \| commitdiff \| tree \| snapshot
2011-12-02	yeom	get the right cover set wrt shared location path.	commit \| commitdiff \| tree \| snapshot
2011-12-01	yeom	fix problems of shared loc extension	commit \| commitdiff \| tree \| snapshot
2011-12-01	yeom	changes.	commit \| commitdiff \| tree \| snapshot
2011-11-30	jzhou	According to Brian's comments, check the lside of assig...	commit \| commitdiff \| tree \| snapshot
2011-11-30	yeom	more changes.	commit \| commitdiff \| tree \| snapshot
2011-11-29	jzhou	Array field initialization was accidentally broken...	commit \| commitdiff \| tree \| snapshot
2011-11-29	yeom	have n-to-1 mapping from location paths to a set of...	commit \| commitdiff \| tree \| snapshot
2011-11-29	jzhou	Fix a small bug about enumaration type: it should be...	commit \| commitdiff \| tree \| snapshot
2011-11-24	jzhou	changes	commit \| commitdiff \| tree \| snapshot
2011-11-23	jzhou	Fix another inner class bug: an inner class which is...	commit \| commitdiff \| tree \| snapshot
2011-11-22	yeom	working on shared loc extension: need to keep additiona...	commit \| commitdiff \| tree \| snapshot
2011-11-19	jzhou	fix some MGC classes	commit \| commitdiff \| tree \| snapshot
2011-11-18	jjenista	vector resize isn't a problem, even without definite...	commit \| commitdiff \| tree \| snapshot
2011-11-18	jzhou	class library changes	commit \| commitdiff \| tree \| snapshot
2011-11-18	jjenista	fixed double negate bug, 3rd case of def reach works now	commit \| commitdiff \| tree \| snapshot
2011-11-17	jjenista	case 3 of definite reach, all coded but has bugs becaus...	commit \| commitdiff \| tree \| snapshot
2011-11-15	jzhou	a missing check	commit \| commitdiff \| tree \| snapshot
2011-11-15	jzhou	Bug fix of inner class: only add LIVE local variables...	commit \| commitdiff \| tree \| snapshot
2011-11-15	jzhou	Add a new feature for inner class: an anonymous inner...	commit \| commitdiff \| tree \| snapshot
2011-11-14	yeom	working on shared loc extension	commit \| commitdiff \| tree \| snapshot
2011-11-12	jzhou	Need a new inner class feature: let the anonymous inner...	commit \| commitdiff \| tree \| snapshot
2011-11-11	jzhou	Make the compiler to support super.X/L.super.X which...	commit \| commitdiff \| tree \| snapshot
2011-11-11	yeom	working on the written check.	commit \| commitdiff \| tree \| snapshot
2011-11-11	jjenista	got 2nd case of def reach up and running, one to go	commit \| commitdiff \| tree \| snapshot
2011-11-11	jzhou	Fix inner class implementation. Now code like inner...	commit \| commitdiff \| tree \| snapshot
2011-11-10	bdemsky	change the email list...stop spamming people	commit \| commitdiff \| tree \| snapshot
2011-11-10	jzhou	Change back the inner class test case	commit \| commitdiff \| tree \| snapshot
2011-11-10	jzhou	Fix inner class bug: the inner class cannot correctly...	commit \| commitdiff \| tree \| snapshot
2011-11-10	jjenista	working on the second case where definite reach can...	commit \| commitdiff \| tree \| snapshot
2011-11-10	jjenista	AWESOME. Used just the R relation of definite reach...	commit \| commitdiff \| tree \| snapshot
2011-11-10	jjenista	successfully keep def reach info just for the store...	commit \| commitdiff \| tree \| snapshot
2011-11-10	jjenista	bug fix: retrieve by full key returned empty set, now...	commit \| commitdiff \| tree \| snapshot
2011-11-09	spikeuci	Updating the test case files	commit \| commitdiff \| tree \| snapshot
2011-11-09	spikeuci	Handling the case NAME DOT THIS for inner classes	commit \| commitdiff \| tree \| snapshot
2011-11-09	jjenista	def reach has to use PointerMethod to detect CFG edges...	commit \| commitdiff \| tree \| snapshot
2011-11-08	jjenista	fix silly off-by-one bug	commit \| commitdiff \| tree \| snapshot
2011-11-08	bdemsky	push a bunch of old changes i had related to inner...	commit \| commitdiff \| tree \| snapshot
2011-11-07	jjenista	found a bug, results still empty	commit \| commitdiff \| tree \| snapshot
2011-11-07	jjenista	transfer funcs for the R relation of def reach coded...	commit \| commitdiff \| tree \| snapshot
2011-11-05	yeom	fix: the callee can return only its owned obj	commit \| commitdiff \| tree \| snapshot
2011-11-04	yeom	add evaluation files	commit \| commitdiff \| tree \| snapshot
2011-11-04	yeom	forgot to commit	commit \| commitdiff \| tree \| snapshot
2011-10-28	spikeuci	Bug fixed	commit \| commitdiff \| tree \| snapshot
2011-10-28	spikeuci	This completes the barebones versions of inner class...	commit \| commitdiff \| tree \| snapshot
2011-10-28	yeom	update location identifier according to changes of...	commit \| commitdiff \| tree \| snapshot
2011-10-28	yeom	bug fix:	commit \| commitdiff \| tree \| snapshot
2011-10-28	jjenista	looks like the output is Left and Right channels interl...	commit \| commitdiff \| tree \| snapshot
2011-10-27	jjenista	make it easy to collect data for the paper's error...	commit \| commitdiff \| tree \| snapshot
2011-10-27	jjenista	exploring error injection space	commit \| commitdiff \| tree \| snapshot
2011-10-26	jjenista	the static inner classes are not being used, but Subu...	commit \| commitdiff \| tree \| snapshot
2011-10-26	jjenista	tweak scripts to take mp3 filename argument	commit \| commitdiff \| tree \| snapshot
2011-10-26	jjenista	restrict error injection to non-array primitive types...	commit \| commitdiff \| tree \| snapshot
2011-10-25	yeom	add longer mp3 file for test	commit \| commitdiff \| tree \| snapshot
2011-10-25	jjenista	def reach coming along	commit \| commitdiff \| tree \| snapshot
2011-10-25	jjenista	implementing def reach transfer funcs for R	commit \| commitdiff \| tree \| snapshot
2011-10-25	spikeuci	Checking in the test cases	commit \| commitdiff \| tree \| snapshot
2011-10-25	spikeuci	As discussed with Prof. Demsky/Jim, the constructor...	commit \| commitdiff \| tree \| snapshot
2011-10-22	jjenista	decouple ssjava code gen to prevent crashes from the...	commit \| commitdiff \| tree \| snapshot
2011-10-22	jjenista	automate trying different error probabilities and seeds	commit \| commitdiff \| tree \| snapshot
2011-10-21	jjenista	instrument an injected error and plot differences in...	commit \| commitdiff \| tree \| snapshot
2011-10-21	jjenista	hacks	commit \| commitdiff \| tree \| snapshot
2011-10-21	jjenista	some extras for multiviewmaps	commit \| commitdiff \| tree \| snapshot
2011-10-21	jjenista	Please don't check in debug lines, por favor :)	commit \| commitdiff \| tree \| snapshot
2011-10-21	jjenista	a start on error inject for SSJava	commit \| commitdiff \| tree \| snapshot
2011-10-21	yeom	moves MP3Decoder codes to Benchmark directory	commit \| commitdiff \| tree \| snapshot
2011-10-21	jjenista	going to start with just enough definite reach analysis...	commit \| commitdiff \| tree \| snapshot
2011-10-21	david	added array access inference	commit \| commitdiff \| tree \| snapshot
2011-10-21	spikeuci	Some changes for signature of constructor of inner...	commit \| commitdiff \| tree \| snapshot
2011-10-21	david	Fixed a bug, added switch statement support	commit \| commitdiff \| tree \| snapshot
2011-10-21	david	changed treenode tag to blockstatementnode tag	commit \| commitdiff \| tree \| snapshot
2011-10-21	david	adds global, this, and static tags for var id	commit \| commitdiff \| tree \| snapshot
2011-10-20	jjenista	a short, clear example that definite reachability will...	commit \| commitdiff \| tree \| snapshot
2011-10-16	spikeuci	Step 1: Creating instances of all levels of enclosing...	commit \| commitdiff \| tree \| snapshot
2011-10-13	jzhou	More changes for Galois	commit \| commitdiff \| tree \| snapshot
2011-10-13	jjenista	OoOJava benchmarks, including barnes-hut NOT paralleliz...	commit \| commitdiff \| tree \| snapshot
2011-10-13	jjenista	Forgot to add the OoOJava-specific class directory	commit \| commitdiff \| tree \| snapshot
2011-10-13	jjenista	Bug fix, sometimes an edge matches except it has a...	commit \| commitdiff \| tree \| snapshot
2011-10-13	jjenista	Allow buildscript user to set the compiler's JVM heap...	commit \| commitdiff \| tree \| snapshot
2011-10-13	jjenista	move heap size of output program into the benchmark...	commit \| commitdiff \| tree \| snapshot
2011-10-12	spikeuci	Adding support for default constructor to be created...	commit \| commitdiff \| tree \| snapshot
2011-10-12	spikeuci	* empty log message *	commit \| commitdiff \| tree \| snapshot
2011-10-08	jzhou	More classes for galois	commit \| commitdiff \| tree \| snapshot
2011-10-07	jjenista	fix a bug for Taint similar to ReachState, when either...	commit \| commitdiff \| tree \| snapshot
2011-10-05	jjenista	accidentally commited tinker code yesterday	commit \| commitdiff \| tree \| snapshot
2011-10-05	bdemsky	changes	commit \| commitdiff \| tree \| snapshot
2011-10-05	bdemsky	extend test	commit \| commitdiff \| tree \| snapshot
2011-10-05	bdemsky	inner class test case	commit \| commitdiff \| tree \| snapshot
2011-10-04	jjenista	Bug fix, subtle errors in exist pred hashcode, and...	commit \| commitdiff \| tree \| snapshot
2011-10-04	jjenista	a test that exposed a cyclic hashcode bug and some...	commit \| commitdiff \| tree \| snapshot
2011-10-04	jjenista	A test that exposed the bug that I just fixed	commit \| commitdiff \| tree \| snapshot
2011-10-04	jjenista	the bug I've been chasing, a critical one-letter typo...	commit \| commitdiff \| tree \| snapshot
2011-10-04	jjenista	double-check the context conversions of out-of-context...	commit \| commitdiff \| tree \| snapshot
2011-10-04	jjenista	slight code improvements	commit \| commitdiff \| tree \| snapshot
2011-10-04	yeom	SSJava runtime support	commit \| commitdiff \| tree \| snapshot
2011-10-03	jzhou	Changes for galois porting	commit \| commitdiff \| tree \| snapshot
2011-10-03	jzhou	More classes for galois	commit \| commitdiff \| tree \| snapshot
2011-10-03	yeom	annotated version.	commit \| commitdiff \| tree \| snapshot
2011-10-03	yeom	bug fix.	commit \| commitdiff \| tree \| snapshot
2011-10-01	yeom	add input sensor data file	commit \| commitdiff \| tree \| snapshot
next

Irvine Research Compiler

RSS Atom