add unary minus for floats
Merge pull request #24 from dwightguth/float-demo

add unary minus for floats
deleting one of ExpressionLoc rule
fixing anywhere to function, since there is no anywhere rule in java backend
testing
testing
change ==List => ==K
change ==List => ==K
make ==Map and ==Set => ==K
fixing K in List
Merge pull request #25 from liyili2/java_rewrite_engine2

deleting one of ExpressionLoc rule
Merge pull request #26 from yilongli/java_rewrite_engine

Update README.md
fix problem in seting up KResult
fixing kresult declaration without sort problem
fixing the ==K rule problem
fixing make file
fixing make file
Updating the CIL semantics to match the new semantics of cast.
Solving the Ptr and BasePtr issue.
Merge pull request #31 from radumereuta/castChange

Updating the CIL semantics to match the new semantics of cast.