master
CodeProverBinding
Repository badge with APlus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
CodeProverBinding\Binder.Expression.cs
46 15 -
A
CodeProverBinding\Binder.cs
1 8 -
A
CodeProverBinding\Expression\Expression.cs
4 7 -
A
CodeProverBinding\Symbol\Symbol.cs
 5 -
A
CodeProverBinding\Expression\IExpression.cs
 5 -
A
CodeProverBinding\Capsule\Encapsulation.cs
7 5 -
A
CodeProverBinding\Binder.Correctness.cs
9 5 -
A
CodeProverBinding\Expression\Arithmetic\BinaryArithmeticExpression.cs
2 4 -
A
CodeProverBinding\Capsule\IntExprCapsule.cs
 4 -
A
Test\CodeProverBinding.Test\Binder\BinderTest.Correctness.cs
2 4 -
A
Test\CodeProverBinding.Test\TestXxxArray.cs
2 4 -
A
CodeProverBinding\Capsule\ArithExprCapsule.cs
 4 -
A
CodeProverBinding\Capsule\BoolExprCapsule.cs
 4 -
A
CodeProverBinding\Capsule\IArithExprCapsule.cs
 3 -
A
CodeProverBinding\Alias\AliasTable.cs
18 3 -
A
CodeProverBinding\Binder.Dispose.cs
5 3 -
A
CodeProverBinding\Capsule\IBoolExprCapsule.cs
 3 -
A
CodeProverBinding\Expression\IArithmeticExpression.cs
 3 -
A
CodeProverBinding\Expression\Arithmetic\UnaryArithmeticExpression.cs
2 3 -
A
CodeProverBinding\Capsule\IExprCapsule.cs
 3 -