2lambda123/cryptol

master

cryptol

Grade	Name	Complexity	Churn	Issues
F	docs\RefMan\_build\html\_static\jquery.js	2620	6	34
A	docs\RefMan\_build\html\_static\underscore.js	586	5	3
A	cryptol-remote-api\python\cryptol\cryptoltypes.py	149	5	3
A	cryptol-remote-api\python\cryptol\bitvector.py	136	3	1
A	cryptol-remote-api\python\tests\cryptol\test_bitvector.py	90	1	1
A	cryptol-remote-api\python\cryptol\connection.py	87	6	-
A	cryptol-remote-api\python\cryptol\commands.py	81	4	2
A	cryptol-remote-api\python\cryptol\synchronous.py	72	6	5
A	docs\RefMan\_build\html\_static\js\theme.js	46	4	2
A	tests\ffi\test-ffi.c	42	5	-
A	cryptol-remote-api\python\cryptol\single_connection.py	38	6	-
A	docs\RefMan\_build\html\_static\sphinx_highlight.js	38	1	-
A	docs\RefMan\_build\html\_static\language_data.js	30	5	1
A	cryptol-remote-api\python\tests\cryptol\test_cryptol_api.py	30	1	4
A	docs\RefMan\_build\html\_static\_sphinx_javascript_frameworks_compat.js	27	1	-
A	docs\RefMan\_build\html\_static\js\badge_only.js	26	1	3
A	examples\SuiteB_FFI\SuiteB_FFI.c	21	1	-
A	cryptol-remote-api\python\cryptol\quoting.py	20	2	1
A	cryptol-remote-api\python\tests\cryptol_eval\test_basics.py	18	1	-
A	cryptol-remote-api\python\tests\cryptol\test_basics.py	17	2	-