Seal5
seal5
seal5.backends
seal5.build_cache
seal5.cli
seal5.dependencies
seal5.flow
seal5.index
seal5.logging
seal5.metrics
seal5.model
seal5.model_utils
seal5.pass_list
seal5.passes
seal5.resources
seal5.riscv_utils
seal5.settings
seal5.testgen_utils
seal5.tools
seal5.transform
seal5.transform.annotate_opcodes
seal5.transform.annotate_opcodes.annotate
seal5.transform.check_pattern_support
seal5.transform.collect_immediate_operands
seal5.transform.collect_operand_types
seal5.transform.collect_raises
seal5.transform.collect_register_operands
seal5.transform.converter
seal5.transform.detect_calls
seal5.transform.detect_imm_leafs
seal5.transform.detect_inouts
seal5.transform.detect_loops
seal5.transform.detect_registers
seal5.transform.detect_side_effects
seal5.transform.drop_unused
seal5.transform.eliminate_mod_rfs
seal5.transform.eliminate_rd_cmp_zero
seal5.transform.explicit_truncations
seal5.transform.filter_model
seal5.transform.infer_types
seal5.transform.inline_functions
seal5.transform.optimize_instructions
seal5.transform.process_settings
seal5.transform.simplify_trivial_slices
seal5.types
seal5.utils
seal5.version
seal5.wrapper
Contents:
Seal5
Seal5
seal5
seal5.transform
seal5.transform.annotate_opcodes
View page source
seal5.transform.annotate_opcodes
Modules
annotate
Annotate opcode and encoding fmt using CoreDSL2 attributes.