{-# OPTIONS --safe --cubical #-}

module Spartan6.Everything where

import Spartan6
import Spartan6.API
import Spartan6.API.Circuit
import Spartan6.API.Hierarchy
import Spartan6.API.Netlist
import Spartan6.API.Profiles
import Spartan6.API.StateResources
import Spartan6.API.Validation
import Spartan6.Prelude
import Spartan6.Evidence
import Spartan6.Foundation.Hex
import Spartan6.Foundation.Memory
import Spartan6.Foundation.MemoryModel
import Spartan6.Architecture.Primitive
import Spartan6.Architecture.Profile
import Spartan6.Architecture.Kind
import Spartan6.Architecture.Schema
import Spartan6.Architecture.Mode
import Spartan6.Architecture.EvidenceRegistry
import Spartan6.Architecture.ModeCapability
import Spartan6.Architecture.ProfileDeclaration
import Spartan6.Architecture.Refinement
import Spartan6.Primitive.LUT
import Spartan6.Primitive.LUTSmall
import Spartan6.Primitive.FDRE
import Spartan6.Primitive.FDSE
import Spartan6.Primitive.Mux
import Spartan6.Primitive.Carry4
import Spartan6.Primitive.SRL16E
import Spartan6.Primitive.RAM32X1S
import Spartan6.Primitive.RAM64X1S
import Spartan6.Primitive.RAM128X1D
import Spartan6.Primitive.RAM256X1S
import Spartan6.Primitive.BlockRAM
import Spartan6.Primitive.DSP48A1
import Spartan6.Primitive.IO
import Spartan6.Primitive.Clock
import Spartan6.Import.Json
import Spartan6.Import.Source
import Spartan6.Import.Yosys
import Spartan6.Import.YosysCorpus
import Spartan6.Import.YosysTests
import Spartan6.Import.Artifact
import Spartan6.Netlist.Raw
import Spartan6.Netlist.Expression
import Spartan6.Netlist.Checked
import Spartan6.Netlist.PortDecode
import Spartan6.Netlist.Context
import Spartan6.Netlist.Renaming
import Spartan6.Netlist.DAGEvaluation
import Spartan6.Netlist.StableDAG
import Spartan6.Netlist.StableBuilder
import Spartan6.Netlist.BuilderCore
import Spartan6.Netlist.TopInterface
import Spartan6.Netlist.Candidate
import Spartan6.Netlist.RegisterMode
import Spartan6.Netlist.GenericBuilder
import Spartan6.Netlist.BuildOBUFDS
import Spartan6.Netlist.OBUFDSBuilderSoundness
import Spartan6.Netlist.Carry4Builder
import Spartan6.Netlist.Carry4BuilderSoundness
import Spartan6.Netlist.Schedule
import Spartan6.Netlist.NormalizeCombinational
import Spartan6.Netlist.NormalizeCombinationalSoundness
import Spartan6.Netlist.NormalizeScheduledCombinational
import Spartan6.Netlist.NormalizeScheduledCombinationalSoundness
import Spartan6.Netlist.AdmissionCombinational
import Spartan6.Netlist.NormalizeRegister
import Spartan6.Netlist.NormalizeRegisterSoundness
import Spartan6.Netlist.NormalizeRegisters
import Spartan6.Netlist.NormalizeRegistersSoundness
import Spartan6.Netlist.NormalizeMixed
import Spartan6.Netlist.NormalizeMixedSoundness
import Spartan6.Netlist.AdmissionMixed
import Spartan6.Netlist.AdmissionCore
import Spartan6.Netlist.Provenance
import Spartan6.Netlist.PrimitiveHandler
import Spartan6.Netlist.ReadySchedule
import Spartan6.Netlist.DecodedOperation
import Spartan6.Netlist.ExactAdmission
import Spartan6.Validation.Diagnostic
import Spartan6.Validation.CheckResult
import Spartan6.Validation.LocatedDiagnostic
import Spartan6.Validation.Parameter
import Spartan6.Validation.DefaultStateParameter
import Spartan6.Validation.ParameterSoundness
import Spartan6.Validation.ParameterlessSoundness
import Spartan6.Validation.FixedParameterSoundness
import Spartan6.Validation.LUT1ParameterSoundness
import Spartan6.Validation.Raw
import Spartan6.Validation.PortSoundness
import Spartan6.Validation.CycleSoundness
import Spartan6.Validation.CycleFuel
import Spartan6.Validation.DecodedDesign
import Spartan6.Validation.Design
import Spartan6.Validation.Profile
import Spartan6.Validation.ProfileSoundness
import Spartan6.Semantics.Design
import Spartan6.Semantics.System
import Spartan6.Semantics.Machine
import Spartan6.Semantics.Trace
import Spartan6.Semantics.Refinement
import Spartan6.Semantics.DesignMachine
import Spartan6.Semantics.Equivalence
import Spartan6.Semantics.Execution
import Spartan6.Semantics.Invariant
import Spartan6.Semantics.Simulation
import Spartan6.Semantics.Contract
import Spartan6.Semantics.StateResource
import Spartan6.Semantics.StateAdapters
import Spartan6.Semantics.StateComposition
import Spartan6.Hierarchy.Interface
import Spartan6.Hierarchy.Provenance
import Spartan6.Hierarchy.Component
import Spartan6.Hierarchy.Feedback
import Spartan6.Hierarchy.FeedbackFlattening
import Spartan6.Hierarchy.StableCompose
import Spartan6.Hierarchy.Flatten
import Spartan6.Hierarchy.CertifiedFlattening
import Spartan6.Hierarchy.FlatMachine
import Spartan6.Hierarchy.ResourceFlattening
import Spartan6.Hierarchy.ResourcePairFlattening
import Spartan6.Fixtures.YosysArtifacts
import Spartan6.Benchmarks.Fixtures
import Spartan6.Benchmarks.Counters
import Spartan6.Benchmarks.Regression
import Spartan6.Benchmarks.Workloads
import Spartan6.Generated.YosysToggleEnable
import Spartan6.Generated.YosysIdentityUnknown
import Spartan6.Generated.YosysToggleUninitialised
import Spartan6.Examples.Toggle
import Spartan6.Examples.ToggleEquivalence
import Spartan6.Examples.Validation
import Spartan6.Examples.CheckedToggle
import Spartan6.Examples.DuplicatedToggle
import Spartan6.Examples.RawLUT
import Spartan6.Examples.RawScheduledCombinational
import Spartan6.Examples.RawMux
import Spartan6.Examples.RawRegister
import Spartan6.Examples.RawBuffers
import Spartan6.Examples.RawOBUFDS
import Spartan6.Examples.RawCarry4
import Spartan6.Examples.RawRegisters
import Spartan6.Examples.RawToggle
import Spartan6.Examples.Admission
import Spartan6.Examples.ImportedYosys
import Spartan6.Examples.GenericSemantics
import Spartan6.Examples.SharedDAG
import Spartan6.Examples.HandlerCorrectness
import Spartan6.Examples.ValidatedArtifact
import Spartan6.Examples.ReadinessSchedule
import Spartan6.Examples.UnifiedAdmission
import Spartan6.Examples.HierarchyComposition
import Spartan6.Examples.HierarchyFeedback
import Spartan6.Examples.HierarchyImported
import Spartan6.Examples.HierarchyProvenance
import Spartan6.Examples.ResourceHierarchy
import Spartan6.Examples.StateDomains
import Spartan6.Examples.StateMemory
import Spartan6.Examples.ProfileValidation