1
I Use This!
Inactive

Commits : Listings

Analyzed about 9 hours ago. based on code collected about 20 hours ago.
May 07, 2023 — May 07, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Documented Property.trivial. More... over 8 years ago
Tested Property.trivial. More... over 8 years ago
Addressed an XML documentation error. More... over 8 years ago
Renamed Result.Stamp to Result.Stamps. More... over 8 years ago
Reordered open directives. More... over 8 years ago
Documented Property.classify. More... over 8 years ago
Documented Property.label. More... over 8 years ago
Provided a slightly better title for a test. More... over 8 years ago
Tested Proeprty.classify. More... over 8 years ago
Added Property.collect. More... over 8 years ago
Added Property.trivial. More... over 8 years ago
Added Property.classify. More... over 8 years ago
Added Property.label. More... over 8 years ago
Made a test a little bit more robust, with a tradeoff of being less strict. More... over 8 years ago
Renamed to LightCheck. More... over 8 years ago
Documented Property.evaluate. More... over 8 years ago
Documented Property.implies. More... over 8 years ago
Housekeeping. More... over 8 years ago
Added Property.implies and implication operator. More... over 8 years ago
Documented Property type. More... over 8 years ago
Documented Property.forAll. More... over 8 years ago
Added Property.forAll. More... over 8 years ago
Added PropertyTests, as empty module. More... over 8 years ago
Added Property and Runner, as empty modules. More... over 8 years ago
Renamed Gen.four to Gen.quadraple. More... over 8 years ago
Renamed Gen.three to Gen.triple. More... over 8 years ago
Renamed Gen.two to Gen.pair. More... over 8 years ago
Renamed a function argument, in order to have a more descriptive name. More... over 8 years ago
Added XML documentation to a couple of newly added functions in Gen module. More... over 8 years ago
Formatted code, according to the Visual F# Power Tools extension. More... over 8 years ago