master
CodeProverBinding
Repository badge with APlus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
CodeProverBinding\Binder.cs
1 8 -
A
CodeProverBinding\Expression\SymbolExpression\IBooleanSymbolExpression.cs
 2 -
A
CodeProverBinding\Expression\ConstantExpression\IConstantExpression.Generic.cs
 1 -
A
CodeProverBinding\Expression\SymbolExpression\IIntegerSymbolExpression.cs
 2 -
A
CodeProverBinding\Capsule\IObjectRefExprCapsule.cs
 1 -
A
CodeProverBinding\Expression\SymbolExpression\IReferenceSymbolExpression.cs
 1 -
A
CodeProverBinding\Expression\ConstantExpression\IFloatingPointConstantExpression.cs
 2 -
A
CodeProverBinding\Expression\SymbolExpression\ISymbolExpression.cs
 2 -
A
CodeProverBinding\Alias\AliasTable.cs
18 3 -
A
CodeProverBinding\Expression\SymbolExpression\ObjectReferenceSymbolExpression.cs
 1 -
A
CodeProverBinding\Expression\ConstantExpression\IIntegerConstantExpression.cs
 1 -
A
CodeProverBinding\Expression\SymbolExpression\SymbolExpression.cs
1 2 -
A
CodeProverBinding\Capsule\IXxxArrayExprCapsule.cs
 1 -
A
CodeProverBinding\Expression\ConstantExpression\IntegerConstantExpression.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 -