mcandre/rustcheck — pull request #4 by glycerine (2013-09-16 07:03:02+00:00)
Title: update to rust 0.8

still a few compilation errors, but most of it has been updated. Need to clarify intent of the property parameter function in rustcheck.rs for_all().