Swift Package IndexBuild Information
Successful build of shimmers-hdl, reference v0.2.0-alpha (db6228), with Swift 6.2 for Linux on 29 Dec 2025 05:44:31 UTC.
Swift 6 data race errors: 0
Build Command
bash -c docker run --pull=always --rm -v "checkouts-4609320-3":/host -w "$PWD" -e JAVA_HOME="/root/.sdkman/candidates/java/current" -e SPI_BUILD="1" -e SPI_PROCESSING="1" registry.gitlab.com/finestructure/spi-images:basic-6.2-latest swift build --triple x86_64-unknown-linux-gnu 2>&1Build Log
========================================
RunAll
========================================
Builder version: 4.68.0
Interrupt handler set up.
========================================
Checkout
========================================
Clone URL: https://github.com/yliu-hashed/shimmers-hdl.git
Reference: v0.2.0-alpha
Initialized empty Git repository in /host/spi-builder-workspace/.git/
hint: Using 'master' as the name for the initial branch. This default branch name
hint: is subject to change. To configure the initial branch name to use in all
hint: of your new repositories, which will suppress this warning, call:
hint:
hint: git config --global init.defaultBranch <name>
hint:
hint: Names commonly chosen instead of 'master' are 'main', 'trunk' and
hint: 'development'. The just-created branch can be renamed via this command:
hint:
hint: git branch -m <name>
From https://github.com/yliu-hashed/shimmers-hdl
* tag v0.2.0-alpha -> FETCH_HEAD
HEAD is now at db62289 Improve documentation
Cloned https://github.com/yliu-hashed/shimmers-hdl.git
Revision (git rev-parse @):
db6228980911fa6654502266a12484deb3795bbe
SPI manifest file found: $PWD/.spi.yml
SUCCESS checkout https://github.com/yliu-hashed/shimmers-hdl.git at v0.2.0-alpha
========================================
Build
========================================
Selected platform: linux
Swift version: 6.2
Building package at path: $PWD
https://github.com/yliu-hashed/shimmers-hdl.git
Running build ...
bash -c docker run --pull=always --rm -v "checkouts-4609320-3":/host -w "$PWD" -e JAVA_HOME="/root/.sdkman/candidates/java/current" -e SPI_BUILD="1" -e SPI_PROCESSING="1" registry.gitlab.com/finestructure/spi-images:basic-6.2-latest swift build --triple x86_64-unknown-linux-gnu 2>&1
basic-6.2-latest: Pulling from finestructure/spi-images
Digest: sha256:e1f50347098d838026a020bb7d0f8bade3d7b84d6d497429b7cf821cdf4fc3d1
Status: Image is up to date for registry.gitlab.com/finestructure/spi-images:basic-6.2-latest
Fetching https://github.com/apple/swift-argument-parser.git
Fetching https://github.com/swiftlang/swift-syntax.git
[1/16987] Fetching swift-argument-parser
[8835/90204] Fetching swift-argument-parser, swift-syntax
Fetched https://github.com/apple/swift-argument-parser.git from cache (9.81s)
Fetched https://github.com/swiftlang/swift-syntax.git from cache (9.93s)
Computing version for https://github.com/swiftlang/swift-syntax.git
Computed https://github.com/swiftlang/swift-syntax.git at 602.0.0 (14.14s)
Computing version for https://github.com/apple/swift-argument-parser.git
Computed https://github.com/apple/swift-argument-parser.git at 1.7.0 (0.70s)
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-argument-parser.git
Working copy of https://github.com/apple/swift-argument-parser.git resolved at 1.7.0
Downloading package prebuilt https://download.swift.org/prebuilts/swift-syntax/602.0.0/swift-6.2-RELEASE-MacroSupport-ubuntu_jammy_x86_64.tar.gz
Downloaded https://download.swift.org/prebuilts/swift-syntax/602.0.0/swift-6.2-RELEASE-MacroSupport-ubuntu_jammy_x86_64.tar.gz (0.89s)
[1/1] Compiling plugin GenerateManual
[2/2] Compiling plugin GenerateDoccReference
Building for debugging...
[2/11] Write sources
[7/11] Write swift-version-24593BA9C3E375BF.txt
[9/58] Emitting module ShimmersMacros
[10/64] Compiling ShimmersMacros Top Level Name Macro.swift
[11/64] Compiling ShimmersMacros Mangle.swift
[12/64] Compiling ShimmersMacros Convert Expr & Type.swift
[13/64] Compiling ShimmersMacros Convert Generics.swift
[14/64] Compiling ShimmersMacros Rewrite Optional Chaining.swift
[15/64] Compiling ShimmersMacros Rewriter.swift
[16/64] Compiling ShimmersMacros Add Variable Decl.swift
[17/64] Compiling ShimmersMacros Add While Stmt.swift
[18/64] Compiling ShimmersMacros Code Block.swift
[19/64] Compiling ShimmersMacros Extract Pattern.swift
[20/64] Compiling ShimmersMacros Loop Hint.swift
[21/64] Compiling ShimmersMacros Pattern.swift
[22/64] Compiling ShimmersMacros Convert Function.swift
[23/64] Compiling ShimmersMacros Stub Code List.swift
[24/64] Compiling ShimmersMacros Top Level Entry.swift
[25/64] Compiling ShimmersMacros Sim Enum Extension Helpers.swift
[26/64] Compiling ShimmersMacros Sim Enum Extension.swift
[27/64] Compiling ShimmersMacros Wire Enum Member Survey.swift
[28/64] Compiling ShimmersMacros Wire Enum SynthRef Helpers.swift
[29/64] Compiling ShimmersMacros Convert Init.swift
[30/64] Compiling ShimmersMacros Convert Variable.swift
[31/64] Compiling ShimmersMacros Detached Generator.swift
[32/64] Compiling ShimmersMacros Function Name.swift
[33/64] Compiling ShimmersMacros Parse Detached Attribute.swift
[34/64] Compiling ShimmersMacros Seq Wrapper.swift
[35/64] Compiling ShimmersMacros Attribute.swift
[36/64] Compiling ShimmersMacros Add For Stmt.swift
[37/64] Compiling ShimmersMacros Add If Guard Stmt.swift
[38/64] Compiling ShimmersMacros Add List.swift
[39/64] Compiling ShimmersMacros Add Repeat Stmt.swift
[40/64] Compiling ShimmersMacros Add Return Break.swift
[41/64] Compiling ShimmersMacros Add Switch Stmt.swift
[42/64] Compiling ShimmersMacros Debug Info.swift
[43/64] Compiling ShimmersMacros Helpers.swift
[44/64] Compiling ShimmersMacros Macros.swift
[45/64] Compiling ShimmersMacros Check Parent.swift
[46/64] Compiling ShimmersMacros Assert Macro.swift
[47/64] Compiling ShimmersMacros Assume Macro.swift
[48/64] Compiling ShimmersMacros Wire Enum SynthRef.swift
[49/64] Compiling ShimmersMacros Sim Wire Extension Helpers.swift
[50/64] Compiling ShimmersMacros Sim Wire Extension.swift
[51/64] Compiling ShimmersMacros Wire Struct Member Survey.swift
[52/64] Compiling ShimmersMacros Wire Struct SynthRef Helpers.swift
[53/64] Compiling ShimmersMacros Wire Struct SynthRef.swift
[54/64] Compiling ShimmersMacros Never Macro.swift
[55/64] Compiling ShimmersMacros Hardware Function Macro.swift
[56/64] Compiling ShimmersMacros Hardware Wire Macro.swift
[57/64] Compiling ShimmersMacros Detached Macro.swift
[58/64] Compiling ShimmersMacros Top Level Function Macro.swift
[59/64] Compiling ShimmersMacros Sim Block Macro.swift
[61/65] Emitting module ArgumentParserToolInfo
[62/65] Compiling ArgumentParserToolInfo ToolInfo.swift
[63/66] Wrapping AST for ShimmersMacros for debugging
[64/66] Write Objects.LinkFileList
[65/112] Linking ShimmersMacros-tool
[67/198] Compiling Shimmers CNF Builder.swift
[68/198] Compiling Shimmers Driver.swift
[69/198] Compiling Shimmers Graph Builder - DFF.swift
[70/198] Compiling Shimmers Graph Builder - Gates.swift
[71/198] Compiling Shimmers Graph Builder - Submodule.swift
[72/198] Compiling Shimmers Graph Builder.swift
[73/198] Compiling Shimmers Print Verilog.swift
[74/198] Emitting module ArgumentParser
[75/204] Compiling Shimmers UIntN - Operations.swift
[76/204] Compiling Shimmers UIntN.swift
[77/204] Compiling Shimmers Optional.swift
[78/204] Compiling Shimmers Queue.swift
[79/204] Compiling Shimmers Range.swift
[80/204] Compiling Shimmers Wire - Logic.swift
[81/204] Compiling Shimmers Simplify.swift
[82/204] Compiling Shimmers Macros - Building.swift
[83/204] Compiling Shimmers Macros - Proof.swift
[84/204] Compiling Shimmers File Name Mangle.swift
[85/204] Compiling Shimmers Hashing.swift
[86/204] Compiling Shimmers Name Mangling.swift
[87/204] Compiling Shimmers Module.swift
[88/204] Compiling ArgumentParser Tree.swift
[89/204] Compiling ArgumentParser CodingKeyValidator.swift
[90/204] Compiling ArgumentParser NonsenseFlagsValidator.swift
[91/204] Compiling ArgumentParser ParsableArgumentsValidation.swift
[92/204] Compiling ArgumentParser PositionalArgumentsValidator.swift
[93/204] Compiling ArgumentParser UniqueNamesValidator.swift
[94/204] Compiling Shimmers Build Arith - Compare.swift
[95/204] Compiling Shimmers Build Arith - Div.swift
[96/204] Compiling Shimmers Build Arith - Mul.swift
[97/204] Compiling Shimmers Build Arith - Shift.swift
[98/204] Compiling Shimmers Build Misc.swift
[99/204] Compiling Shimmers Debug Info.swift
[100/204] Compiling Shimmers Wire - Traversal.swift
[101/204] Compiling Shimmers Wire.swift
[102/204] Compiling Shimmers Assertion Set.swift
[103/204] Compiling Shimmers Assertion Type Message.swift
[104/204] Compiling Shimmers Assertion Type.swift
[105/204] Compiling Shimmers Build Arith - Add.swift
[106/204] Compiling Shimmers IntRef - Math Add & Sub.swift
[107/204] Compiling Shimmers IntRef - Math Mul & Div.swift
[108/204] Compiling Shimmers IntRef.swift
[109/204] Compiling Shimmers IndexingItrRef.swift
[110/204] Compiling Shimmers OptionalRef Support.swift
[111/204] Compiling Shimmers OptionalRef.swift
[112/204] Compiling Shimmers Pattern Matching.swift
[113/204] Compiling Shimmers QueueRef.swift
[114/204] Compiling Shimmers RangeRef - Collection.swift
[115/204] Compiling Shimmers RangeRef.swift
[116/204] Compiling Shimmers Ternary.swift
[117/204] Compiling Shimmers Protocol Arithmetic.swift
[120/204] Compiling Shimmers InlineArrayRef - Literal.swift
[121/204] Compiling Shimmers InlineArrayRef.swift
[122/204] Compiling Shimmers BoolRef - Logics.swift
[123/204] Compiling Shimmers BoolRef.swift
[124/204] Compiling Shimmers Enum Raw Buffer.swift
[125/204] Compiling Shimmers Enum Wire Type.swift
[126/204] Compiling Shimmers IntRef - Comparison.swift
[127/204] Compiling Shimmers IntRef - Conversion.swift
[128/204] Compiling Shimmers IntRef - Literal.swift
[129/204] Compiling Shimmers IntRef - Magnitude.swift
[130/211] Compiling Shimmers BigInt - Bitwise.swift
[131/211] Compiling Shimmers BigInt - Comparison.swift
[132/211] Compiling Shimmers BigInt - Conversion & Literal.swift
[133/211] Compiling Shimmers BigInt - Math Add & Sub.swift
[134/211] Compiling Shimmers BigInt - Math Mul & Div.swift
[135/211] Compiling Shimmers BigInt.swift
[136/211] Compiling Shimmers Bool.swift
[137/211] Compiling Shimmers Enum Runtime Support.swift
[138/211] Compiling Shimmers IndexingItr.swift
[139/211] Compiling Shimmers InlineArray.swift
[140/211] Compiling Shimmers IntN - Operations.swift
[141/211] Compiling Shimmers IntN.swift
[142/211] Compiling Shimmers Standard Integer Runtime.swift
[144/217] Emitting module Shimmers
[158/217] Compiling Shimmers Protocol BinaryInteger.swift
[159/217] Compiling Shimmers Protocol Collection.swift
[160/217] Compiling Shimmers Protocol Equatable & Comparable.swift
[161/217] Compiling Shimmers Protocol FixedWidthInteger.swift
[162/217] Compiling Shimmers Protocol Iterator & Sequence.swift
[163/217] Compiling Shimmers Protocol Numeric.swift
[164/217] Compiling Shimmers Protocol Range.swift
[165/217] Compiling Shimmers Protocol Sign Integer.swift
[166/217] Compiling Shimmers Protocol Stridable.swift
[167/217] Compiling Shimmers WireRef - Logic.swift
[168/217] Compiling Shimmers WireRef - Traverse.swift
[169/217] Compiling Shimmers WireRef.swift
[206/217] Compiling Shimmers SAT Solver.swift
[207/217] Compiling Shimmers Scope - Building Gates.swift
[208/217] Compiling Shimmers Scope - Building Ports.swift
[209/217] Compiling Shimmers Scope - Condition.swift
[210/217] Compiling Shimmers Scope - Debugging.swift
[211/217] Compiling Shimmers Scope - Module Inst.swift
[212/217] Compiling Shimmers Scope - Prove Assert.swift
[213/217] Compiling Shimmers Scope - Prove Assume.swift
[214/217] Compiling Shimmers Scope - Prove Loop.swift
[215/217] Compiling Shimmers Scope.swift
[216/217] Compiling Shimmers Local.swift
[217/217] Compiling Shimmers Member.swift
[219/223] Compiling ShimmersCLIWrapper Printing.swift
[220/223] Compiling ShimmersCLIWrapper Module Name.swift
[221/223] Compiling ShimmersCLIWrapper Assertion Type.swift
[222/223] Compiling ShimmersCLIWrapper ShimmersCLI.swift
[223/223] Emitting module ShimmersCLIWrapper
Build complete! (64.69s)
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"
}
],
"manifest_display_name" : "shimmers-hdl",
"name" : "shimmers-hdl",
"path" : "/host/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_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"
}
basic-6.2-latest: Pulling from finestructure/spi-images
Digest: sha256:e1f50347098d838026a020bb7d0f8bade3d7b84d6d497429b7cf821cdf4fc3d1
Status: Image is up to date for registry.gitlab.com/finestructure/spi-images:basic-6.2-latest
✅ Doc result (pending) reported
========================================
GenerateDocs
========================================
Generating docs at path: $PWD/.docs/yliu-hashed/shimmers-hdl/v0.2.0-alpha
Repository: yliu-hashed/shimmers-hdl
Swift version used: 6.2
Target: Shimmers
Extracting symbol information for 'Shimmers'...
Finished extracting symbol information for 'Shimmers'. (9.67s)
Building documentation for 'Shimmers'...
Finished building documentation for 'Shimmers' (11.16s)
Generated documentation archive at:
/host/spi-builder-workspace/.docs/yliu-hashed/shimmers-hdl/v0.2.0-alpha
Fetching https://github.com/swiftlang/swift-docc-plugin
Updating https://github.com/apple/swift-argument-parser.git
[1/2158] Fetching swift-docc-plugin
Updated https://github.com/apple/swift-argument-parser.git (0.30s)
Updating https://github.com/swiftlang/swift-syntax.git
Fetched https://github.com/swiftlang/swift-docc-plugin from cache (1.39s)
Updated https://github.com/swiftlang/swift-syntax.git (0.44s)
Computing version for https://github.com/swiftlang/swift-syntax.git
Computed https://github.com/swiftlang/swift-syntax.git at 602.0.0 (3.75s)
Computing version for https://github.com/apple/swift-argument-parser.git
Computed https://github.com/apple/swift-argument-parser.git at 1.7.0 (1.69s)
Computing version for https://github.com/swiftlang/swift-docc-plugin
Computed https://github.com/swiftlang/swift-docc-plugin at 1.4.5 (1.25s)
Fetching https://github.com/swiftlang/swift-docc-symbolkit
[1/3630] Fetching swift-docc-symbolkit
Fetched https://github.com/swiftlang/swift-docc-symbolkit from cache (3.19s)
Computing version for https://github.com/swiftlang/swift-docc-symbolkit
Computed https://github.com/swiftlang/swift-docc-symbolkit at 1.0.0 (4.67s)
Creating working copy for https://github.com/swiftlang/swift-docc-symbolkit
Working copy of https://github.com/swiftlang/swift-docc-symbolkit resolved at 1.0.0
Creating working copy for https://github.com/swiftlang/swift-docc-plugin
Working copy of https://github.com/swiftlang/swift-docc-plugin resolved at 1.4.5
Building for debugging...
[0/9] Write sources
[3/9] Write swift-version-24593BA9C3E375BF.txt
[5/53] Compiling Snippets SnippetParser.swift
[6/53] Emitting module Snippets
[7/53] Compiling Snippets Snippet.swift
[8/54] Wrapping AST for Snippets for debugging
[10/54] Emitting module SymbolKit
[11/59] Compiling SymbolKit SourceOrigin.swift
[12/59] Compiling SymbolKit GenericConstraints.swift
[13/59] Compiling SymbolKit Swift.swift
[14/59] Compiling SymbolKit SemanticVersion.swift
[15/59] Compiling SymbolKit AccessControl.swift
[16/59] Compiling SymbolKit Availability.swift
[17/59] Compiling SymbolKit Mixin+Equals.swift
[18/59] Compiling SymbolKit Mixin+Hash.swift
[19/59] Compiling SymbolKit Mixin.swift
[20/59] Compiling SymbolKit LineList.swift
[21/59] Compiling SymbolKit Position.swift
[22/59] Compiling SymbolKit SourceRange.swift
[23/59] Compiling SymbolKit Generics.swift
[24/59] Compiling SymbolKit Namespace.swift
[25/59] Compiling SymbolKit Symbol.swift
[26/59] Compiling SymbolKit SymbolKind.swift
[27/59] Compiling SymbolKit SymbolGraph.swift
[28/59] Compiling SymbolKit AvailabilityItem.swift
[29/59] Compiling SymbolKit Domain.swift
[30/59] Compiling SymbolKit DeclarationFragments.swift
[31/59] Compiling SymbolKit Fragment.swift
[32/59] Compiling SymbolKit FragmentKind.swift
[33/59] Compiling SymbolKit FunctionParameter.swift
[34/59] Compiling SymbolKit FunctionSignature.swift
[35/59] Compiling SymbolKit Identifier.swift
[36/59] Compiling SymbolKit KindIdentifier.swift
[37/59] Compiling SymbolKit Location.swift
[38/59] Compiling SymbolKit Mutability.swift
[39/59] Compiling SymbolKit Names.swift
[40/59] Compiling SymbolKit SPI.swift
[41/59] Compiling SymbolKit Snippet.swift
[42/59] Compiling SymbolKit Extension.swift
[43/59] Compiling SymbolKit GenericConstraint.swift
[44/59] Compiling SymbolKit GenericParameter.swift
[45/59] Compiling SymbolKit Metadata.swift
[46/59] Compiling SymbolKit Module.swift
[47/59] Compiling SymbolKit OperatingSystem.swift
[48/59] Compiling SymbolKit Platform.swift
[49/59] Compiling SymbolKit Relationship.swift
[50/59] Compiling SymbolKit RelationshipKind.swift
[51/59] Compiling SymbolKit GraphCollector.swift
[52/59] Compiling SymbolKit UnifiedSymbol+Encodable.swift
[53/59] Compiling SymbolKit UnifiedSymbol.swift
[54/59] Compiling SymbolKit UnifiedSymbolGraph+Encodable.swift
[55/59] Compiling SymbolKit UnifiedSymbolGraph.swift
[56/64] Wrapping AST for SymbolKit for debugging
[58/64] Compiling snippet_extract URL+Status.swift
[59/64] Compiling snippet_extract SymbolGraph+Snippet.swift
[60/64] Compiling snippet_extract SnippetBuildCommand.swift
[61/64] Emitting module snippet_extract
[62/65] Wrapping AST for snippet-extract for debugging
[63/65] Write Objects.LinkFileList
[64/65] Linking snippet-extract-tool
Build of product 'snippet-extract' complete! (7.50s)
Building for debugging...
[0/2] Write swift-version-24593BA9C3E375BF.txt
[2/87] Compiling Shimmers SAT Solver.swift
[3/87] Compiling Shimmers Scope - Building Gates.swift
[4/87] Compiling Shimmers Scope - Building Ports.swift
[5/87] Compiling Shimmers Scope - Condition.swift
[6/87] Compiling Shimmers Scope - Debugging.swift
[7/87] Compiling Shimmers Scope - Module Inst.swift
[8/87] Compiling Shimmers Scope - Prove Assert.swift
[9/87] Compiling Shimmers Scope - Prove Assume.swift
[10/87] Compiling Shimmers Scope - Prove Loop.swift
[11/87] Compiling Shimmers Scope.swift
[12/87] Compiling Shimmers Local.swift
[13/87] Compiling Shimmers Member.swift
[14/99] Compiling Shimmers InlineArrayRef - Access.swift
[15/99] Compiling Shimmers InlineArrayRef - Iteration.swift
[16/99] Compiling Shimmers InlineArrayRef - Literal.swift
[17/99] Compiling Shimmers InlineArrayRef.swift
[18/99] Compiling Shimmers BoolRef - Logics.swift
[19/99] Compiling Shimmers BoolRef.swift
[20/99] Compiling Shimmers Enum Raw Buffer.swift
[21/99] Compiling Shimmers Enum Wire Type.swift
[22/99] Compiling Shimmers IntRef - Comparison.swift
[23/99] Compiling Shimmers IntRef - Conversion.swift
[24/99] Compiling Shimmers IntRef - Literal.swift
[25/99] Compiling Shimmers IntRef - Magnitude.swift
[26/99] Compiling Shimmers IntRef - Math Add & Sub.swift
[27/99] Compiling Shimmers IntRef - Math Mul & Div.swift
[28/99] Compiling Shimmers IntRef.swift
[29/99] Compiling Shimmers IndexingItrRef.swift
[30/99] Compiling Shimmers OptionalRef Support.swift
[31/99] Compiling Shimmers OptionalRef.swift
[32/99] Compiling Shimmers Pattern Matching.swift
[33/99] Compiling Shimmers QueueRef.swift
[34/99] Compiling Shimmers RangeRef - Collection.swift
[35/99] Compiling Shimmers RangeRef.swift
[36/99] Compiling Shimmers Ternary.swift
[37/99] Compiling Shimmers Protocol Arithmetic.swift
[38/99] Emitting module Shimmers
[39/99] Compiling Shimmers CNF Builder.swift
[40/99] Compiling Shimmers Driver.swift
[41/99] Compiling Shimmers Graph Builder - DFF.swift
[42/99] Compiling Shimmers Graph Builder - Gates.swift
[43/99] Compiling Shimmers Graph Builder - Submodule.swift
[44/99] Compiling Shimmers Graph Builder.swift
[45/99] Compiling Shimmers Print Verilog.swift
[46/99] Compiling Shimmers Simplify.swift
[47/99] Compiling Shimmers Macros - Building.swift
[48/99] Compiling Shimmers Macros - Proof.swift
[49/99] Compiling Shimmers File Name Mangle.swift
[50/99] Compiling Shimmers Hashing.swift
[51/99] Compiling Shimmers Name Mangling.swift
[52/99] Compiling Shimmers Assertion Type.swift
[53/99] Compiling Shimmers Build Arith - Add.swift
[54/99] Compiling Shimmers Build Arith - Compare.swift
[55/99] Compiling Shimmers Build Arith - Div.swift
[56/99] Compiling Shimmers Build Arith - Mul.swift
[57/99] Compiling Shimmers Build Arith - Shift.swift
[58/99] Compiling Shimmers Build Misc.swift
[59/99] Compiling Shimmers Debug Info.swift
[60/99] Compiling Shimmers Debugging.swift
[61/99] Compiling Shimmers Detached Port Naming.swift
[62/99] Compiling Shimmers Module Gen.swift
[63/99] Compiling Shimmers Module Seq Wrapper.swift
[64/99] Compiling Shimmers Module.swift
[65/99] Compiling Shimmers BigInt - Bitwise.swift
[66/99] Compiling Shimmers BigInt - Comparison.swift
[67/99] Compiling Shimmers BigInt - Conversion & Literal.swift
[68/99] Compiling Shimmers BigInt - Math Add & Sub.swift
[69/99] Compiling Shimmers BigInt - Math Mul & Div.swift
[70/99] Compiling Shimmers BigInt.swift
[71/99] Compiling Shimmers Bool.swift
[72/99] Compiling Shimmers Enum Runtime Support.swift
[73/99] Compiling Shimmers IndexingItr.swift
[74/99] Compiling Shimmers InlineArray.swift
[75/99] Compiling Shimmers IntN - Operations.swift
[76/99] Compiling Shimmers IntN.swift
[77/99] Compiling Shimmers Standard Integer Runtime.swift
[78/99] Compiling Shimmers UIntN - Operations.swift
[79/99] Compiling Shimmers UIntN.swift
[80/99] Compiling Shimmers Optional.swift
[81/99] Compiling Shimmers Queue.swift
[82/99] Compiling Shimmers Range.swift
[83/99] Compiling Shimmers Wire - Logic.swift
[84/99] Compiling Shimmers Wire - Traversal.swift
[85/99] Compiling Shimmers Wire.swift
[86/99] Compiling Shimmers Assertion Set.swift
[87/99] Compiling Shimmers Assertion Type Message.swift
[88/99] Compiling Shimmers Protocol BinaryInteger.swift
[89/99] Compiling Shimmers Protocol Collection.swift
[90/99] Compiling Shimmers Protocol Equatable & Comparable.swift
[91/99] Compiling Shimmers Protocol FixedWidthInteger.swift
[92/99] Compiling Shimmers Protocol Iterator & Sequence.swift
[93/99] Compiling Shimmers Protocol Numeric.swift
[94/99] Compiling Shimmers Protocol Range.swift
[95/99] Compiling Shimmers Protocol Sign Integer.swift
[96/99] Compiling Shimmers Protocol Stridable.swift
[97/99] Compiling Shimmers WireRef - Logic.swift
[98/99] Compiling Shimmers WireRef - Traverse.swift
[99/99] Compiling Shimmers WireRef.swift
Build of target: 'Shimmers' complete! (7.58s)
Target: ShimmersCLIWrapper
Extracting symbol information for 'ShimmersCLIWrapper'...
Finished extracting symbol information for 'ShimmersCLIWrapper'. (7.35s)
Building documentation for 'ShimmersCLIWrapper'...
Finished building documentation for 'ShimmersCLIWrapper' (0.50s)
Generated documentation archive at:
/host/spi-builder-workspace/.docs/yliu-hashed/shimmers-hdl/v0.2.0-alpha
Building for debugging...
[0/2] Write swift-version-24593BA9C3E375BF.txt
Build of product 'snippet-extract' complete! (1.68s)
Building for debugging...
[0/2] Write swift-version-24593BA9C3E375BF.txt
[2/3] Emitting module ArgumentParserToolInfo
[3/3] Compiling ArgumentParserToolInfo ToolInfo.swift
[5/50] Emitting module ArgumentParser
[6/56] Compiling ArgumentParser InputOrigin.swift
[7/56] Compiling ArgumentParser Name.swift
[8/56] Compiling ArgumentParser Parsed.swift
[9/56] Compiling ArgumentParser ParsedValues.swift
[10/56] Compiling ArgumentParser ParserError.swift
[11/56] Compiling ArgumentParser SplitArguments.swift
[12/56] Compiling ArgumentParser Tree.swift
[13/56] Compiling ArgumentParser CodingKeyValidator.swift
[14/56] Compiling ArgumentParser NonsenseFlagsValidator.swift
[15/56] Compiling ArgumentParser ParsableArgumentsValidation.swift
[16/56] Compiling ArgumentParser PositionalArgumentsValidator.swift
[17/56] Compiling ArgumentParser UniqueNamesValidator.swift
[18/56] Compiling ArgumentParser BashCompletionsGenerator.swift
[19/56] Compiling ArgumentParser CompletionsGenerator.swift
[20/56] Compiling ArgumentParser FishCompletionsGenerator.swift
[21/56] Compiling ArgumentParser ZshCompletionsGenerator.swift
[22/56] Compiling ArgumentParser Argument.swift
[23/56] Compiling ArgumentParser ArgumentDiscussion.swift
[24/56] Compiling ArgumentParser ArgumentHelp.swift
[25/56] Compiling ArgumentParser ArgumentVisibility.swift
[26/56] Compiling ArgumentParser CompletionKind.swift
[27/56] Compiling ArgumentParser Errors.swift
[28/56] Compiling ArgumentParser Flag.swift
[29/56] Compiling ArgumentParser NameSpecification.swift
[30/56] Compiling ArgumentParser Option.swift
[31/56] Compiling ArgumentParser OptionGroup.swift
[32/56] Compiling ArgumentParser ParentCommand.swift
[33/56] Compiling ArgumentParser AsyncParsableCommand.swift
[34/56] Compiling ArgumentParser CommandConfiguration.swift
[35/56] Compiling ArgumentParser CommandGroup.swift
[36/56] Compiling ArgumentParser EnumerableFlag.swift
[37/56] Compiling ArgumentParser ExpressibleByArgument.swift
[38/56] Compiling ArgumentParser ParsableArguments.swift
[39/56] Compiling ArgumentParser Foundation.swift
[40/56] Compiling ArgumentParser Mutex.swift
[41/56] Compiling ArgumentParser Platform.swift
[42/56] Compiling ArgumentParser SequenceExtensions.swift
[43/56] Compiling ArgumentParser StringExtensions.swift
[44/56] Compiling ArgumentParser SwiftExtensions.swift
[45/56] Compiling ArgumentParser DumpHelpGenerator.swift
[46/56] Compiling ArgumentParser HelpCommand.swift
[47/56] Compiling ArgumentParser HelpGenerator.swift
[48/56] Compiling ArgumentParser MessageInfo.swift
[49/56] Compiling ArgumentParser UsageGenerator.swift
[50/56] Compiling ArgumentParser CollectionExtensions.swift
[51/56] Compiling ArgumentParser ParsableCommand.swift
[52/56] Compiling ArgumentParser ArgumentDecoder.swift
[53/56] Compiling ArgumentParser ArgumentDefinition.swift
[54/56] Compiling ArgumentParser ArgumentSet.swift
[55/56] Compiling ArgumentParser CommandParser.swift
[56/56] Compiling ArgumentParser InputKey.swift
[58/62] Emitting module ShimmersCLIWrapper
[59/62] Compiling ShimmersCLIWrapper Assertion Type.swift
[60/62] Compiling ShimmersCLIWrapper Printing.swift
[61/62] Compiling ShimmersCLIWrapper Module Name.swift
[62/62] Compiling ShimmersCLIWrapper ShimmersCLI.swift
Build of target: 'ShimmersCLIWrapper' complete! (7.24s)
Successfully merged into /host/spi-builder-workspace/.docs-staging/yliu-hashed/shimmers-hdl/v0.2.0-alpha/index/index.json
Successfully merged into /host/spi-builder-workspace/.docs-staging/yliu-hashed/shimmers-hdl/v0.2.0-alpha/linkable-paths.json
2258
18 /host/spi-builder-workspace/.docs/yliu-hashed/shimmers-hdl/v0.2.0-alpha
✅ Doc result (uploading) reported
========================================
SyncDocs
========================================
Doc archive source directory: $PWD/.docs/yliu-hashed/shimmers-hdl/v0.2.0-alpha
File count: 2258
Doc size: 18.0MB
Preparing doc bundle ...
Uploading prod-yliu-hashed-shimmers-hdl-v0.2.0-alpha-faea696a.zip to s3://spi-docs-inbox/prod-yliu-hashed-shimmers-hdl-v0.2.0-alpha-faea696a.zip
Copying... [11%]
Copying... [22%]
Copying... [31%]
Copying... [41%]
Copying... [50%]
Copying... [61%]
Copying... [70%]
Copying... [81%]
Copying... [92%]
Copying... [100%]
Done.