M2-ISA-R
Contents:
Home
Usage
CoreDSL 2 coverage analysis
API Reference
m2isar
Submodules
m2isar.backends
m2isar.frontends
m2isar.metamodel
m2isar.transforms
m2isar.warnings
Attributes
Exceptions
Functions
Package Contents
M2-ISA-R
API Reference
m2isar
m2isar.transforms
m2isar.transforms.infer_types
View page source
m2isar.transforms.infer_types
This module contains a type inference pass for M2-ISA-R models.
Submodules
m2isar.transforms.infer_types.transform
m2isar.transforms.infer_types.visitor