seal5.settings

Settings module for seal5.

Functions

check_supported_types(data)

Classes

ConsoleLoggingSettings([level])

ExtensionsSettings([feature, predicate, ...])

FileLoggingSettings([level, limit, rotate])

FilterSetting(keep, int]] =, drop, int]] =)

FilterSettings([sets, instructions, ...])

GitSettings([author, mail, prefix])

GroupsSettings()

LLVMConfig(options)

LLVMSettings([ninja, clone_depth, ...])

LLVMState([base_commit, version])

LLVMVersion([major, minor, patch, rc])

LoggingSettings(console, file)

PassesSetting([skip, only, overrides])

PassesSettings([defaults, per_model])

PatchSettings(name[, target, stage, ...])

PatternGenSettings([integrated, clone_url, ...])

RISCVLegalizerSetting([name, types, onlyif])

RISCVLegalizerSettings([ops])

RISCVSettings([xlen, features, ...])

Seal5Settings(directory, name, meta_dir, ...)

TestSettings([paths])

ToolsSettings([pattern_gen])

YAMLSettings()