Swift Package IndexBuild Information
Successful build of shimmers-hdl, reference main (180397), with Swift 6.3 for macOS (SPM) on 18 Apr 2026 00:46:38 UTC.
Swift 6 data race errors: 0
Build Command
env DEVELOPER_DIR=/Applications/Xcode-26.4.0.app xcrun swift build --arch arm64Build Log
========================================
RunAll
========================================
Builder version: 4.70.0
Interrupt handler set up.
========================================
Checkout
========================================
Clone URL: https://github.com/yliu-hashed/shimmers-hdl.git
Reference: main
Initialized empty Git repository in /Users/admin/builder/spi-builder-workspace/.git/
From https://github.com/yliu-hashed/shimmers-hdl
* branch main -> FETCH_HEAD
* [new branch] main -> origin/main
HEAD is now at 1803979 Switch to async Subprocess
Cloned https://github.com/yliu-hashed/shimmers-hdl.git
Revision (git rev-parse @):
18039791292ddb7609ab8f3bb344b9b903139af8
SPI manifest file found: $PWD/.spi.yml
SUCCESS checkout https://github.com/yliu-hashed/shimmers-hdl.git at main
Fetching https://github.com/swiftlang/swift-subprocess.git
[1/2907] Fetching swift-subprocess
Fetched https://github.com/swiftlang/swift-subprocess.git from cache (1.14s)
Fetching https://github.com/apple/swift-system
Fetching https://github.com/swiftlang/swift-syntax.git
Fetching https://github.com/apple/swift-argument-parser.git
[1/5601] Fetching swift-system
[282/23130] Fetching swift-system, swift-argument-parser
[23131/98113] Fetching swift-system, swift-argument-parser, swift-syntax
Fetched https://github.com/apple/swift-system from cache (1.42s)
Fetched https://github.com/apple/swift-argument-parser.git from cache (1.42s)
[3750/74983] Fetching swift-syntax
Fetched https://github.com/swiftlang/swift-syntax.git from cache (4.06s)
Computing version for https://github.com/swiftlang/swift-syntax.git
Computed https://github.com/swiftlang/swift-syntax.git at 602.0.0 (7.95s)
Computing version for https://github.com/apple/swift-argument-parser.git
Computed https://github.com/apple/swift-argument-parser.git at 1.7.1 (0.63s)
Computing version for https://github.com/apple/swift-system
Computed https://github.com/apple/swift-system at 1.6.4 (0.60s)
Creating working copy for https://github.com/swiftlang/swift-subprocess.git
Working copy of https://github.com/swiftlang/swift-subprocess.git resolved at main (cdbbf14)
Creating working copy for https://github.com/swiftlang/swift-syntax.git
Working copy of https://github.com/swiftlang/swift-syntax.git resolved at 602.0.0
Creating working copy for https://github.com/apple/swift-system
Working copy of https://github.com/apple/swift-system resolved at 1.6.4
Creating working copy for https://github.com/apple/swift-argument-parser.git
Working copy of https://github.com/apple/swift-argument-parser.git resolved at 1.7.1
Downloading package prebuilt https://download.swift.org/prebuilts/swift-syntax/602.0.0/swiftlang-6.3.0.123.5-macosx26.4-MacroSupport.zip
Downloaded https://download.swift.org/prebuilts/swift-syntax/602.0.0/swiftlang-6.3.0.123.5-macosx26.4-MacroSupport.zip (0.28s)
========================================
ResolveProductDependencies
========================================
Resolving dependencies ...
{
"identity": ".resolve-product-dependencies",
"name": "resolve-dependencies",
"url": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies",
"version": "unspecified",
"path": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies",
"traits": [
"default"
],
"dependencies": [
{
"identity": "shimmers-hdl",
"name": "shimmers-hdl",
"url": "https://github.com/yliu-hashed/shimmers-hdl.git",
"version": "unspecified",
"path": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies/.build/checkouts/shimmers-hdl",
"traits": [
"default"
],
"dependencies": [
{
"identity": "swift-argument-parser",
"name": "swift-argument-parser",
"url": "https://github.com/apple/swift-argument-parser.git",
"version": "1.7.1",
"path": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies/.build/checkouts/swift-argument-parser",
"traits": [
"default"
],
"dependencies": [
]
},
{
"identity": "swift-subprocess",
"name": "swift-subprocess",
"url": "https://github.com/swiftlang/swift-subprocess.git",
"version": "unspecified",
"path": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies/.build/checkouts/swift-subprocess",
"traits": [
"SubprocessFoundation"
],
"dependencies": [
{
"identity": "swift-system",
"name": "swift-system",
"url": "https://github.com/apple/swift-system",
"version": "1.6.4",
"path": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies/.build/checkouts/swift-system",
"traits": [
"default"
],
"dependencies": [
]
}
]
}
]
}
]
}
Fetching https://github.com/yliu-hashed/shimmers-hdl.git
[1/663] Fetching shimmers-hdl
Fetched https://github.com/yliu-hashed/shimmers-hdl.git from cache (1.20s)
Fetching https://github.com/swiftlang/swift-subprocess.git from cache
Fetched https://github.com/swiftlang/swift-subprocess.git from cache (0.43s)
Fetching https://github.com/swiftlang/swift-syntax.git from cache
Fetching https://github.com/apple/swift-argument-parser.git from cache
Fetching https://github.com/apple/swift-system from cache
Fetched https://github.com/swiftlang/swift-syntax.git from cache (0.87s)
Fetched https://github.com/apple/swift-system from cache (0.87s)
Fetched https://github.com/apple/swift-argument-parser.git from cache (0.87s)
Computing version for https://github.com/swiftlang/swift-syntax.git
Computed https://github.com/swiftlang/swift-syntax.git at 602.0.0 (0.97s)
Computing version for https://github.com/apple/swift-argument-parser.git
Computed https://github.com/apple/swift-argument-parser.git at 1.7.1 (0.08s)
Computing version for https://github.com/apple/swift-system
Computed https://github.com/apple/swift-system at 1.6.4 (0.04s)
Creating working copy for https://github.com/swiftlang/swift-subprocess.git
Working copy of https://github.com/swiftlang/swift-subprocess.git resolved at main (cdbbf14)
Creating working copy for https://github.com/swiftlang/swift-syntax.git
Working copy of https://github.com/swiftlang/swift-syntax.git resolved at 602.0.0
Creating working copy for https://github.com/apple/swift-system
Working copy of https://github.com/apple/swift-system resolved at 1.6.4
Creating working copy for https://github.com/yliu-hashed/shimmers-hdl.git
Working copy of https://github.com/yliu-hashed/shimmers-hdl.git resolved at main (1803979)
Creating working copy for https://github.com/apple/swift-argument-parser.git
Working copy of https://github.com/apple/swift-argument-parser.git resolved at 1.7.1
warning: '.resolve-product-dependencies': dependency 'shimmers-hdl' is not used by any target
Found 2 product dependencies
- swift-argument-parser
- swift-subprocess
========================================
Build
========================================
Selected platform: macosSpm
Swift version: 6.3
Building package at path: $PWD
https://github.com/yliu-hashed/shimmers-hdl.git
Running build ...
env DEVELOPER_DIR=/Applications/Xcode-26.4.0.app xcrun swift build --arch arm64
[1/1] Compiling plugin GenerateManual
[2/2] Compiling plugin GenerateDoccReference
Building for debugging...
[2/14] Write sources
[9/14] Compiling CSystem shims.c
[10/14] Write swift-version--6988338F2F200930.txt
[11/90] Compiling _SubprocessCShims process_shims.c
[13/90] Emitting module ArgumentParserToolInfo
[14/90] Compiling ArgumentParserToolInfo ToolInfo.swift
[15/90] Compiling ShimmersMacros Add List.swift
[16/90] Compiling ShimmersMacros Add Repeat Stmt.swift
[17/90] Compiling ShimmersMacros Add Return Break.swift
[18/93] Compiling ShimmersMacros Add Switch Stmt.swift
[19/93] Compiling ShimmersMacros Add Variable Decl.swift
[20/93] Compiling ShimmersMacros Add While Stmt.swift
[21/93] Compiling ShimmersMacros Sim Enum Extension.swift
[22/93] Compiling ShimmersMacros Wire Enum Member Survey.swift
[23/93] Compiling ShimmersMacros Convert Variable.swift
[24/140] Compiling ArgumentParser Flag.swift
[25/140] Compiling ArgumentParser InputKey.swift
[26/140] Compiling ArgumentParser InputOrigin.swift
[27/140] Compiling ArgumentParser ArgumentVisibility.swift
[28/140] Compiling ArgumentParser CompletionKind.swift
[29/140] Compiling ArgumentParser Errors.swift
[30/140] Compiling ArgumentParser Foundation.swift
[31/140] Compiling ArgumentParser Mutex.swift
[32/140] Compiling ArgumentParser ArgumentHelp.swift
[33/140] Compiling ArgumentParser AsyncParsableCommand.swift
[34/140] Compiling ArgumentParser Platform.swift
[35/140] Compiling ArgumentParser SequenceExtensions.swift
[36/140] Compiling ArgumentParser StringExtensions.swift
[37/140] Compiling ArgumentParser SwiftExtensions.swift
[38/145] Compiling ArgumentParser HelpGenerator.swift
[39/145] Compiling ArgumentParser CommandConfiguration.swift
[40/145] Compiling ArgumentParser CommandGroup.swift
[41/145] Compiling ArgumentParser EnumerableFlag.swift
[42/145] Compiling ArgumentParser ExpressibleByArgument.swift
[43/145] Compiling ArgumentParser ParsableArguments.swift
[44/145] Compiling ArgumentParser NameSpecification.swift
[45/145] Compiling ArgumentParser Option.swift
[46/145] Compiling ArgumentParser OptionGroup.swift
[47/145] Compiling ArgumentParser ParentCommand.swift
[48/145] Compiling ArgumentParser BashCompletionsGenerator.swift
[49/145] Compiling ArgumentParser CompletionsGenerator.swift
[50/145] Compiling ArgumentParser FishCompletionsGenerator.swift
[51/145] Emitting module SystemPackage
[55/145] Compiling ArgumentParser Name.swift
[56/145] Compiling ArgumentParser Parsed.swift
[57/145] Compiling ArgumentParser ArgumentDiscussion.swift
[58/145] Compiling ArgumentParser MessageInfo.swift
[59/145] Compiling ArgumentParser UsageGenerator.swift
[60/145] Compiling ArgumentParser CollectionExtensions.swift
[62/145] Compiling ArgumentParser SplitArguments.swift
[63/145] Compiling ArgumentParser DumpHelpGenerator.swift
[64/145] Compiling ArgumentParser HelpCommand.swift
[65/145] Emitting module ShimmersMacros
[69/145] Compiling ArgumentParser ZshCompletionsGenerator.swift
[70/145] Compiling ArgumentParser Argument.swift
[71/145] Compiling ArgumentParser ParsableCommand.swift
[72/145] Compiling ArgumentParser ArgumentDecoder.swift
[73/145] Compiling ArgumentParser ArgumentDefinition.swift
[74/145] Compiling ArgumentParser ArgumentSet.swift
[75/145] Compiling ArgumentParser CommandParser.swift
[76/145] Compiling ArgumentParser ParserError.swift
[82/145] Compiling ArgumentParser ParsedValues.swift
[92/167] Compiling ShimmersMacros Mangle.swift
[93/167] Compiling ShimmersMacros Convert Expr & Type.swift
[94/167] Compiling ShimmersMacros Convert Generics.swift
[95/167] Compiling ShimmersMacros Rewrite Optional Chaining.swift
[96/167] Compiling ShimmersMacros Rewriter.swift
[96/167] Write Objects.LinkFileList
[97/167] Linking ShimmersMacros-tool
[99/167] Compiling Subprocess Subprocess+Unix.swift
[100/167] Compiling Subprocess Input.swift
[101/167] Compiling Subprocess Output.swift
[102/167] Compiling Subprocess Span+Subprocess.swift
[103/167] Compiling Subprocess Input+Foundation.swift
[124/172] Compiling ArgumentParser CodingKeyValidator.swift
[125/172] Compiling ArgumentParser NonsenseFlagsValidator.swift
[126/172] Compiling ArgumentParser ParsableArgumentsValidation.swift
[127/172] Compiling ArgumentParser PositionalArgumentsValidator.swift
[128/172] Compiling ArgumentParser UniqueNamesValidator.swift
[129/172] Emitting module ArgumentParser
[130/172] Compiling Subprocess Subprocess+BSD.swift
[131/172] Compiling Subprocess Subprocess+Darwin.swift
[132/172] Compiling Subprocess Configuration.swift
[133/172] Compiling Subprocess Error.swift
[134/172] Compiling Subprocess Execution.swift
[135/172] Compiling Subprocess AsyncIO+Dispatch.swift
[141/172] Compiling Subprocess API.swift
[142/172] Compiling Subprocess AsyncBufferSequence.swift
[143/172] Compiling Subprocess Buffer.swift
[144/172] Compiling Subprocess Subprocess+Windows.swift
[145/172] Compiling Subprocess Result.swift
[146/172] Compiling Subprocess AsyncIO+Linux.swift
[147/172] Compiling Subprocess AsyncIO+Windows.swift
[148/172] Compiling Subprocess Output+Foundation.swift
[149/172] Compiling Subprocess Span+SubprocessFoundation.swift
[150/172] Compiling Subprocess Subprocess+Linux.swift
[153/174] Emitting module Subprocess
[159/174] Compiling Subprocess Teardown.swift
[160/174] Compiling Subprocess Thread.swift
[175/263] Compiling Shimmers Pattern Matching.swift
[176/263] Compiling Shimmers QueueRef.swift
[177/263] Compiling Shimmers RangeRef - Collection.swift
[178/263] Compiling Shimmers RangeRef.swift
[179/263] Compiling Shimmers Ternary.swift
[180/263] Compiling Shimmers Protocol Arithmetic.swift
[181/263] Compiling Shimmers Protocol BinaryInteger.swift
[182/263] Compiling Shimmers Protocol Collection.swift
[183/263] Compiling Shimmers Protocol Equatable & Comparable.swift
[184/272] Compiling Shimmers IntRef - Conversion.swift
[185/272] Compiling Shimmers IntRef - Literal.swift
[186/272] Compiling Shimmers IntRef - Magnitude.swift
[187/272] Compiling Shimmers IntRef - Math Add & Sub.swift
[188/272] Compiling Shimmers IntRef - Math Mul & Div.swift
[189/272] Compiling Shimmers IntRef.swift
[190/272] Compiling Shimmers IndexingItrRef.swift
[191/272] Compiling Shimmers OptionalRef Support.swift
[192/272] Compiling Shimmers OptionalRef.swift
[193/272] Compiling Shimmers Member.swift
[194/272] Compiling Shimmers InlineArrayRef - Access.swift
[195/272] Compiling Shimmers InlineArrayRef - Iteration.swift
[196/272] Compiling Shimmers InlineArrayRef - Literal.swift
[197/272] Compiling Shimmers InlineArrayRef.swift
[198/272] Compiling Shimmers BoolRef - Logics.swift
[199/272] Compiling Shimmers BoolRef.swift
[200/272] Compiling Shimmers Enum Raw Buffer.swift
[201/272] Compiling Shimmers Enum Wire Type.swift
[202/272] Compiling Shimmers IntRef - Comparison.swift
[203/272] Compiling Shimmers Bool.swift
[204/272] Compiling Shimmers Enum Runtime Support.swift
[205/272] Compiling Shimmers IndexingItr.swift
[206/272] Compiling Shimmers InlineArray.swift
[207/272] Compiling Shimmers IntN - Operations.swift
[208/272] Compiling Shimmers IntN.swift
[209/272] Compiling Shimmers Standard Integer Runtime.swift
[210/272] Compiling Shimmers UIntN - Operations.swift
[211/272] Compiling Shimmers UIntN.swift
[212/272] Compiling Shimmers Optional.swift
[213/272] Compiling Shimmers File Name Mangle.swift
[214/272] Compiling Shimmers Hashing.swift
[215/272] Compiling Shimmers Name Mangling.swift
[216/272] Compiling Shimmers Module.swift
[217/272] Compiling Shimmers BigInt - Bitwise.swift
[218/272] Compiling Shimmers BigInt - Comparison.swift
[219/272] Compiling Shimmers BigInt - Conversion & Literal.swift
[220/272] Compiling Shimmers BigInt - Math Add & Sub.swift
[221/272] Compiling Shimmers BigInt - Math Mul & Div.swift
[222/272] Compiling Shimmers BigInt.swift
[223/272] Compiling Shimmers Scope - Building Gates.swift
[224/272] Compiling Shimmers Scope - Building Ports.swift
[225/272] Compiling Shimmers Scope - Condition.swift
[226/272] Compiling Shimmers Scope - Debugging.swift
[227/272] Compiling Shimmers Scope - Module Inst.swift
[228/272] Compiling Shimmers Scope - Prove Assert.swift
[229/272] Compiling Shimmers Scope - Prove Assume.swift
[230/272] Compiling Shimmers Scope - Prove Loop.swift
[231/272] Compiling Shimmers Scope.swift
[232/272] Compiling Shimmers Local.swift
[233/272] Compiling Shimmers Queue.swift
[234/272] Compiling Shimmers Range.swift
[235/272] Compiling Shimmers Wire - Logic.swift
[236/272] Compiling Shimmers Wire - Traversal.swift
[237/272] Compiling Shimmers Wire.swift
[238/272] Compiling Shimmers Assertion Set.swift
[239/272] Compiling Shimmers Assertion Type Message.swift
[240/272] Compiling Shimmers Assertion Type.swift
[241/272] Compiling Shimmers Build Arith - Add.swift
[242/272] Compiling Shimmers Build Arith - Compare.swift
[243/272] Compiling Shimmers Build Arith - Div.swift
[244/272] Compiling Shimmers Build Arith - Mul.swift
[245/272] Compiling Shimmers Build Arith - Shift.swift
[246/272] Compiling Shimmers Build Misc.swift
[247/272] Compiling Shimmers Debug Info.swift
[248/272] Compiling Shimmers Debugging.swift
[249/272] Compiling Shimmers Detached Port Naming.swift
[250/272] Compiling Shimmers Module Gen.swift
[251/272] Compiling Shimmers Module Seq Wrapper.swift
[252/272] Compiling Shimmers SAT Solver.swift
[253/272] Compiling Shimmers Protocol FixedWidthInteger.swift
[254/272] Compiling Shimmers Protocol Iterator & Sequence.swift
[255/272] Compiling Shimmers Protocol Numeric.swift
[256/272] Compiling Shimmers Protocol Range.swift
[257/272] Compiling Shimmers Protocol Sign Integer.swift
[258/272] Compiling Shimmers Protocol Stridable.swift
[259/272] Compiling Shimmers WireRef - Logic.swift
[260/272] Compiling Shimmers WireRef - Traverse.swift
[261/272] Compiling Shimmers WireRef.swift
[262/272] Emitting module Shimmers
[263/272] Compiling Shimmers CNF Builder.swift
[264/272] Compiling Shimmers Driver.swift
[265/272] Compiling Shimmers Graph Builder - DFF.swift
[266/272] Compiling Shimmers Graph Builder - Gates.swift
[267/272] Compiling Shimmers Graph Builder - Submodule.swift
[268/272] Compiling Shimmers Graph Builder.swift
[269/272] Compiling Shimmers Print Verilog.swift
[270/272] Compiling Shimmers Simplify.swift
[271/272] Compiling Shimmers Macros - Building.swift
[272/272] Compiling Shimmers Macros - Proof.swift
[273/277] Compiling ShimmersCLIWrapper Module Name.swift
[274/277] Compiling ShimmersCLIWrapper ShimmersCLI.swift
[275/277] Emitting module ShimmersCLIWrapper
[276/277] Compiling ShimmersCLIWrapper Printing.swift
[277/277] Compiling ShimmersCLIWrapper Assertion Type.swift
Build complete! (16.22s)
Build complete.
{
"dependencies" : [
{
"identity" : "swift-argument-parser",
"requirement" : {
"range" : [
{
"lower_bound" : "1.6.0",
"upper_bound" : "2.0.0"
}
]
},
"type" : "sourceControl",
"url" : "https://github.com/apple/swift-argument-parser.git"
},
{
"identity" : "swift-syntax",
"requirement" : {
"range" : [
{
"lower_bound" : "602.0.0",
"upper_bound" : "602.1.0"
}
]
},
"type" : "sourceControl",
"url" : "https://github.com/swiftlang/swift-syntax.git"
},
{
"identity" : "swift-subprocess",
"requirement" : {
"branch" : [
"main"
]
},
"type" : "sourceControl",
"url" : "https://github.com/swiftlang/swift-subprocess.git"
}
],
"manifest_display_name" : "shimmers-hdl",
"name" : "shimmers-hdl",
"path" : "/Users/admin/builder/spi-builder-workspace",
"platforms" : [
{
"name" : "macos",
"version" : "26.0"
}
],
"products" : [
{
"name" : "Shimmers",
"targets" : [
"Shimmers"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "ShimmersCLIWrapper",
"targets" : [
"ShimmersCLIWrapper"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "ShimmersMacros",
"targets" : [
"ShimmersMacros"
],
"type" : {
"macro" : null
}
}
],
"targets" : [
{
"c99name" : "ShimmersMacros",
"module_type" : "SwiftTarget",
"name" : "ShimmersMacros",
"path" : "Sources/ShimmersMacros",
"product_dependencies" : [
"SwiftSyntax",
"SwiftSyntaxMacros",
"SwiftDiagnostics",
"SwiftCompilerPlugin"
],
"product_memberships" : [
"Shimmers",
"ShimmersCLIWrapper",
"ShimmersMacros"
],
"sources" : [
"Attribute.swift",
"Convert Code Block/Add For Stmt.swift",
"Convert Code Block/Add If Guard Stmt.swift",
"Convert Code Block/Add List.swift",
"Convert Code Block/Add Repeat Stmt.swift",
"Convert Code Block/Add Return Break.swift",
"Convert Code Block/Add Switch Stmt.swift",
"Convert Code Block/Add Variable Decl.swift",
"Convert Code Block/Add While Stmt.swift",
"Convert Code Block/Code Block.swift",
"Convert Code Block/Extract Pattern.swift",
"Convert Code Block/Loop Hint.swift",
"Convert Code Block/Pattern.swift",
"Convert Function & Variable/Convert Function.swift",
"Convert Function & Variable/Convert Init.swift",
"Convert Function & Variable/Convert Variable.swift",
"Convert Function & Variable/Detached Generator.swift",
"Convert Function & Variable/Function Name.swift",
"Convert Function & Variable/Parse Detached Attribute.swift",
"Convert Function & Variable/Seq Wrapper.swift",
"Convert Function & Variable/Stub Code List.swift",
"Convert Function & Variable/Top Level Entry.swift",
"Convert Wire Enum/Sim Enum Extension Helpers.swift",
"Convert Wire Enum/Sim Enum Extension.swift",
"Convert Wire Enum/Wire Enum Member Survey.swift",
"Convert Wire Enum/Wire Enum SynthRef Helpers.swift",
"Convert Wire Enum/Wire Enum SynthRef.swift",
"Convert Wire Struct/Sim Wire Extension Helpers.swift",
"Convert Wire Struct/Sim Wire Extension.swift",
"Convert Wire Struct/Wire Struct Member Survey.swift",
"Convert Wire Struct/Wire Struct SynthRef Helpers.swift",
"Convert Wire Struct/Wire Struct SynthRef.swift",
"Debug Info.swift",
"Helpers.swift",
"Macros.swift",
"Macros/Check Parent.swift",
"Macros/Formals/Assert Macro.swift",
"Macros/Formals/Assume Macro.swift",
"Macros/Formals/Never Macro.swift",
"Macros/Hardware Function Macro.swift",
"Macros/Hardware Wire Macro.swift",
"Macros/Markers/Detached Macro.swift",
"Macros/Markers/Top Level Function Macro.swift",
"Macros/Sim Block Macro.swift",
"Macros/Top Level Name Macro.swift",
"Mangle.swift",
"Rewriter/Convert Expr & Type.swift",
"Rewriter/Convert Generics.swift",
"Rewriter/Rewrite Optional Chaining.swift",
"Rewriter/Rewriter.swift"
],
"type" : "macro"
},
{
"c99name" : "ShimmersInternalRuntimeTests",
"module_type" : "SwiftTarget",
"name" : "ShimmersInternalRuntimeTests",
"path" : "Sources/ShimmersInternalRuntimeTests",
"sources" : [
"BigInt/BigInt - Add & Sub.swift",
"BigInt/BigInt - Bitwise.swift",
"BigInt/BigInt - Comparison.swift",
"BigInt/BigInt - Convert & Init.swift",
"BigInt/BigInt - Division.swift",
"BigInt/BigInt - Multiply.swift",
"BigInt/BigInt - Shift.swift",
"BigInt/BigInt - Truncation.swift",
"Test Tags.swift",
"UIntN & IntN/IntN - Arith.swift",
"UIntN & IntN/IntN - Bitwise.swift",
"UIntN & IntN/UIntN - Arith.swift",
"UIntN & IntN/UIntN - Bitwise.swift"
],
"target_dependencies" : [
"Shimmers"
],
"type" : "test"
},
{
"c99name" : "ShimmersInternalLogicTests",
"module_type" : "SwiftTarget",
"name" : "ShimmersInternalLogicTests",
"path" : "Sources/ShimmersInternalLogicTests",
"sources" : [
"Boolean/Boolean.swift",
"Boolean/Ternary.swift",
"Construction/Con Guard Basic.swift",
"Construction/Con Guard Unbind Enum.swift",
"Construction/Con If Basic Variable.swift",
"Construction/Con If Basic.swift",
"Construction/Con If Return Variable.swift",
"Construction/Con If Unbind Enum.swift",
"Construction/Con Mutate Function.swift",
"Construction/Con Switch Basic.swift",
"Construction/Con Switch Unbind Enum.swift",
"Enum/Enum Rep Basic.swift",
"Enum/Enum Rep Payload.swift",
"Inline Array/Inline Array Access.swift",
"Integer/Integer Add & Sub.swift",
"Integer/Integer Bitwise Count.swift",
"Integer/Integer Bitwise Ops.swift",
"Integer/Integer Comparison.swift",
"Integer/Integer Convert Clamp.swift",
"Integer/Integer Convert Exact.swift",
"Integer/Integer Convert Trunc.swift",
"Integer/Integer Division.swift",
"Integer/Integer Multiply.swift",
"Integer/Integer Remainder.swift",
"Integer/Integer Shift.swift",
"Integer/Integer Sign & Mag.swift",
"Optional/Optional Chain.swift",
"Optional/Optional Coalesce.swift",
"Optional/Optional.swift",
"Queue/Queue Push & Pop Basic.swift",
"Range/Range Contain.swift",
"Range/Range Iterate.swift",
"Support/Dump Net.swift",
"Support/Simulator.swift",
"Test Tags.swift"
],
"target_dependencies" : [
"Shimmers"
],
"type" : "test"
},
{
"c99name" : "ShimmersCLIWrapper",
"module_type" : "SwiftTarget",
"name" : "ShimmersCLIWrapper",
"path" : "Sources/ShimmersCLIWrapper",
"product_dependencies" : [
"ArgumentParser"
],
"product_memberships" : [
"ShimmersCLIWrapper"
],
"sources" : [
"Assertion Type.swift",
"Module Name.swift",
"Printing.swift",
"ShimmersCLI.swift"
],
"target_dependencies" : [
"Shimmers"
],
"type" : "library"
},
{
"c99name" : "Shimmers",
"module_type" : "SwiftTarget",
"name" : "Shimmers",
"path" : "Sources/Shimmers",
"product_dependencies" : [
"Subprocess"
],
"product_memberships" : [
"Shimmers",
"ShimmersCLIWrapper"
],
"sources" : [
"CNF Builder/CNF Builder.swift",
"Driver.swift",
"Graph/Graph Builder - DFF.swift",
"Graph/Graph Builder - Gates.swift",
"Graph/Graph Builder - Submodule.swift",
"Graph/Graph Builder.swift",
"Graph/Print Verilog.swift",
"Graph/Simplify.swift",
"Macros - Building.swift",
"Macros - Proof.swift",
"Mangle/File Name Mangle.swift",
"Mangle/Hashing.swift",
"Mangle/Name Mangling.swift",
"Module.swift",
"Runtime Support/BigInt/BigInt - Bitwise.swift",
"Runtime Support/BigInt/BigInt - Comparison.swift",
"Runtime Support/BigInt/BigInt - Conversion & Literal.swift",
"Runtime Support/BigInt/BigInt - Math Add & Sub.swift",
"Runtime Support/BigInt/BigInt - Math Mul & Div.swift",
"Runtime Support/BigInt/BigInt.swift",
"Runtime/Bool.swift",
"Runtime/Enum Runtime Support.swift",
"Runtime/IndexingItr.swift",
"Runtime/InlineArray.swift",
"Runtime/Integers/IntN - Operations.swift",
"Runtime/Integers/IntN.swift",
"Runtime/Integers/Standard Integer Runtime.swift",
"Runtime/Integers/UIntN - Operations.swift",
"Runtime/Integers/UIntN.swift",
"Runtime/Optional.swift",
"Runtime/Queue.swift",
"Runtime/Range.swift",
"Runtime/Wire - Logic.swift",
"Runtime/Wire - Traversal.swift",
"Runtime/Wire.swift",
"Scope/Assertion Set.swift",
"Scope/Assertion Type Message.swift",
"Scope/Assertion Type.swift",
"Scope/Building/Build Arith - Add.swift",
"Scope/Building/Build Arith - Compare.swift",
"Scope/Building/Build Arith - Div.swift",
"Scope/Building/Build Arith - Mul.swift",
"Scope/Building/Build Arith - Shift.swift",
"Scope/Building/Build Misc.swift",
"Scope/Debug Info.swift",
"Scope/Debugging.swift",
"Scope/Detached Port Naming.swift",
"Scope/Module Gen.swift",
"Scope/Module Seq Wrapper.swift",
"Scope/SAT Solver.swift",
"Scope/Scope - Building Gates.swift",
"Scope/Scope - Building Ports.swift",
"Scope/Scope - Condition.swift",
"Scope/Scope - Debugging.swift",
"Scope/Scope - Module Inst.swift",
"Scope/Scope - Prove Assert.swift",
"Scope/Scope - Prove Assume.swift",
"Scope/Scope - Prove Loop.swift",
"Scope/Scope.swift",
"Var Tracking/Local.swift",
"Var Tracking/Member.swift",
"Wire Types/Array/InlineArrayRef - Access.swift",
"Wire Types/Array/InlineArrayRef - Iteration.swift",
"Wire Types/Array/InlineArrayRef - Literal.swift",
"Wire Types/Array/InlineArrayRef.swift",
"Wire Types/Boolean/BoolRef - Logics.swift",
"Wire Types/Boolean/BoolRef.swift",
"Wire Types/Enum Support/Enum Raw Buffer.swift",
"Wire Types/Enum Support/Enum Wire Type.swift",
"Wire Types/Integers/IntRef - Comparison.swift",
"Wire Types/Integers/IntRef - Conversion.swift",
"Wire Types/Integers/IntRef - Literal.swift",
"Wire Types/Integers/IntRef - Magnitude.swift",
"Wire Types/Integers/IntRef - Math Add & Sub.swift",
"Wire Types/Integers/IntRef - Math Mul & Div.swift",
"Wire Types/Integers/IntRef.swift",
"Wire Types/Iterator/IndexingItrRef.swift",
"Wire Types/Optional/OptionalRef Support.swift",
"Wire Types/Optional/OptionalRef.swift",
"Wire Types/Pattern Matching/Pattern Matching.swift",
"Wire Types/Queue/QueueRef.swift",
"Wire Types/Range/RangeRef - Collection.swift",
"Wire Types/Range/RangeRef.swift",
"Wire Types/Ternary.swift",
"Wire Types/Wire Protocol/Protocol Arithmetic.swift",
"Wire Types/Wire Protocol/Protocol BinaryInteger.swift",
"Wire Types/Wire Protocol/Protocol Collection.swift",
"Wire Types/Wire Protocol/Protocol Equatable & Comparable.swift",
"Wire Types/Wire Protocol/Protocol FixedWidthInteger.swift",
"Wire Types/Wire Protocol/Protocol Iterator & Sequence.swift",
"Wire Types/Wire Protocol/Protocol Numeric.swift",
"Wire Types/Wire Protocol/Protocol Range.swift",
"Wire Types/Wire Protocol/Protocol Sign Integer.swift",
"Wire Types/Wire Protocol/Protocol Stridable.swift",
"Wire Types/WireRef - Logic.swift",
"Wire Types/WireRef - Traverse.swift",
"Wire Types/WireRef.swift"
],
"target_dependencies" : [
"ShimmersMacros"
],
"type" : "library"
}
],
"tools_version" : "6.2"
}
Done.