Completed
Push — master ( 044bf4...84be88 )
by
unknown
02:52
created

Changes

Good job, 6 issues were fixed.
4 new patches (Spacing) are available.
1 added class/operation
Arrow A TypeCheckerHelper::getStatementsByPropertyIds() added
A D ConstraintParameterParser::parsePropertyIdParameter() got worse
B C TypeChecker::checkConstraint() got worse
8.23
▼   -0.02
Head
jenkins-bot  
Merge "Add support for “instance or subclass of” relation"
3 more commits
Base
jenkins-bot  
Merge "Fix message documentation"