master
manticore
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
.codeclimate.yml
 1 -
A
.github\ISSUE_TEMPLATE\config.yml
 1 -
A
.github\dependabot.yml
 1 -
A
.github\workflows\ci.yml
 28 -
A
.github\workflows\osx.yml
 9 -
A
.github\workflows\pip-audit.yml
 14 -
A
.github\workflows\release.yml
 11 -
A
.github\workflows\snorkell-auto-documentation.yml
 1 -
A
Dockerfile
 3 5
A
docs\conf.py
4 6 -
A
examples\cgc\simple\main.c
5 1 -
A
examples\cgc\stack\main.c
9 1 -
A
examples\cgc\strncmp\main.c
6 1 -
A
examples\evm\asm.py
1 1 1
A
examples\evm\asm_to_smtlib.py
16 1 -
A
examples\evm\complete.py
 1 -
A
examples\evm\coverage.py
 1 -
A
examples\evm\mappingchallenge.py
6 3 -
A
examples\evm\minimal-json.py
 1 -
A
examples\evm\minimal.py
 2 -