• Fixed iOS deployment target [and therefore the Carthage build]
• Introduced 4 new operators to make complex testing possible (==>, ====, <?>, ^&&^, ^||^; Implication, Verbose Equality, Conjunction, Disjunction)
• Generator Combinators are now static methods instead of top-level functions.
• Numerous internal fixes to the testing loop
• Removal of extraneous methods and data structures.
• Array shrinks now consume less memory and complete much faster
• Documentation has been added to every user-facing method
• forAllShrink(_:_:_:) has a relaxed generic parameter for easier integration with custom testing
• Verbose checks are now possible. Using verbose checks, SwiftCheck will dump all test cases to console with the result of each test.
• When labelling properties, SwiftCheck will output a distribution graph of the percentage of passing test cases a property has gone through.
• Conjunct and Disjunct properties used with labelling will report distribution graphs for each individual property