API Reference

This page contains auto-generated API reference documentation [1].

• m2isar
  • m2isar.backends
    • m2isar.backends.coverage
      • m2isar.backends.coverage.coverage_dbg
      • m2isar.backends.coverage.coverage_lcov
      • m2isar.backends.coverage.id_transform
      • m2isar.backends.coverage.utils
    • m2isar.backends.disass
      • m2isar.backends.disass.disass
    • m2isar.backends.etiss
      • m2isar.backends.etiss.architecture_writer
      • m2isar.backends.etiss.instruction_generator
      • m2isar.backends.etiss.instruction_transform
      • m2isar.backends.etiss.instruction_utils
      • m2isar.backends.etiss.instruction_writer
      • m2isar.backends.etiss.pickle_writer
      • m2isar.backends.etiss.replacements
      • m2isar.backends.etiss.templates
      • m2isar.backends.etiss.virtualstruct_utils
      • m2isar.backends.etiss.writer
    • m2isar.backends.isa_manual
      • m2isar.backends.isa_manual.utils
      • m2isar.backends.isa_manual.visitor
      • m2isar.backends.isa_manual.writer
    • m2isar.backends.trace_gen
      • m2isar.backends.trace_gen.backend
        • m2isar.backends.trace_gen.backend.CodeBuilder
        • m2isar.backends.trace_gen.backend.CodeGenerator
      • m2isar.backends.trace_gen.common
        • m2isar.backends.trace_gen.common.common
      • m2isar.backends.trace_gen.frontend
        • m2isar.backends.trace_gen.frontend.Parser
      • m2isar.backends.trace_gen.trace_gen
      • m2isar.backends.trace_gen.tracemodel
        • m2isar.backends.trace_gen.tracemodel.MetaTraceModel
    • m2isar.backends.viewer
      • m2isar.backends.viewer.treegen
      • m2isar.backends.viewer.utils
      • m2isar.backends.viewer.viewer
  • m2isar.frontends
    • m2isar.frontends.coredsl2
      • m2isar.frontends.coredsl2.architecture_model_builder
      • m2isar.frontends.coredsl2.behavior_model_builder
      • m2isar.frontends.coredsl2.expr_interpreter
      • m2isar.frontends.coredsl2.importer
      • m2isar.frontends.coredsl2.load_order
      • m2isar.frontends.coredsl2.parser
      • m2isar.frontends.coredsl2.utils
  • m2isar.metamodel
    • m2isar.metamodel.arch
    • m2isar.metamodel.attribute_info
    • m2isar.metamodel.behav
    • m2isar.metamodel.code_info
    • m2isar.metamodel.type_info
    • m2isar.metamodel.utils
      • m2isar.metamodel.utils.ExprMutator
      • m2isar.metamodel.utils.ExprVisitor
      • m2isar.metamodel.utils.expr_preprocessor
      • m2isar.metamodel.utils.expr_simplifier
      • m2isar.metamodel.utils.function_staticness
      • m2isar.metamodel.utils.function_throws
      • m2isar.metamodel.utils.scalar_staticness
  • m2isar.transforms
    • m2isar.transforms.infer_types
      • m2isar.transforms.infer_types.transform
      • m2isar.transforms.infer_types.utils
      • m2isar.transforms.infer_types.visitor
    • m2isar.transforms.validate_behav
      • m2isar.transforms.validate_behav.validate
      • m2isar.transforms.validate_behav.visitor
  • m2isar.warnings

[1]

Created with sphinx-autoapi