2lambda123/cryptol

master

cryptol

Grade	Name	Complexity	Churn	Issues
A	cryptol-remote-api\python\cryptol\bitvector.py	136	3	-
A	cryptol-remote-api\python\cryptol\commands.py	81	4	2
A	cryptol-remote-api\python\cryptol\connection.py	87	5	-
A	cryptol-remote-api\python\cryptol\cryptoltypes.py	149	4	2
A	cryptol-remote-api\python\cryptol\custom_fstring.py	7	1	1
A	cryptol-remote-api\python\cryptol\file_deps.py	3	1	2
A	cryptol-remote-api\python\cryptol\opaque.py	1	2	-
A	cryptol-remote-api\python\cryptol\quoting.py	20	2	1
A	cryptol-remote-api\python\cryptol\single_connection.py	38	5	-
B	cryptol-remote-api\python\cryptol\solver.py	8	3	25
A	cryptol-remote-api\python\cryptol\synchronous.py	72	5	5
A	cryptol-remote-api\python\poetry.lock		7	1
A	cryptol-remote-api\python\tests\cryptol\test_AES.py	1	1	-
A	cryptol-remote-api\python\tests\cryptol\test_CplxQNewtype.py	1	1	-
A	cryptol-remote-api\python\tests\cryptol\test_DES.py	4	1	-
A	cryptol-remote-api\python\tests\cryptol\test_EvenMansour.py	2	1	-
A	cryptol-remote-api\python\tests\cryptol\test_SHA256.py	1	1	-
A	cryptol-remote-api\python\tests\cryptol\test_basics.py	12	2	-
A	cryptol-remote-api\python\tests\cryptol\test_bitvector.py	44	1	1
A	cryptol-remote-api\python\tests\cryptol\test_cryptol_api.py	30	1	3