add source code that does not have location annotations.
[IRC.git] / Robust /
2012-07-31 yeomadd source code that does not have location annotations.
2012-07-30 yeomchanges.
2012-07-13 yeomchanges.
2012-07-07 yeoma bunch of fixes.
2012-06-29 yeomimplemented a fixed point based interprocedural analysi...
2012-06-05 jzhouInitialize class objects first as in the staic blocks...
2012-06-01 jzhouremove Input file related stuff from the compiler and...
2012-05-31 jjenistakeep a copy of my current dissertation example to inves...
2012-05-31 jzhouFix bugs: 1) reorder the initialization of static field...
2012-05-19 jzhouBug fix, the compressed version of input files can...
2012-05-18 jzhouAdd compressed version of input files, still have bugs
2012-05-17 jzhouEnable the nextDoublt() call for reading input files
2012-05-15 jzhouChanges for reading input files in MGC version
2012-05-10 jzhouchanges for reading input files
2012-05-09 jzhouchanges for reading input files
2012-05-08 jzhouChanges for reading input files in MGC version
2012-05-07 yeommore implementation for the inference: propagating...
2012-05-04 yeomrun-doj-validation-test.sh: a single script that perfor...
2012-05-03 yeomFix the bug in the variable analysis: When we define...
2012-05-03 jzhouFix the thread safe problem
2012-05-03 jzhouFix the thread safe problem
2012-05-03 jzhouChanges for galois
2012-05-03 yeomFix: need to keep the number of allocation site for...
2012-05-02 yeomfixes to remove compilation warnings. now DOJ works...
2012-05-02 yeomfix: the return value declarations were missing in...
2012-05-02 yeombug fix: The result of the pointer analysis is broken...
2012-04-30 yeomchanges on the SJava inference
2012-04-20 yeommore changes.
2012-04-19 yeomchanges.
2012-04-16 yeomchanges.
2012-04-10 yeomstart implementing basic approach
2012-03-26 jjenistathe parallel implementation doesn't achieve much becaus...
2012-03-23 jzhouchanges for galois
2012-03-22 yeomchanges on inference
2012-03-22 yeomadd a new test case for inference
2012-03-21 yeomchanges and data/eval files for new evaluations
2012-03-21 jzhouImplement Thread.getThreadLocals() and Thread.currentTh...
2012-03-09 yeomraw numbers from error injection evaluations
2012-03-07 yeomraw evaluation numbers for the mp3decoder
2012-03-06 yeomadd batch-mode script
2012-02-24 bdemskychange example for now...
2012-02-24 yeomadd a simplifed bh.
2012-02-17 yeomchanges.
2012-02-17 yeomadd new compilation flag -ssjavainfer for the location...
2012-02-17 yeomsetup some interfaces & skeleton codes for Adrian's...
2012-01-27 jjenistanew version of experiments
2012-01-27 jjenistamy laptop is a billion versions of bash ahead of the...
2012-01-27 jjenistalittle twiddles for kmeans investigation
2012-01-25 jjenistaset up to count graph elements over every final graph...
2012-01-25 jjenistaline numbers for allocation sites not propagating to...
2012-01-24 jjenistadidnt get what I wanted before
2012-01-24 jjenistabits to help investigate node count changing
2012-01-20 jzhouchanges to MGC classlibrary
2012-01-20 jjenistarunning new experiments
2012-01-20 yeomhave another way to assign a THIS LOCATION to method...
2012-01-18 jzhouchanges to MGC class library
2012-01-17 jjenistapredicates are not feasible to flip on and off. The...
2012-01-17 jjenistafix up summarize-per-class mode
2012-01-17 jjenistaget set up for experiment: test impact of disabling...
2012-01-09 jjenistadefreach experiment
2012-01-09 jjenistaconvergence test for defreach
2012-01-06 jjenistathis little example only parallelizes for oooj with...
2012-01-06 jzhouadd System.nanoTimes() support in MGC version
2012-01-06 jjenistaget this dir too
2012-01-06 jjenistanot working out like I wanted
2012-01-06 jjenistaa useful example that needs defreach
2012-01-06 jjenistatweaks for running definite reach
2012-01-05 jzhouremove the '$' in the C code as tilera does not allow it
2012-01-04 jzhouremove the '$' in the C code as tilera does not allow it
2011-12-30 jzhouaccidentally changed this makefile, roll it back
2011-12-30 jzhouchanges to classes
2011-12-28 jzhouchanges to MGC class library
2011-12-21 jzhouAnother bug fix for inner class code: when trying to...
2011-12-20 jzhouFix some inner class related bugs: 1) whenever a class...
2011-12-16 yeomtest case for the ownership checking
2011-12-16 jzhouchanges to MGC class library
2011-12-15 yeomFinally, all benchmarks pass the definitely written...
2011-12-15 yeomNew shared loc analysis found a shared location that...
2011-12-15 jzhouchanges to MGC class library
2011-12-15 yeomassociate assignment nodes that writes to the same...
2011-12-15 yeomfix mp3decoder: clear memory locations that are not...
2011-12-14 jzhouchanges to MGC class library
2011-12-13 yeomchanges.
2011-12-13 jzhouChanges to MGC class library and some missing unit...
2011-12-12 yeomfix another bug: callee propagated wrong write effects...
2011-12-12 yeommore changes, but still broken with mp3decoder
2011-12-10 jzhouChanges to MGC class library and fix a bug regarding...
2011-12-10 yeomchanges.
2011-12-09 yeomfix a nasty bug: writes on local array elements was...
2011-12-08 yeomfix heap path propagation and generate error msg with...
2011-12-07 jzhouchanges to MGC class library
2011-12-06 yeomchanges while trying to compile MP3Decoder
2011-12-06 yeomchanges for getting the right path of static references
2011-12-06 yeomnew analysis found one shared location that is not...
2011-12-05 yeomfixes on analyses to compile the eyetracking benchmark
2011-12-05 yeomfixes
2011-12-03 yeomit has passed test cases
2011-12-03 jzhouFix another inner class bug: every inner class along...
2011-12-02 yeomget the right cover set wrt shared location path.
2011-12-01 yeomfix problems of shared loc extension
next