seal5.settings
==============

.. automodule:: seal5.settings

   
   .. rubric:: Functions

   .. autosummary::
   
      check_supported_types
      get_logger
   
   .. rubric:: Classes

   .. autosummary::
   
      CcacheSettings
      ConsoleLoggingSettings
      ExtensionsSettings
      FileLoggingSettings
      FilterSetting
      FilterSettings
      GitSettings
      IntrinsicArg
      IntrinsicDefn
      IntrinsicsSettings
      LLVMConfig
      LLVMSettings
      LLVMState
      LLVMVersion
      LoggingSettings
      ModelSettings
      PassesSettings
      PatchSettings
      PatternGenSettings
      RISCVLegalizerSetting
      RISCVLegalizerSettings
      RISCVSettings
      Seal5Settings
      TestSettings
      ToolsSettings
      YAMLSettings