Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Issue 9413 & 9414 - Detect incorrect modification inside contracts #1569
added some commits
Dec 3, 2012
Apr 3, 2013
1 check was pending
default Pass: 8, In Progress: 1, Pending: 1Details