LICENSE.txt
README.md
setup.cfg
setup.py
src/CVLDoc/__init__.py
src/CVLDoc/natspec_to_json.py
src/CVLDoc.egg-info/PKG-INFO
src/CVLDoc.egg-info/SOURCES.txt
src/CVLDoc.egg-info/dependency_links.txt
src/CVLDoc.egg-info/entry_points.txt
src/CVLDoc.egg-info/requires.txt
src/CVLDoc.egg-info/top_level.txt
tests/basic_tests/definition_test.spec
tests/basic_tests/full_contract.spec
tests/basic_tests/function_test.spec
tests/basic_tests/import_test.spec
tests/basic_tests/invariant_test.spec
tests/basic_tests/methods_test.spec
tests/basic_tests/rules_test.spec
tests/basic_tests/use_test.spec
tests/basic_tests/using_test.spec