Features
Pricing
Contact
Login with:
×
Features
Pricing
Contact
Login with:
GitHub
Bitbucket
×
master
CodeProverBinding
0
issues
0
pull requests
178
files
1
active branch
×
CodeFactor Rating A+
{{format.Name}}
Grade
Name
Complexity
Churn
Issues
A
CodeProverBinding\Symbol\ISymbol.cs
1
2
-
A
CodeProverBinding\Expression\IObjectReferenceExpression.cs
1
-
A
CodeProverBinding\Symbol\SymbolBase.cs
1
3
-
A
CodeProverBinding\Expression\Arithmetic\BinaryArithmeticExpression.cs
2
4
-
A
Test\CodeProverBinding.Test\Binder\BinderExtended.cs
1
1
-
A
CodeProverBinding\Expression\IXxxArrayConstantExpression.cs
1
-
A
Test\CodeProverBinding.Test\Binder\BinderTest.Binding.cs
7
3
-
A
CodeProverBinding\Capsule\IArithExprCapsule.cs
3
-
A
Test\CodeProverBinding.Test\Binder\BinderTest.Dispose.cs
4
1
-
A
CodeProverBinding\Expression\IXxxArraySymbol.cs
1
-
A
Test\CodeProverBinding.Test\Capsule\Arith.cs
4
1
-
A
CodeProverBinding\Expression\Arithmetic\IUnaryArithmeticExpression.cs
2
-
A
CodeProverBinding\Expression\Logical\BinaryLogicalExpression.cs
1
2
-
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
-
A
CodeProverBinding\Symbol\IntegerSymbol.cs
2
3
-
We use cookies in order to offer you the most relevant information. See our
Privacy Policy
.
Ok, got it!