Rename project solicity.
Fix infinite loop bug.