php-deal /
framework
|
11
issues
(11 minor)
were introduced.
|
|||
| 1 new patch (Unused Use Statements) is available. | |||
| 34 added classes/operations | |||
|
B | Contract::ensureContractSatisfied() added | |
|
|
A | Contract added | |
|
|
A | MethodArgument added | |
|
|
A | Fetcher added | |
|
|
A | InvariantFetcher added | |
|
|
A | MethodConditionFetcher added | |
|
|
A | MethodConditionWithInheritDocFetcher added | |
|
|
A | InvariantContract added | |
|
|
A | PostconditionContract added | |
|
|
A | PreconditionContract added | |
| B | ↗ | A | ContractCheckerAspect::postConditionContract() improved |
| B | ↗ | A | ContractCheckerAspect::invariantContract() improved |
| view all | |||
| Head |  Piotr Dawidiuk
|
|---|---|
| ⋮ | 15 more commits |
| Base |  Lisachenko Alexander
|
