Show all
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/ 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
Colin Gordon
Checking in the paper data
Colin Gordon
adding essentially finished project
Colin Gordon