master
CodeProverBinding
Repository badge with APlus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
CodeProverBinding\Alias\AliasNaming.cs
3 1 -
A
CodeProverBinding\Alias\AliasTable.cs
18 3 -
A
CodeProverBinding\Alias\IAliasNaming.cs
1 1 -
A
CodeProverBinding\AssemblyInfo.cs
 1 -
A
CodeProverBinding\Binder.Alias.cs
 1 -
A
CodeProverBinding\Binder.Binding.cs
4 3 -
A
CodeProverBinding\Binder.Correctness.cs
9 5 -
A
CodeProverBinding\Binder.Dispose.cs
5 3 -
A
CodeProverBinding\Binder.Expression.cs
46 15 -
A
CodeProverBinding\Binder.cs
1 8 -
A
CodeProverBinding\Capsule\ArithExprCapsule.cs
 4 -
A
CodeProverBinding\Capsule\ArrayRefExprCapsule.cs
 2 -
A
CodeProverBinding\Capsule\BoolExprCapsule.cs
 4 -
A
CodeProverBinding\Capsule\Encapsulation.cs
7 5 -
A
CodeProverBinding\Capsule\IArithExprCapsule.Generic.cs
 1 -
A
CodeProverBinding\Capsule\IArithExprCapsule.cs
 3 -
A
CodeProverBinding\Capsule\IArrayRefExprCapsule.cs
 1 -
A
CodeProverBinding\Capsule\IBoolExprCapsule.cs
 3 -
A
CodeProverBinding\Capsule\IExprCapsule.Generic.cs
 2 -
A
CodeProverBinding\Capsule\IExprCapsule.cs
 3 -