2lambda123/cryptol

master

cryptol

Grade	Name	Complexity	Churn	Issues
F	docs\RefMan\_build\html\_static\jquery.js	2620	6	38
A	docs\RefMan\_build\html\_static\underscore.js	586	5	3
A	cryptol-remote-api\python\cryptol\cryptoltypes.py	149	4	2
A	cryptol-remote-api\python\cryptol\bitvector.py	136	3	-
A	docs\RefMan\_build\html\_static\searchtools.js	125	6	-
A	cryptol-remote-api\python\cryptol\connection.py	87	5	-
A	cryptol-remote-api\python\cryptol\commands.py	81	4	2
A	cryptol-remote-api\python\cryptol\synchronous.py	72	5	5
A	docs\RefMan\_build\html\_static\js\theme.js	46	4	3
A	cryptol-remote-api\python\tests\cryptol\test_bitvector.py	44	1	1
A	tests\ffi\test-ffi.c	42	5	-
A	docs\RefMan\_build\html\_static\doctools.js	42	6	1
A	cryptol-remote-api\python\cryptol\single_connection.py	38	5	-
A	docs\RefMan\_build\html\_static\sphinx_highlight.js	38	1	-
A	cryptol-remote-api\python\tests\cryptol\test_cryptol_api.py	30	1	3
A	docs\RefMan\_build\html\_static\language_data.js	30	5	1
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	-
A	examples\SuiteB_FFI\SuiteB_FFI.c	21	1	-
A	cryptol-remote-api\python\cryptol\quoting.py	20	2	1