LICENSE
MANIFEST.in
README.md
requirements.txt
setup.py
RecordFlux.egg-info/PKG-INFO
RecordFlux.egg-info/SOURCES.txt
RecordFlux.egg-info/dependency_links.txt
RecordFlux.egg-info/requires.txt
RecordFlux.egg-info/top_level.txt
bin/__init__.py
bin/rflx
doc/Language-Reference.md
doc/Limitations.md
rflx/__init__.py
rflx/ada.py
rflx/cli.py
rflx/common.py
rflx/expression.py
rflx/graph.py
rflx/model.py
rflx/parser.py
rflx/generator/__init__.py
rflx/generator/common.py
rflx/generator/core.py
rflx/generator/generator.py
rflx/generator/parser.py
rflx/generator/types.py
rflx/templates/lemmas.adb
rflx/templates/lemmas.ads
rflx/templates/license_header
rflx/templates/message_sequence.adb
rflx/templates/message_sequence.ads
rflx/templates/scalar_sequence.adb
rflx/templates/scalar_sequence.ads
rflx/templates/types.adb
rflx/templates/types.ads