master
cryptol
Repository badge with AMinus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
F
docs\RefMan\_build\html\_static\jquery.js
2620 6 38
B
cryptol-remote-api\python\cryptol\solver.py
8 3 25
B
src\Cryptol\Backend\SeqMap.hs
 1 8
B
src\Cryptol\Eval\FFI.hs
 7 8
B
src\Cryptol\Backend\Concrete.hs
 2 7
B
src\Cryptol\Eval\Value.hs
 1 7
A
docs\RefMan\_build\html\_static\basic.css
 6 6
A
cryptol-remote-api\python\cryptol\synchronous.py
72 5 5
A
src\Cryptol\Symbolic.hs
 2 5
A
src\Cryptol\Eval\SBV.hs
 2 5
A
cryptol-remote-api\src\CryptolServer\Call.hs
 1 4
A
src\Cryptol\Backend\WordValue.hs
 1 4
A
cryptol-remote-api\python\tests\cryptol\test_quoting.py
2 2 3
A
cryptol-remote-api\python\tests\cryptol\test_cryptol_api.py
30 1 3
A
src\Cryptol\Eval\Generic.hs
 4 3
A
docs\RefMan\_build\html\_static\js\theme.js
46 4 3
A
src\Cryptol\Backend\FFI.hs
 5 3
A
cryptol-remote-api\src\CryptolServer\Check.hs
 2 3
A
src\Cryptol\Backend\SBV.hs
 2 3
A
docs\RefMan\_build\html\_static\underscore.js
586 5 3