LICENSE
README.md
pyproject.toml
simasm/__init__.py
simasm/api.py
simasm.egg-info/PKG-INFO
simasm.egg-info/SOURCES.txt
simasm.egg-info/dependency_links.txt
simasm.egg-info/requires.txt
simasm.egg-info/top_level.txt
simasm/complexity/simasm_het_analyzer.py
simasm/config/__init__.py
simasm/config/file_config.py
simasm/converter/__init__.py
simasm/converter/dsl_schema.py
simasm/converter/engine.py
simasm/converter/experiment_generator.py
simasm/converter/grammar.lark
simasm/converter/parser.py
simasm/converter/test_converters.py
simasm/converter/acd/__init__.py
simasm/converter/acd/converter.py
simasm/converter/acd/converter_x.py
simasm/converter/acd/schema.py
simasm/converter/acd/schema_x.py
simasm/converter/codegen/__init__.py
simasm/converter/codegen/ast_builder.py
simasm/converter/codegen/pretty_printer.py
simasm/converter/event_graph/__init__.py
simasm/converter/event_graph/converter.py
simasm/converter/event_graph/converter_x.py
simasm/converter/event_graph/schema.py
simasm/converter/event_graph/schema_x.py
simasm/converter/examples/__init__.py
simasm/core/__init__.py
simasm/core/rules.py
simasm/core/state.py
simasm/core/terms.py
simasm/core/types.py
simasm/core/update.py
simasm/experimenter/__init__.py
simasm/experimenter/ast.py
simasm/experimenter/cli.py
simasm/experimenter/engine.py
simasm/experimenter/grammar.lark
simasm/experimenter/transformer.py
simasm/input/__init__.py
simasm/jupyter/__init__.py
simasm/jupyter/magic.py
simasm/log/__init__.py
simasm/log/logger.py
simasm/output/__init__.py
simasm/parser/__init__.py
simasm/parser/ast.py
simasm/parser/grammar.lark
simasm/parser/loader.py
simasm/parser/parser.py
simasm/parser/transformer.py
simasm/runtime/__init__.py
simasm/runtime/random.py
simasm/runtime/stdlib.py
simasm/runtime/stepper.py
simasm/simulation/__init__.py
simasm/simulation/collector.py
simasm/simulation/config.py
simasm/simulation/output.py
simasm/simulation/plotting.py
simasm/simulation/runner.py
simasm/simulation/statistics.py
simasm/verification/__init__.py
simasm/verification/kinduction.py
simasm/verification/label.py
simasm/verification/phase.py
simasm/verification/plotting.py
simasm/verification/product.py
simasm/verification/run_verification.py
simasm/verification/run_verification_kinduction.py
simasm/verification/trace.py
simasm/verification/ts.py
test/test_001_types_v1.py
test/test_002_state_v1.py
test/test_003_asmstate_v1.py
test/test_004_update_v1.py
test/test_005_terms_v1.py
test/test_006_rules_v1.py
test/test_007_stdlib_v1.py
test/test_008_random_v1.py
test/test_009_stepper_v1.py
test/test_010_grammar_expr_v1.py
test/test_011_grammar_stmt_v1.py
test/test_012_grammar_decl_v1.py
test/test_013_transform_expr_v1.py
test/test_014_transform_stmt_v1.py
test/test_015_transform_decl_v1.py
test/test_016_parser_api_v1.py
test/test_017_loader_v1.py
test/test_matplotlib_backend.py
test/test_matplotlib_diagnose.py
test/test_notebook_trace.py
test/test_plotting_direct.py
test/test_plotting_experiment.py
test/test_plotting_parsing.py
test/test_plotting_with_mm5.py