LICENSE
MANIFEST.in
README.md
configuration.json
setup.py
tests/__init__.py
tests/dotnet_code_helper.py
tests/test_build.py
tests/test_emitter_dotnet.py
tests/test_emitter_json.py
tests/test_linter_semantic_checker.py
unicontract/Engine.py
unicontract/__init__.py
unicontract/unicontract.py
unicontract.egg-info/PKG-INFO
unicontract.egg-info/SOURCES.txt
unicontract.egg-info/dependency_links.txt
unicontract.egg-info/entry_points.txt
unicontract.egg-info/requires.txt
unicontract.egg-info/top_level.txt
unicontract/elements/ElementBuilder.py
unicontract/elements/ElementVisitor.py
unicontract/elements/Elements.py
unicontract/emitters/DotnetEmmiter.py
unicontract/emitters/JsonEmitter.py
unicontract/grammar/UniContractGrammar.g4
unicontract/grammar/UniContractGrammar.py
unicontract/grammar/UniContractGrammarListener.py
unicontract/grammar/UniContractGrammarVisitor.py
unicontract/grammar/UniContractLexer.g4
unicontract/grammar/UniContractLexer.py
unicontract/grammar/__antlr_generate.py
unicontract/grammar/.antlr/UniContractGrammar.interp
unicontract/grammar/.antlr/UniContractGrammar.java
unicontract/grammar/.antlr/UniContractGrammar.tokens
unicontract/grammar/.antlr/UniContractLexer.interp
unicontract/grammar/.antlr/UniContractLexer.java
unicontract/grammar/.antlr/UniContractLexer.tokens
unicontract/linters/SemanticChecker.py