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

module Spartan6 where

open import Spartan6.Prelude public
open import Spartan6.Evidence public

import Spartan6.API
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.Artifact
import Spartan6.Netlist.Raw
import Spartan6.Netlist.Expression
import Spartan6.Netlist.Checked
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