README.md
pyproject.toml
src/selveri/__init__.py
src/selveri/__main__.py
src/selveri/cli.py
src/selveri.egg-info/PKG-INFO
src/selveri.egg-info/SOURCES.txt
src/selveri.egg-info/dependency_links.txt
src/selveri.egg-info/entry_points.txt
src/selveri.egg-info/requires.txt
src/selveri.egg-info/top_level.txt
src/selveri/abstract_machine/__init__.py
src/selveri/abstract_machine/config.py
src/selveri/abstract_machine/interpreter.py
src/selveri/common/__init__.py
src/selveri/common/diagnostics.py
src/selveri/common/errors.py
src/selveri/common/runtime.py
src/selveri/common/types.py
src/selveri/compiler/__init__.py
src/selveri/compiler/compiler.py
src/selveri/high_level/__init__.py
src/selveri/high_level/ast.py
src/selveri/high_level/parser.py
src/selveri/high_level/preprocessor.py
src/selveri/ir/__init__.py
src/selveri/ir/instr.py
src/selveri/ir/text.py
src/selveri/spec/__init__.py
src/selveri/spec/models.py
src/selveri/spec/parser.py
src/selveri/verifier/__init__.py
src/selveri/verifier/engine.py
src/selveri/verifier/future_automaton.py
src/selveri/verifier/future_mapper.py
src/selveri/verifier/models.py
src/selveri/verifier/z3_mapper.py