LICENSE
MANIFEST.in
README.md
requirements-build.txt
requirements-dev.txt
requirements-doc.txt
requirements-test.txt
requirements.txt
setup.py
pyfcstm/__init__.py
pyfcstm/__main__.py
pyfcstm.egg-info/PKG-INFO
pyfcstm.egg-info/SOURCES.txt
pyfcstm.egg-info/dependency_links.txt
pyfcstm.egg-info/entry_points.txt
pyfcstm.egg-info/requires.txt
pyfcstm.egg-info/top_level.txt
pyfcstm/config/__init__.py
pyfcstm/config/meta.py
pyfcstm/diagnostics/__init__.py
pyfcstm/diagnostics/codes.py
pyfcstm/diagnostics/codes.yaml
pyfcstm/diagnostics/inspect.py
pyfcstm/diagnostics/schema.json
pyfcstm/diagnostics/sink.py
pyfcstm/diagnostics/suggested_fix.py
pyfcstm/diagnostics/analyzers/__init__.py
pyfcstm/diagnostics/analyzers/const_fold.py
pyfcstm/diagnostics/analyzers/data_flow.py
pyfcstm/diagnostics/analyzers/design_health.py
pyfcstm/diagnostics/analyzers/naming.py
pyfcstm/diagnostics/analyzers/redundancy.py
pyfcstm/diagnostics/analyzers/structural.py
pyfcstm/diagnostics/analyzers/thresholds.py
pyfcstm/diagnostics/analyzers/transition_info.py
pyfcstm/diagnostics/analyzers/type_shape.py
pyfcstm/diagnostics/analyzers/use_def.py
pyfcstm/dsl/__init__.py
pyfcstm/dsl/error.py
pyfcstm/dsl/listener.py
pyfcstm/dsl/node.py
pyfcstm/dsl/parse.py
pyfcstm/dsl/grammar/GrammarLexer.g4
pyfcstm/dsl/grammar/GrammarLexer.interp
pyfcstm/dsl/grammar/GrammarLexer.py
pyfcstm/dsl/grammar/GrammarLexer.tokens
pyfcstm/dsl/grammar/GrammarListener.py
pyfcstm/dsl/grammar/GrammarParser.g4
pyfcstm/dsl/grammar/GrammarParser.interp
pyfcstm/dsl/grammar/GrammarParser.py
pyfcstm/dsl/grammar/GrammarParser.tokens
pyfcstm/dsl/grammar/GrammarParserListener.py
pyfcstm/dsl/grammar/__init__.py
pyfcstm/entry/__init__.py
pyfcstm/entry/base.py
pyfcstm/entry/cli.py
pyfcstm/entry/dispatch.py
pyfcstm/entry/generate.py
pyfcstm/entry/inspect.py
pyfcstm/entry/plantuml.py
pyfcstm/entry/visualize.py
pyfcstm/entry/simulate/__init__.py
pyfcstm/entry/simulate/batch.py
pyfcstm/entry/simulate/commands.py
pyfcstm/entry/simulate/completer.py
pyfcstm/entry/simulate/display.py
pyfcstm/entry/simulate/events.py
pyfcstm/entry/simulate/logging.py
pyfcstm/entry/simulate/repl.py
pyfcstm/highlight/__init__.py
pyfcstm/highlight/pygments_lexer.py
pyfcstm/llm/__init__.py
pyfcstm/llm/fcstm_grammar_guide.md
pyfcstm/llm/fcstm_grammar_guide.md.sha256
pyfcstm/model/__init__.py
pyfcstm/model/base.py
pyfcstm/model/expr.py
pyfcstm/model/imports.py
pyfcstm/model/load.py
pyfcstm/model/model.py
pyfcstm/model/plantuml.py
pyfcstm/render/__init__.py
pyfcstm/render/env.py
pyfcstm/render/expr.py
pyfcstm/render/func.py
pyfcstm/render/render.py
pyfcstm/render/statement.py
pyfcstm/simulate/__init__.py
pyfcstm/simulate/context.py
pyfcstm/simulate/decorators.py
pyfcstm/simulate/runtime.py
pyfcstm/simulate/utils.py
pyfcstm/solver/__init__.py
pyfcstm/solver/domain.py
pyfcstm/solver/expr.py
pyfcstm/solver/logical.py
pyfcstm/solver/operation.py
pyfcstm/solver/safety.py
pyfcstm/solver/solve.py
pyfcstm/template/__init__.py
pyfcstm/template/c.zip
pyfcstm/template/c_poll.zip
pyfcstm/template/index.json
pyfcstm/template/python.zip
pyfcstm/utils/__init__.py
pyfcstm/utils/binary.py
pyfcstm/utils/decode.py
pyfcstm/utils/doc.py
pyfcstm/utils/fixed.py
pyfcstm/utils/jinja2.py
pyfcstm/utils/json.py
pyfcstm/utils/logging.py
pyfcstm/utils/parse.py
pyfcstm/utils/safe.py
pyfcstm/utils/text.py
pyfcstm/utils/validate.py
pyfcstm/verify/__init__.py
pyfcstm/verify/inspect_adapter.py
pyfcstm/verify/registry.py
pyfcstm/verify/result.py
pyfcstm/verify/taxonomy.py
pyfcstm/verify/topology.py
pyfcstm/verify/algorithms/__init__.py
pyfcstm/verify/algorithms/effect.py
pyfcstm/verify/algorithms/guard.py
pyfcstm/verify/algorithms/lifecycle.py
pyfcstm/verify/algorithms/transition.py
pyfcstm/verify/encoding/__init__.py
pyfcstm/verify/encoding/_core.py
pyfcstm/verify/encoding/expr.py
pyfcstm/verify/encoding/guard.py
pyfcstm/verify/encoding/initial.py
pyfcstm/verify/encoding/lifecycle.py
pyfcstm/verify/encoding/operation.py
pyfcstm/verify/encoding/trigger.py
test/test_if_integration.py
test/test_main_module.py