master
CodeProverBinding
Repository badge with APlus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
CodeProverBinding\Capsule\ObjectRefExprCapsule.cs
 2 -
A
CodeProverBinding\Sort\IArithmeticSort.cs
 1 -
A
CodeProverBinding\Expression\ConstantExpression\IntegerConstantExpressionUlong.cs
 2 -
A
CodeProverBinding\Sort\IFloatingPointSort.cs
 1 -
A
CodeProverBinding\Binder.Binding.cs
4 3 -
A
CodeProverBinding\Sort\IReferenceSort.cs
 1 -
A
CodeProverBinding\Expression\Equality\EqualityExpression.cs
1 2 -
A
CodeProverBinding\Sort\IntegerSort.cs
1 1 -
A
CodeProverBinding\Capsule\Reference.cs
 2 -
A
CodeProverBinding\Sort\Sort.cs
1 1 -
A
CodeProverBinding\Expression\Expression.cs
4 7 -
A
CodeProverBinding\Symbol\FloatingPointSymbol.cs
2 3 -
A
CodeProverBinding\Capsule\Encapsulation.cs
7 5 -
A
CodeProverBinding\Expression\IArrayReferenceExpression.cs
 1 -
A
CodeProverBinding\Alias\AliasNaming.cs
3 1 -
A
CodeProverBinding\Alias\IAliasNaming.cs
1 1 -
A
CodeProverBinding\Binder.Correctness.cs
9 5 -
A
CodeProverBinding\Capsule\IArithExprCapsule.Generic.cs
 1 -
A
CodeProverBinding\CorrectnessCheckType.cs
 1 -
A
CodeProverBinding\Expression\IIntegerExpression.cs
 2 -