projects
/
IRC.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
changes.
[IRC.git]
/
Robust
/
src
/
IR
/
2012-08-13
yeom
changes + annotation generation
tree
|
commitdiff
2012-06-05
jzhou
Initialize class objects first as in the staic blocks...
tree
|
commitdiff
2012-05-31
jzhou
Fix bugs: 1) reorder the initialization of static field...
tree
|
commitdiff
2012-03-21
yeom
changes and data/eval files for new evaluations
tree
|
commitdiff
2012-02-17
yeom
add new compilation flag -ssjavainfer for the location...
tree
|
commitdiff
2012-01-27
jjenista
new version of experiments
tree
|
commitdiff
2012-01-25
jjenista
line numbers for allocation sites not propagating to...
tree
|
commitdiff
2012-01-20
jjenista
running new experiments
tree
|
commitdiff
2012-01-17
jjenista
get set up for experiment: test impact of disabling...
tree
|
commitdiff
2012-01-09
jjenista
defreach experiment
tree
|
commitdiff
2012-01-05
jzhou
remove the '$' in the C code as tilera does not allow it
tree
|
commitdiff
2012-01-04
jzhou
remove the '$' in the C code as tilera does not allow it
tree
|
commitdiff
2011-12-21
jzhou
Another bug fix for inner class code: when trying to...
tree
|
commitdiff
2011-12-20
jzhou
Fix some inner class related bugs: 1) whenever a class...
tree
|
commitdiff
2011-12-15
yeom
associate assignment nodes that writes to the same...
tree
|
commitdiff
2011-12-10
jzhou
Changes to MGC class library and fix a bug regarding...
tree
|
commitdiff
2011-12-03
jzhou
Fix another inner class bug: every inner class along...
tree
|
commitdiff
2011-11-30
jzhou
According to Brian's comments, check the lside of assig...
tree
|
commitdiff
2011-11-29
jzhou
Array field initialization was accidentally broken...
tree
|
commitdiff
2011-11-29
jzhou
Fix a small bug about enumaration type: it should be...
tree
|
commitdiff
2011-11-24
jzhou
changes
tree
|
commitdiff
2011-11-23
jzhou
Fix another inner class bug: an inner class which is...
tree
|
commitdiff
2011-11-15
jzhou
a missing check
tree
|
commitdiff
2011-11-15
jzhou
Bug fix of inner class: only add LIVE local variables...
tree
|
commitdiff
2011-11-15
jzhou
Add a new feature for inner class: an anonymous inner...
tree
|
commitdiff
2011-11-12
jzhou
Need a new inner class feature: let the anonymous inner...
tree
|
commitdiff
2011-11-11
jzhou
Make the compiler to support super.X/L.super.X which...
tree
|
commitdiff
2011-11-11
jzhou
Fix inner class implementation. Now code like inner...
tree
|
commitdiff
2011-11-10
jzhou
Fix inner class bug: the inner class cannot correctly...
tree
|
commitdiff
2011-11-09
spikeuci
Handling the case NAME DOT THIS for inner classes
tree
|
commitdiff
2011-11-08
bdemsky
push a bunch of old changes i had related to inner...
tree
|
commitdiff
2011-10-28
spikeuci
Bug fixed
tree
|
commitdiff
2011-10-28
spikeuci
This completes the barebones versions of inner class...
tree
|
commitdiff
2011-10-26
jjenista
restrict error injection to non-array primitive types...
tree
|
commitdiff
2011-10-25
spikeuci
As discussed with Prof. Demsky/Jim, the constructor...
tree
|
commitdiff
2011-10-22
jjenista
decouple ssjava code gen to prevent crashes from the...
tree
|
commitdiff
2011-10-21
jjenista
Please don't check in debug lines, por favor :)
tree
|
commitdiff
2011-10-21
jjenista
a start on error inject for SSJava
tree
|
commitdiff
2011-10-21
spikeuci
Some changes for signature of constructor of inner...
tree
|
commitdiff
2011-10-16
spikeuci
Step 1: Creating instances of all levels of enclosing...
tree
|
commitdiff
2011-10-12
spikeuci
Adding support for default constructor to be created...
tree
|
commitdiff
2011-10-04
yeom
SSJava runtime support
tree
|
commitdiff
2011-10-03
jzhou
Changes for galois porting
tree
|
commitdiff
2011-09-22
jjenista
Be able to get def reach state out at a given program...
tree
|
commitdiff
2011-09-21
jjenista
Starting implementation for definite reachability analysis
tree
|
commitdiff
2011-08-20
yeom
bug fix on the loop termination analysis
tree
|
commitdiff
2011-08-19
yeom
bug fix: the loop entrance node of DOWHILELOOP is the...
tree
|
commitdiff
2011-08-19
yeom
changes on the loop termination analysis: associate...
tree
|
commitdiff
2011-08-09
yeom
code clean up
tree
|
commitdiff
2011-08-09
yeom
fix a grammar to allow multiple annotations on method...
tree
|
commitdiff
2011-08-06
yeom
buildflat exposes new interface that maps from a tree...
tree
|
commitdiff
2011-07-21
yeom
fix a bug: there was no case for unsigned shift op.
tree
|
commitdiff
2011-07-07
bdemsky
hack support for pmc into compiler
tree
|
commitdiff
2011-07-06
bdemsky
bug fix
tree
|
commitdiff
2011-07-06
bdemsky
changes
tree
|
commitdiff
2011-07-06
bdemsky
add pmc option
tree
|
commitdiff
2011-07-02
bdemsky
change
tree
|
commitdiff
2011-06-29
yeom
add ssjava debug option to have interim results if...
tree
|
commitdiff
2011-06-29
bdemsky
change function type for boundscheck
tree
|
commitdiff
2011-06-27
jzhou
Roll back previous check in as Brian has fixed the...
tree
|
commitdiff
2011-06-27
jzhou
Fix a bug in the compiler: besides its super class...
tree
|
commitdiff
2011-06-27
bdemsky
bug fixes
tree
|
commitdiff
2011-06-09
bdemsky
remove dependence on concat2...it isn't a standard...
tree
|
commitdiff
2011-06-09
bdemsky
many changes towards classpath...
tree
|
commitdiff
2011-06-05
bdemsky
another bug fix
tree
|
commitdiff
2011-06-05
bdemsky
code changes
tree
|
commitdiff
2011-06-03
bdemsky
file changes
tree
|
commitdiff
2011-06-02
jjenista
forgot to remove some commented out code
tree
|
commitdiff
2011-06-01
jjenista
if a static field is encountered, ignore it gracefully
tree
|
commitdiff
2011-06-01
jjenista
check points-to module improvements along with a bug...
tree
|
commitdiff
2011-05-20
jjenista
allow Pointer to run for usual compilation modes.....
tree
|
commitdiff
2011-05-20
stephey
Fixed import bug but some other issues now pop up:
tree
|
commitdiff
2011-05-18
jjenista
bug fix: heap contexts for call sites were propgated...
tree
|
commitdiff
2011-05-16
jjenista
Create analysis model for string literals in disjointne...
tree
|
commitdiff
2011-05-14
jjenista
print allocation site when a points-to check fails...
tree
|
commitdiff
2011-05-13
yeom
take out all of ssjava stuff from state class and start...
tree
|
commitdiff
2011-05-13
jjenista
model the allocation of string literals in heap analysis
tree
|
commitdiff
2011-05-13
jjenista
this system checks heap results against runtime pointer...
tree
|
commitdiff
2011-05-13
jjenista
isImmutable is used by the disjoint family of analyses...
tree
|
commitdiff
2011-05-13
jjenista
print out brackets for array count to show humans
tree
|
commitdiff
2011-05-13
yeom
decide not to have additional grammar to declare the...
tree
|
commitdiff
2011-05-12
jzhou
Some code clean and make the cache adapt version compile
tree
|
commitdiff
2011-05-11
jjenista
differentiate between analysis says something points...
tree
|
commitdiff
2011-05-10
jjenista
New tool to check points-to results of a heap analysis...
tree
|
commitdiff
2011-05-10
jzhou
Make SPECjbb compile again
tree
|
commitdiff
2011-05-09
jzhou
Code clean. Change BAMBOO_EXIT macro to print out file...
tree
|
commitdiff
2011-05-05
jzhou
Polish multicore code
tree
|
commitdiff
2011-05-04
yeom
small changes: have a way to specify the location of...
tree
|
commitdiff
2011-04-28
jjenista
change the debug mode for capturing null dereference...
tree
|
commitdiff
2011-04-27
yeom
changes to get the tiny class library for ssjava
tree
|
commitdiff
2011-04-27
yeom
extends the location hierarchy definition grammar.
tree
|
commitdiff
2011-04-27
bdemsky
switch to spaces only..
tree
|
commitdiff
2011-04-27
bdemsky
Fix tabbing.... Please fix your editors so they do...
tree
|
commitdiff
2011-04-27
yeom
Extends the grammar to include the annotation type...
tree
|
commitdiff
2011-04-26
stephey
Changes.
tree
|
commitdiff
2011-04-26
stephey
Don't include java.lang in non-jni builds.. and someone...
tree
|
commitdiff
2011-04-25
bdemsky
fix bug...
tree
|
commitdiff
2011-04-24
stephey
Refactored the multiimport code so that it looks nicer...
tree
|
commitdiff
2011-04-23
stephey
Fixes. Almost everything works (but still no importing...
tree
|
commitdiff
2011-04-23
yeom
extends grammar little more to have the break statement...
tree
|
commitdiff
next