changes: generated annotated code but it still causes type errors + re-formatting...
[IRC.git] / Robust / src / IR /
2012-08-13 yeomchanges + annotation generation
2012-06-05 jzhouInitialize class objects first as in the staic blocks...
2012-05-31 jzhouFix bugs: 1) reorder the initialization of static field...
2012-03-21 yeomchanges and data/eval files for new evaluations
2012-02-17 yeomadd new compilation flag -ssjavainfer for the location...
2012-01-27 jjenistanew version of experiments
2012-01-25 jjenistaline numbers for allocation sites not propagating to...
2012-01-20 jjenistarunning new experiments
2012-01-17 jjenistaget set up for experiment: test impact of disabling...
2012-01-09 jjenistadefreach experiment
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-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-15 yeomassociate assignment nodes that writes to the same...
2011-12-10 jzhouChanges to MGC class library and fix a bug regarding...
2011-12-03 jzhouFix another inner class bug: every inner class along...
2011-11-30 jzhouAccording to Brian's comments, check the lside of assig...
2011-11-29 jzhouArray field initialization was accidentally broken...
2011-11-29 jzhouFix a small bug about enumaration type: it should be...
2011-11-24 jzhouchanges
2011-11-23 jzhouFix another inner class bug: an inner class which is...
2011-11-15 jzhoua missing check
2011-11-15 jzhouBug fix of inner class: only add LIVE local variables...
2011-11-15 jzhouAdd a new feature for inner class: an anonymous inner...
2011-11-12 jzhouNeed a new inner class feature: let the anonymous inner...
2011-11-11 jzhouMake the compiler to support super.X/L.super.X which...
2011-11-11 jzhouFix inner class implementation. Now code like inner...
2011-11-10 jzhouFix inner class bug: the inner class cannot correctly...
2011-11-09 spikeuciHandling the case NAME DOT THIS for inner classes
2011-11-08 bdemskypush a bunch of old changes i had related to inner...
2011-10-28 spikeuciBug fixed
2011-10-28 spikeuciThis completes the barebones versions of inner class...
2011-10-26 jjenistarestrict error injection to non-array primitive types...
2011-10-25 spikeuciAs discussed with Prof. Demsky/Jim, the constructor...
2011-10-22 jjenistadecouple ssjava code gen to prevent crashes from the...
2011-10-21 jjenistaPlease don't check in debug lines, por favor :)
2011-10-21 jjenistaa start on error inject for SSJava
2011-10-21 spikeuciSome changes for signature of constructor of inner...
2011-10-16 spikeuciStep 1: Creating instances of all levels of enclosing...
2011-10-12 spikeuciAdding support for default constructor to be created...
2011-10-04 yeomSSJava runtime support
2011-10-03 jzhouChanges for galois porting
2011-09-22 jjenistaBe able to get def reach state out at a given program...
2011-09-21 jjenistaStarting implementation for definite reachability analysis
2011-08-20 yeombug fix on the loop termination analysis
2011-08-19 yeombug fix: the loop entrance node of DOWHILELOOP is the...
2011-08-19 yeomchanges on the loop termination analysis: associate...
2011-08-09 yeomcode clean up
2011-08-09 yeomfix a grammar to allow multiple annotations on method...
2011-08-06 yeombuildflat exposes new interface that maps from a tree...
2011-07-21 yeomfix a bug: there was no case for unsigned shift op.
2011-07-07 bdemskyhack support for pmc into compiler
2011-07-06 bdemskybug fix
2011-07-06 bdemskychanges
2011-07-06 bdemskyadd pmc option
2011-07-02 bdemskychange
2011-06-29 yeomadd ssjava debug option to have interim results if...
2011-06-29 bdemskychange function type for boundscheck
2011-06-27 jzhouRoll back previous check in as Brian has fixed the...
2011-06-27 jzhouFix a bug in the compiler: besides its super class...
2011-06-27 bdemskybug fixes
2011-06-09 bdemskyremove dependence on concat2...it isn't a standard...
2011-06-09 bdemskymany changes towards classpath...
2011-06-05 bdemskyanother bug fix
2011-06-05 bdemskycode changes
2011-06-03 bdemskyfile changes
2011-06-02 jjenistaforgot to remove some commented out code
2011-06-01 jjenistaif a static field is encountered, ignore it gracefully
2011-06-01 jjenistacheck points-to module improvements along with a bug...
2011-05-20 jjenistaallow Pointer to run for usual compilation modes.....
2011-05-20 stepheyFixed import bug but some other issues now pop up:
2011-05-18 jjenistabug fix: heap contexts for call sites were propgated...
2011-05-16 jjenistaCreate analysis model for string literals in disjointne...
2011-05-14 jjenistaprint allocation site when a points-to check fails...
2011-05-13 yeomtake out all of ssjava stuff from state class and start...
2011-05-13 jjenistamodel the allocation of string literals in heap analysis
2011-05-13 jjenistathis system checks heap results against runtime pointer...
2011-05-13 jjenistaisImmutable is used by the disjoint family of analyses...
2011-05-13 jjenistaprint out brackets for array count to show humans
2011-05-13 yeomdecide not to have additional grammar to declare the...
2011-05-12 jzhouSome code clean and make the cache adapt version compile
2011-05-11 jjenistadifferentiate between analysis says something points...
2011-05-10 jjenistaNew tool to check points-to results of a heap analysis...
2011-05-10 jzhouMake SPECjbb compile again
2011-05-09 jzhouCode clean. Change BAMBOO_EXIT macro to print out file...
2011-05-05 jzhouPolish multicore code
2011-05-04 yeomsmall changes: have a way to specify the location of...
2011-04-28 jjenistachange the debug mode for capturing null dereference...
2011-04-27 yeomchanges to get the tiny class library for ssjava
2011-04-27 yeomextends the location hierarchy definition grammar.
2011-04-27 bdemskyswitch to spaces only..
2011-04-27 bdemskyFix tabbing.... Please fix your editors so they do...
2011-04-27 yeomExtends the grammar to include the annotation type...
2011-04-26 stepheyChanges.
2011-04-26 stepheyDon't include java.lang in non-jni builds.. and someone...
2011-04-25 bdemskyfix bug...
2011-04-24 stepheyRefactored the multiimport code so that it looks nicer...
2011-04-23 stepheyFixes. Almost everything works (but still no importing...
2011-04-23 yeomextends grammar little more to have the break statement...
next