Commits

Author Commit Message Labels Comments Date
Michael Ernst
Update code and scripts for current GUI Effect Checker implementation. Change package names. Replace some hard-coded paths by environment variables. Remove unneded elements from classpath and bootclasspath. The bin/analyze.sh scripts of sudoku-solver and s3dropbox are verified to work. Other subject programs may need more tweaking.
Colin Gordon
tag version used to evaluate ecoop13 paper
Colin Gordon
updated data for latest refinement of checker
Tags
ecoop-paper-version
Colin Gordon
Checking in the paper data
Colin Gordon
results after marking the MenuManger methods safe...
Colin Gordon
revisiting after lots of checker fixes
Colin Gordon
done, modulo cleaning up annotations after some checker fixes
Colin Gordon
4
Colin Gordon
8
Colin Gordon
10
Colin Gordon
missed an action - 19
Colin Gordon
down to 20
Colin Gordon
down to 35
Colin Gordon
chugging along
Colin Gordon
More UITypes mostly
Colin Gordon
lots of progress
Colin Gordon
making progress
Colin Gordon
adding unannotated source w/ working build script
Colin Gordon
adding .hgignore