master
CodeProverBinding
Repository badge with APlus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
Test\CodeProverBinding.Test\ProverContext\ProverContextZ3Container.cs
1 1 -
A
CodeProverBinding\Capsule\IObjectRefExprCapsule.cs
 1 -
A
Test\CodeProverBinding.Test\Expression\ConstantExpression\TestIntegerLong.cs
7 1 -
A
CodeProverBinding\Expression\ConstantExpression\IConstantExpression.cs
 1 -
A
Test\CodeProverBinding.Test\Expression\Comparison\TestComparison.cs
10 1 -
A
Test\CodeProverBinding.Test\Binder\BinderExtended.cs
1 1 -
A
CodeProverBinding\Sort\IBooleanSort.cs
 1 -
A
CodeProverBinding\Prover.cs
 1 -
A
CodeProverBinding\Capsule\IArithExprCapsule.Generic.cs
 1 -
A
CodeProverBinding\Expression\IReferenceExpression.cs
 2 -
A
CodeProverBinding\Expression\Arithmetic\IBinaryArithmeticExpression.cs
 2 -
A
CodeProverBinding\Expression\Arithmetic\IUnaryArithmeticExpression.cs
 2 -
A
CodeProverBinding\Expression\Logical\BinaryLogicalExpression.cs
1 2 -
A
CodeProverBinding\Expression\Logical\IBinaryLogicalExpression.cs
 2 -
A
CodeProverBinding\Expression\Logical\ILogicalExpression.cs
 2 -
A
CodeProverBinding\Expression\Logical\IUnaryLogicalExpression.cs
 2 -
A
CodeProverBinding\Expression\Logical\UnaryLogicalExpression.cs
1 2 -
A
CodeProverBinding\Expression\Operator\BinaryLogicalOperator.cs
 2 -
A
CodeProverBinding\Expression\Comparison\ComparisonExpression.cs
1 2 -
A
CodeProverBinding\Expression\Operator\ComparisonOperator.cs
 2 -