seal5.settings

Settings module for seal5.

Functions

check_supported_types(data)

Assert that now unsupported types are written into YAML file.

Classes

ConsoleLoggingSettings([level])	Seal5 console logging settings.
ExtensionsSettings([feature, predicate, ...])	Seal5 extensions settings.
FileLoggingSettings([level, limit, rotate])	Seal5 file logging settings.
FilterSetting(keep, drop)	Seal5 set/instr/alias/instrinsic/opcode/enc-specific filter settings.
FilterSettings([sets, instructions, ...])	Seal5 filter settings.
GitSettings([author, mail, prefix])	Seal5 git settings.
GroupsSettings()	Seal5 groups settings.
IntrinsicArg(arg_name, arg_type)
IntrinsicDefn(instr_name, intrinsic_name[, ...])
IntrinsicsSettings([intrinsics])
LLVMConfig(options)	Seal5 llvm config settings.
LLVMSettings([ninja, ccache, clone_depth, ...])	Seal5 llvm settings.
LLVMState([base_commit, version])	Seal5 llvm state settings.
LLVMVersion([major, minor, patch, rc])	Seal5 llvm version settings.
LoggingSettings(console, file)	Seal5 logging settings.
PassesSetting([skip, only, overrides])	Seal5 model-specific passes settings.
PassesSettings([defaults, per_model])	Seal5 passes settings.
PatchSettings(name[, target, stage, ...])	Seal5 patch settings.
PatternGenSettings([integrated, clone_url, ...])	Seal5 pattern-gen settings.
RISCVLegalizerSetting([name, types, onlyif])	Seal5 riscv legalizer single settings.
RISCVLegalizerSettings([ops])	Seal5 riscv legalizer settings.
RISCVSettings([xlen, features, ...])	Seal5 riscv settings.
Seal5Settings(directory, name, meta_dir, ...)	Seal5 settings.
TestSettings([paths])	Seal5 test settings.
ToolsSettings([pattern_gen])	Seal5 tools settings.
YAMLSettings()	Generic YAMLSettings.