Programming Languages Research Group: Git

2012-07-31	yeom	add source code that does not have location annotations.	commit \| commitdiff \| tree
2012-07-30	yeom	changes.	commit \| commitdiff \| tree
2012-07-13	yeom	changes.	commit \| commitdiff \| tree
2012-07-07	yeom	a bunch of fixes.	commit \| commitdiff \| tree
2012-06-29	yeom	implemented a fixed point based interprocedural analysis...	commit \| commitdiff \| tree
2012-05-07	yeom	more implementation for the inference: propagating...	commit \| commitdiff \| tree
2012-05-04	yeom	run-doj-validation-test.sh: a single script that performs...	commit \| commitdiff \| tree
2012-05-03	yeom	Fix the bug in the variable analysis: When we define...	commit \| commitdiff \| tree
2012-05-03	yeom	Fix: need to keep the number of allocation site for...	commit \| commitdiff \| tree
2012-05-02	yeom	fixes to remove compilation warnings. now DOJ works...	commit \| commitdiff \| tree
2012-05-02	yeom	fix: the return value declarations were missing in...	commit \| commitdiff \| tree
2012-05-02	yeom	bug fix: The result of the pointer analysis is broken...	commit \| commitdiff \| tree
2012-04-30	yeom	changes on the SJava inference	commit \| commitdiff \| tree
2012-04-20	yeom	more changes.	commit \| commitdiff \| tree
2012-04-19	yeom	changes.	commit \| commitdiff \| tree
2012-04-16	yeom	changes.	commit \| commitdiff \| tree
2012-04-10	yeom	start implementing basic approach	commit \| commitdiff \| tree
2012-03-22	yeom	changes on inference	commit \| commitdiff \| tree
2012-03-22	yeom	add a new test case for inference	commit \| commitdiff \| tree
2012-03-21	yeom	changes and data/eval files for new evaluations	commit \| commitdiff \| tree
2012-03-09	yeom	raw numbers from error injection evaluations	commit \| commitdiff \| tree
2012-03-07	yeom	raw evaluation numbers for the mp3decoder	commit \| commitdiff \| tree
2012-03-06	yeom	add batch-mode script	commit \| commitdiff \| tree
2012-02-24	yeom	add a simplifed bh.	commit \| commitdiff \| tree
2012-02-17	yeom	changes.	commit \| commitdiff \| tree
2012-02-17	yeom	add new compilation flag -ssjavainfer for the location...	commit \| commitdiff \| tree
2012-02-17	yeom	setup some interfaces & skeleton codes for Adrian's...	commit \| commitdiff \| tree
2012-01-20	yeom	have another way to assign a THIS LOCATION to method...	commit \| commitdiff \| tree
2011-12-16	yeom	test case for the ownership checking	commit \| commitdiff \| tree
2011-12-15	yeom	Finally, all benchmarks pass the definitely written...	commit \| commitdiff \| tree
2011-12-15	yeom	New shared loc analysis found a shared location that...	commit \| commitdiff \| tree
2011-12-15	yeom	associate assignment nodes that writes to the same...	commit \| commitdiff \| tree
2011-12-15	yeom	fix mp3decoder: clear memory locations that are not...	commit \| commitdiff \| tree
2011-12-13	yeom	changes.	commit \| commitdiff \| tree
2011-12-12	yeom	fix another bug: callee propagated wrong write effects...	commit \| commitdiff \| tree
2011-12-12	yeom	more changes, but still broken with mp3decoder	commit \| commitdiff \| tree
2011-12-10	yeom	changes.	commit \| commitdiff \| tree
2011-12-09	yeom	fix a nasty bug: writes on local array elements was...	commit \| commitdiff \| tree
2011-12-08	yeom	fix heap path propagation and generate error msg with...	commit \| commitdiff \| tree
2011-12-06	yeom	changes while trying to compile MP3Decoder	commit \| commitdiff \| tree
2011-12-06	yeom	changes for getting the right path of static references	commit \| commitdiff \| tree
2011-12-06	yeom	new analysis found one shared location that is not...	commit \| commitdiff \| tree
2011-12-05	yeom	fixes on analyses to compile the eyetracking benchmark	commit \| commitdiff \| tree
2011-12-05	yeom	fixes	commit \| commitdiff \| tree
2011-12-03	yeom	it has passed test cases	commit \| commitdiff \| tree
2011-12-02	yeom	get the right cover set wrt shared location path.	commit \| commitdiff \| tree
2011-12-01	yeom	fix problems of shared loc extension	commit \| commitdiff \| tree
2011-12-01	yeom	changes.	commit \| commitdiff \| tree
2011-11-30	yeom	more changes.	commit \| commitdiff \| tree
2011-11-29	yeom	have n-to-1 mapping from location paths to a set of...	commit \| commitdiff \| tree
2011-11-22	yeom	working on shared loc extension: need to keep additional...	commit \| commitdiff \| tree
2011-11-14	yeom	working on shared loc extension	commit \| commitdiff \| tree
2011-11-11	yeom	working on the written check.	commit \| commitdiff \| tree
2011-11-05	yeom	fix: the callee can return only its owned obj	commit \| commitdiff \| tree
2011-11-04	yeom	add evaluation files	commit \| commitdiff \| tree
2011-11-04	yeom	forgot to commit	commit \| commitdiff \| tree
2011-10-28	yeom	update location identifier according to changes of...	commit \| commitdiff \| tree
2011-10-28	yeom	bug fix:	commit \| commitdiff \| tree
2011-10-25	yeom	add longer mp3 file for test	commit \| commitdiff \| tree
2011-10-21	yeom	moves MP3Decoder codes to Benchmark directory	commit \| commitdiff \| tree
2011-10-04	yeom	SSJava runtime support	commit \| commitdiff \| tree
2011-10-03	yeom	annotated version.	commit \| commitdiff \| tree
2011-10-03	yeom	bug fix.	commit \| commitdiff \| tree
2011-10-01	yeom	add input sensor data file	commit \| commitdiff \| tree
2011-09-30	yeom	makefile	commit \| commitdiff \| tree
2011-09-30	yeom	start new benchmark JavaNator.	commit \| commitdiff \| tree
2011-09-21	yeom	it passes all checkings.	commit \| commitdiff \| tree
2011-09-20	yeom	take out the loop termination analysis from the java...	commit \| commitdiff \| tree
2011-09-20	yeom	bug fix on the Loop terminate analysis: as long as...	commit \| commitdiff \| tree
2011-09-20	yeom	passes the flow down rule	commit \| commitdiff \| tree
2011-09-20	yeom	bug fixes + annotations	commit \| commitdiff \| tree
2011-09-17	yeom	1) it passes the linear type checking 2) start annotations...	commit \| commitdiff \| tree
2011-09-16	yeom	EyeTracking has the same result of the original Java...	commit \| commitdiff \| tree
2011-09-16	yeom	found compilation errors from david's recent commits...	commit \| commitdiff \| tree
2011-09-16	yeom	change a way to store image pixels as same as Java...	commit \| commitdiff \| tree
2011-09-16	yeom	more changes.	commit \| commitdiff \| tree
2011-09-15	yeom	changes toward compilation	commit \| commitdiff \| tree
2011-09-14	yeom	add eye tracking benchmark.	commit \| commitdiff \| tree
2011-09-01	yeom	changes: 1) refactoring codes 2) forgot to implement...	commit \| commitdiff \| tree
2011-08-31	yeom	it passes the definite clearance analysis.	commit \| commitdiff \| tree
2011-08-30	yeom	changes.	commit \| commitdiff \| tree
2011-08-29	yeom	changes: have a better way to keep the set of reading...	commit \| commitdiff \| tree
2011-08-29	yeom	fixes on the definite clearance for shared locations.	commit \| commitdiff \| tree
2011-08-29	yeom	changes on the definite clearance for shared locations...	commit \| commitdiff \| tree
2011-08-27	yeom	it passes the definitely written analysis.	commit \| commitdiff \| tree
2011-08-26	yeom	changes: since the inverse-MDCT uses input samples...	commit \| commitdiff \| tree
2011-08-23	yeom	1) changes on the definitely written analysis: it only...	commit \| commitdiff \| tree
2011-08-23	yeom	bug fix	commit \| commitdiff \| tree
2011-08-23	yeom	having new variable 'inter' in-between "reorder/antialias...	commit \| commitdiff \| tree
2011-08-20	yeom	bug fix on the definitely written check: Field read...	commit \| commitdiff \| tree
2011-08-20	yeom	changes.	commit \| commitdiff \| tree
2011-08-20	yeom	mp3decoder passes the loop termination analysis.	commit \| commitdiff \| tree
2011-08-20	yeom	bug fix on the loop termination analysis	commit \| commitdiff \| tree
2011-08-19	yeom	bug fix: the loop entrance node of DOWHILELOOP is the...	commit \| commitdiff \| tree
2011-08-19	yeom	changes on the loop termination analysis: associate...	commit \| commitdiff \| tree
2011-08-19	yeom	mp3decoder finally passes the flow-down rule checking.	commit \| commitdiff \| tree
2011-08-18	yeom	more changes to pass the flow-down rule	commit \| commitdiff \| tree
2011-08-18	yeom	changes.	commit \| commitdiff \| tree
2011-08-17	yeom	bug fix on flow-down rule: check if all of assignments...	commit \| commitdiff \| tree
2011-08-17	yeom	have linear-type-safe source codes of mp3decoder	commit \| commitdiff \| tree
next

Irvine Research Compiler

RSS Atom