Programming Languages Research Group: Git

2012-10-23	yeom	changes: fixes the case that a shared location appears...	commit \| commitdiff \| tree
2012-10-21	yeom	addressing two problems in the composite location generation...	commit \| commitdiff \| tree
2012-10-21	yeom	changes on the composite location generation (but still...	commit \| commitdiff \| tree
2012-10-20	yeom	changes on global composite assignment translation...	commit \| commitdiff \| tree
2012-10-19	yeom	changes.	commit \| commitdiff \| tree
2012-10-18	yeom	changes.	commit \| commitdiff \| tree
2012-10-18	yeom	bug fixes + generating PC/RETURNLOC in a flow graph	commit \| commitdiff \| tree
2012-10-16	yeom	fixes on PCLOC generation, intermediate node insertion...	commit \| commitdiff \| tree
2012-10-15	yeom	changes: fix all problems of mapping between a flow...	commit \| commitdiff \| tree
2012-10-14	yeom	changes.	commit \| commitdiff \| tree
2012-10-13	yeom	changes to pass the location type check.	commit \| commitdiff \| tree
2012-10-12	yeom	changes.	commit \| commitdiff \| tree
2012-10-11	yeom	changes.	commit \| commitdiff \| tree
2012-10-09	yeom	changes: now it generates simple lattice without having...	commit \| commitdiff \| tree
2012-10-08	yeom	changes.	commit \| commitdiff \| tree
2012-10-06	yeom	changes.	commit \| commitdiff \| tree
2012-10-05	yeom	changes.	commit \| commitdiff \| tree
2012-10-03	yeom	major revisions on FlowGraph to have more precise information	commit \| commitdiff \| tree
2012-10-02	yeom	changes to get a global flow graph	commit \| commitdiff \| tree
2012-09-29	yeom	changes.	commit \| commitdiff \| tree
2012-09-22	yeom	changes.	commit \| commitdiff \| tree
2012-09-16	yeom	changes: building field/method hierarchy graph + inserting...	commit \| commitdiff \| tree
2012-08-17	yeom	changes.	commit \| commitdiff \| tree
2012-08-17	yeom	changes.	commit \| commitdiff \| tree
2012-08-16	yeom	changes.	commit \| commitdiff \| tree
2012-08-15	yeom	generate annotated source code again but it's still...	commit \| commitdiff \| tree
2012-08-15	yeom	changes.	commit \| commitdiff \| tree
2012-08-13	yeom	changes.	commit \| commitdiff \| tree
2012-08-13	yeom	reformat benchmark source codes to meet the requirements...	commit \| commitdiff \| tree
2012-08-13	yeom	changes + annotation generation	commit \| commitdiff \| tree
2012-08-11	yeom	changes.	commit \| commitdiff \| tree
2012-08-10	yeom	bug fixes on the flow graph.	commit \| commitdiff \| tree
2012-08-10	yeom	changes.	commit \| commitdiff \| tree
2012-08-08	yeom	changes.	commit \| commitdiff \| tree
2012-08-07	yeom	changes.	commit \| commitdiff \| tree
2012-08-07	yeom	changes.	commit \| commitdiff \| tree
2012-08-06	yeom	changes.	commit \| commitdiff \| tree
2012-08-06	yeom	changes.	commit \| commitdiff \| tree
2012-08-04	yeom	more changes.	commit \| commitdiff \| tree
2012-08-04	yeom	changes.	commit \| commitdiff \| tree
2012-08-02	yeom	fixed another problem of the flow-down check. If an...	commit \| commitdiff \| tree
2012-08-02	yeom	add PCLOC annotations. all three benchmarks are type...	commit \| commitdiff \| tree
2012-08-01	yeom	Allow to declare a composite location for the initial...	commit \| commitdiff \| tree
2012-08-01	yeom	implemented PCLOC annotation.	commit \| commitdiff \| tree
2012-08-01	yeom	fix.	commit \| commitdiff \| tree
2012-08-01	yeom	changes on the inference engine.	commit \| commitdiff \| tree
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
next

Irvine Research Compiler

RSS Atom