m2isar.frontends.coredsl2.parser

Functions

`try_eval_bool`(operation, constants, memories, ...)
`main`()

Module Contents

try_eval_bool(operation, constants: dict[str, arch.Constant], memories: dict[str, arch.Memory], memory_aliases: dict[str, arch.Memory], fields: dict[str, arch.BitFieldDescr], functions: dict[str, arch.Function], warned_fns: set[str])[source]

main()[source]