CHANGELOG.md
LICENSE
MANIFEST.in
README
setup.cfg
setup.py
STLInspector/VERSION
STLInspector/__init__.py
STLInspector/command_line.py
STLInspector.egg-info/PKG-INFO
STLInspector.egg-info/SOURCES.txt
STLInspector.egg-info/dependency_links.txt
STLInspector.egg-info/entry_points.txt
STLInspector.egg-info/not-zip-safe
STLInspector.egg-info/requires.txt
STLInspector.egg-info/top_level.txt
STLInspector/core/__init__.py
STLInspector/core/parsing.py
STLInspector/core/testgeneration.py
STLInspector/core/z3helper.py
STLInspector/core/parserutils/TemporalLogic.g4
STLInspector/core/parserutils/TemporalLogic.tokens
STLInspector/core/parserutils/TemporalLogicLexer.py
STLInspector/core/parserutils/TemporalLogicLexer.tokens
STLInspector/core/parserutils/TemporalLogicListener.py
STLInspector/core/parserutils/TemporalLogicParser.py
STLInspector/core/parserutils/__init__.py
STLInspector/core/temporallogic/__init__.py
STLInspector/core/temporallogic/_and.py
STLInspector/core/temporallogic/_finally.py
STLInspector/core/temporallogic/_not.py
STLInspector/core/temporallogic/_or.py
STLInspector/core/temporallogic/ap.py
STLInspector/core/temporallogic/clause.py
STLInspector/core/temporallogic/globally.py
STLInspector/core/temporallogic/implies.py
STLInspector/core/temporallogic/next.py
STLInspector/core/temporallogic/release.py
STLInspector/core/temporallogic/until.py
STLInspector/doc/development.md
STLInspector/doc/documentation.md
STLInspector/doc/images/screenshot_project_overview.png
STLInspector/doc/images/screenshot_requirements_list.png
STLInspector/doc/images/screenshot_signal_evaluation.png
STLInspector/frontend/Project.py
STLInspector/frontend/ProjectList.py
STLInspector/frontend/Server.py
STLInspector/frontend/__init__.py
STLInspector/frontend/data/Example_Requirement.stlinspector
STLInspector/frontend/static/css/STLInspector.css
STLInspector/frontend/static/img/STLInspector.png
STLInspector/frontend/static/img/STLInspector.svg
STLInspector/frontend/static/js/AlertView.js
STLInspector/frontend/static/js/BooleanChart.js
STLInspector/frontend/static/js/Project.js
STLInspector/frontend/static/js/ProjectView.js
STLInspector/frontend/static/js/Projects.js
STLInspector/frontend/static/js/ProjectsView.js
STLInspector/frontend/static/js/RealChart.js
STLInspector/frontend/static/js/STLInspector.js
STLInspector/frontend/static/js/ServerRequest.js
STLInspector/frontend/static/js/SignalView.js
STLInspector/frontend/templates/documentation.html
STLInspector/frontend/templates/index.html