IRC.git
2011-05-31 jjenistaname flat IR graphs to include method signature to...
2011-05-27 bdemskyadd NOLOCK back in
2011-05-26 adashenable error checking
2011-05-26 adashsome changes to allow running >1 thread per machine
2011-05-25 yeomfixes on bugs and checking of method invocation:
2011-05-24 yeombug fixes and few extra things:
2011-05-23 yeomhaving a new check that verifies the single reference...
2011-05-20 yeomfix bugs on the flow down rule and start annotating...
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-19 yeomchanges.
2011-05-18 jjenistabug fix: heap contexts for call sites were propgated...
2011-05-18 adashchanges
2011-05-18 yeommore changes.
2011-05-18 adashnew changes
2011-05-18 yeomadd more test cases: delta func and local variable...
2011-05-18 yeomchanges.
2011-05-18 yeomchanges to reflect ssjava design changes and temporaril...
2011-05-18 yeomupdates ssjava test case to reflect recent changes
2011-05-17 jzhouFix bug in multicore gc
2011-05-16 jjenistaCreate analysis model for string literals in disjointne...
2011-05-16 adashnew changes for getting results for TOPLAS
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 jzhouNow the cache adapt version works
2011-05-12 jzhouSome code clean and make the cache adapt version compile
2011-05-11 jjenistadifferentiate between analysis says something points...
2011-05-11 jjenistarevert previous change: DROPPING THE GRUNGE HAMMER...
2011-05-11 jjenistaallow external systems to write a flatIR graph
2011-05-11 jjenistashow source code line numbers for this target
2011-05-11 jjenistaonly do this if we are using oooj-style tasks after...
2011-05-11 jjenistadid we just ignore the static field modifier before...
2011-05-11 jjenistaclean up points-to-check files properly
2011-05-11 jzhouCode clean
2011-05-10 jzhouCode clean
2011-05-10 jzhouSmall bug fix for SPECjbb. And the BAMBOO_ASSERT macro...
2011-05-10 bdemskylet's avoid using pointer parameters when possible
2011-05-10 jjenistaNew tool to check points-to results of a heap analysis...
2011-05-10 jzhouMake SPECjbb compile again
2011-05-10 jjenistaimports are meaningful to compiler now
2011-05-10 jzhouBug fix
2011-05-10 bdemskycode change
2011-05-10 bdemskyoops...bug
2011-05-10 bdemskychange enum & other fixes
2011-05-10 bdemskychanges:
2011-05-10 jzhouMore code clean
2011-05-09 jzhouCode clean. Change BAMBOO_EXIT macro to print out file...
2011-05-09 bdemskychanges committed
2011-05-07 bdemskysome cleaning up of code.... simplify many loops....
2011-05-07 jzhoubug fix in multicore code
2011-05-05 jjenistadisjoint should work like pointer in that taints for...
2011-05-05 jjenistaan outstanding change to improve debugging of call...
2011-05-05 jzhouA small bug
2011-05-05 jzhouPolish multicore code
2011-05-04 yeomsmall changes: have a way to specify the location of...
2011-05-03 jjenistaallow debug reach graphs to show taints but supress...
2011-05-03 yeomchanges.
2011-04-29 yeomchanges: now, the annotated SSJava class library passes...
2011-04-28 jjenistaimprove call site debugging for disjoint
2011-04-28 jjenistathe new compiler mode in buildscript SSJAVA needed...
2011-04-28 jjenistaLet end user see what classpath was selected.
2011-04-28 yeomJim found that three class files of java_cup.runtime...
2011-04-28 jjenistarun ooojava and rcrpointer that print out effects and...
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 yeomchange
2011-04-27 yeomattempts to have ssjava's own class library. starting...
2011-04-27 yeomExtends the grammar to include the annotation type...
2011-04-26 yeomhas a hack on java_cup parser generator: divides a...
2011-04-26 bdemskychanges
2011-04-26 bdemskyfix bug...
2011-04-26 bdemskyrevert yeom's checkin...
2011-04-26 yeomfirst step to reduce the size of grammar as we have...
2011-04-26 stepheyChanges.
2011-04-26 stepheyDon't include java.lang in non-jni builds.. and someone...
2011-04-26 yeomadd another test case for ssjava:
2011-04-25 jjenistaupdate the way this analysis visits every method reacha...
2011-04-25 bdemskyfix bug...
2011-04-25 bdemskynasty 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...
2011-04-23 yeominterim changes: ssjava will have its own class library...
2011-04-23 yeomget rid of isClassLibrary method
2011-04-22 jzhouSome goal files for the unit tests
2011-04-22 stepheyUpdated to support being able to do calls such as packa...
2011-04-22 stepheyChanges so that internally on the analysis side, classe...
2011-04-22 yeomchanges: make location an extension of type descriptor...
2011-04-21 stepheyFixes so that our unit tests now pass. Single and multi...
2011-04-21 yeomchanges: having an extension field in the type descriptor
2011-04-21 bdemskysmall changes...
2011-04-21 bdemskymissing files
next