initial commit
Cleaned up interceptor
z
added mahout, weka, moved some stuff up to the columbus2 project
added ignore
added ignore
factored out Variable class
now automagically runs each property for each execution
added ignore
Merge branch 'master' of barclay.cs.columbia.edu:mountaindew
refactored inputprocessor
Factored out invivo code, seperated tester project
updated to create all permutations of inputs for testing
Cleanup
Added missing files
Fixed runtime bugs
added running insn
Add invivo jar binary
Inclusive and Exclusive checkter completed.First version
Solve in-place input parameter issue. Shuffable checker now can check number output