|
96 | 96 | 380A4B311F1BF83B002D70E0 /* SemiringTests.generated.swift in Sources */ = {isa = PBXBuildFile; fileRef = 380A4B301F1BF83B002D70E0 /* SemiringTests.generated.swift */; }; |
97 | 97 | 380A4B321F1BF83B002D70E0 /* SemiringTests.generated.swift in Sources */ = {isa = PBXBuildFile; fileRef = 380A4B301F1BF83B002D70E0 /* SemiringTests.generated.swift */; }; |
98 | 98 | 380A4B331F1BF83B002D70E0 /* SemiringTests.generated.swift in Sources */ = {isa = PBXBuildFile; fileRef = 380A4B301F1BF83B002D70E0 /* SemiringTests.generated.swift */; }; |
99 | | - 38273AD51F248569000AB0C8 /* CustomArbitraryTypes.swift in Sources */ = {isa = PBXBuildFile; fileRef = 38273AD41F248569000AB0C8 /* CustomArbitraryTypes.swift */; }; |
100 | | - 38273AD61F248569000AB0C8 /* CustomArbitraryTypes.swift in Sources */ = {isa = PBXBuildFile; fileRef = 38273AD41F248569000AB0C8 /* CustomArbitraryTypes.swift */; }; |
101 | | - 38273AD71F248569000AB0C8 /* CustomArbitraryTypes.swift in Sources */ = {isa = PBXBuildFile; fileRef = 38273AD41F248569000AB0C8 /* CustomArbitraryTypes.swift */; }; |
102 | | - 38273AD91F2485FB000AB0C8 /* Arbitrary.generated.swift in Sources */ = {isa = PBXBuildFile; fileRef = 38273AD81F2485FB000AB0C8 /* Arbitrary.generated.swift */; }; |
103 | | - 38273ADA1F2485FB000AB0C8 /* Arbitrary.generated.swift in Sources */ = {isa = PBXBuildFile; fileRef = 38273AD81F2485FB000AB0C8 /* Arbitrary.generated.swift */; }; |
104 | | - 38273ADB1F2485FB000AB0C8 /* Arbitrary.generated.swift in Sources */ = {isa = PBXBuildFile; fileRef = 38273AD81F2485FB000AB0C8 /* Arbitrary.generated.swift */; }; |
105 | 99 | 38A14E4F1F2A2D9C00A2900C /* Abstract.framework in Frameworks */ = {isa = PBXBuildFile; fileRef = 0950FF011EFC5C7900513DF7 /* Abstract.framework */; }; |
106 | 100 | 38A14E501F2A2DAB00A2900C /* SwiftCheck.framework in CopyFiles */ = {isa = PBXBuildFile; fileRef = 0951F2421F09690200EA362C /* SwiftCheck.framework */; settings = {ATTRIBUTES = (CodeSignOnCopy, RemoveHeadersOnCopy, ); }; }; |
107 | 101 | 38A14E521F2A2DC300A2900C /* SwiftCheck.framework in CopyFiles */ = {isa = PBXBuildFile; fileRef = 0951F2441F09690200EA362C /* SwiftCheck.framework */; settings = {ATTRIBUTES = (CodeSignOnCopy, RemoveHeadersOnCopy, ); }; }; |
|
177 | 171 | 380A4B241F1BF5AC002D70E0 /* CommutativeMonoidTests.generated.swift */ = {isa = PBXFileReference; lastKnownFileType = sourcecode.swift; path = CommutativeMonoidTests.generated.swift; sourceTree = "<group>"; }; |
178 | 172 | 380A4B291F1BF66B002D70E0 /* BoundedSemilatticeTests.generated.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = BoundedSemilatticeTests.generated.swift; sourceTree = "<group>"; }; |
179 | 173 | 380A4B301F1BF83B002D70E0 /* SemiringTests.generated.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = SemiringTests.generated.swift; sourceTree = "<group>"; }; |
180 | | - 38273AD41F248569000AB0C8 /* CustomArbitraryTypes.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = CustomArbitraryTypes.swift; sourceTree = "<group>"; }; |
181 | | - 38273AD81F2485FB000AB0C8 /* Arbitrary.generated.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = Arbitrary.generated.swift; sourceTree = "<group>"; }; |
182 | 174 | 3853BF9D1EF11D7400791099 /* Wrapper.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = Wrapper.swift; sourceTree = "<group>"; }; |
183 | 175 | 3853BF9F1EF1294400791099 /* Semiring.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = Semiring.swift; sourceTree = "<group>"; }; |
184 | 176 | 38757E101F4D85AB0059AD71 /* Templates */ = {isa = PBXFileReference; lastKnownFileType = folder; path = Templates; sourceTree = "<group>"; }; |
| 177 | + 387A1DBF1F7909A000928A8C /* Arbitrary.generated.swift */ = {isa = PBXFileReference; lastKnownFileType = sourcecode.swift; path = Arbitrary.generated.swift; sourceTree = "<group>"; }; |
| 178 | + 387A1DC01F7909A000928A8C /* CustomArbitraryTypes.swift */ = {isa = PBXFileReference; lastKnownFileType = sourcecode.swift; path = CustomArbitraryTypes.swift; sourceTree = "<group>"; }; |
185 | 179 | 38943A681EEC25AE00F587AD /* HomomorphismTests.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = HomomorphismTests.swift; sourceTree = "<group>"; }; |
186 | 180 | 38943A761EEC31DA00F587AD /* Adapters.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = Adapters.swift; sourceTree = "<group>"; }; |
187 | 181 | 38943A781EEC4EFF00F587AD /* Monoid.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = Monoid.swift; sourceTree = "<group>"; }; |
|
280 | 274 | path = Abstract; |
281 | 275 | sourceTree = "<group>"; |
282 | 276 | }; |
283 | | - 38273AD31F248569000AB0C8 /* Utility */ = { |
| 277 | + 387A1DBE1F7909A000928A8C /* Utility */ = { |
284 | 278 | isa = PBXGroup; |
285 | 279 | children = ( |
286 | | - 38273AD81F2485FB000AB0C8 /* Arbitrary.generated.swift */, |
287 | | - 38273AD41F248569000AB0C8 /* CustomArbitraryTypes.swift */, |
| 280 | + 387A1DBF1F7909A000928A8C /* Arbitrary.generated.swift */, |
| 281 | + 387A1DC01F7909A000928A8C /* CustomArbitraryTypes.swift */, |
288 | 282 | ); |
289 | 283 | path = Utility; |
290 | 284 | sourceTree = "<group>"; |
|
339 | 333 | children = ( |
340 | 334 | 38D737C11EE9A711000BAF0C /* LinuxMain.swift */, |
341 | 335 | 38D737BF1EE9A711000BAF0C /* AbstractTests */, |
342 | | - 38273AD31F248569000AB0C8 /* Utility */, |
343 | 336 | ); |
344 | 337 | path = Tests; |
345 | 338 | sourceTree = "<group>"; |
346 | 339 | }; |
347 | 340 | 38D737BF1EE9A711000BAF0C /* AbstractTests */ = { |
348 | 341 | isa = PBXGroup; |
349 | 342 | children = ( |
| 343 | + 387A1DBE1F7909A000928A8C /* Utility */, |
350 | 344 | 380A4B291F1BF66B002D70E0 /* BoundedSemilatticeTests.generated.swift */, |
351 | 345 | 380A4B241F1BF5AC002D70E0 /* CommutativeMonoidTests.generated.swift */, |
352 | 346 | 38943A681EEC25AE00F587AD /* HomomorphismTests.swift */, |
|
677 | 671 | isa = PBXSourcesBuildPhase; |
678 | 672 | buildActionMask = 2147483647; |
679 | 673 | files = ( |
680 | | - 38273AD61F248569000AB0C8 /* CustomArbitraryTypes.swift in Sources */, |
681 | | - 38273ADA1F2485FB000AB0C8 /* Arbitrary.generated.swift in Sources */, |
682 | 674 | 380A4B321F1BF83B002D70E0 /* SemiringTests.generated.swift in Sources */, |
683 | 675 | 380A4B211F1BE383002D70E0 /* MonoidTests.generated.swift in Sources */, |
684 | 676 | 380A4B1B1F1B775F002D70E0 /* WrapperTests.generated.swift in Sources */, |
|
716 | 708 | isa = PBXSourcesBuildPhase; |
717 | 709 | buildActionMask = 2147483647; |
718 | 710 | files = ( |
719 | | - 38273AD71F248569000AB0C8 /* CustomArbitraryTypes.swift in Sources */, |
720 | | - 38273ADB1F2485FB000AB0C8 /* Arbitrary.generated.swift in Sources */, |
721 | 711 | 380A4B331F1BF83B002D70E0 /* SemiringTests.generated.swift in Sources */, |
722 | 712 | 380A4B221F1BE383002D70E0 /* MonoidTests.generated.swift in Sources */, |
723 | 713 | 380A4B1C1F1B775F002D70E0 /* WrapperTests.generated.swift in Sources */, |
|
777 | 767 | isa = PBXSourcesBuildPhase; |
778 | 768 | buildActionMask = 2147483647; |
779 | 769 | files = ( |
780 | | - 38273AD51F248569000AB0C8 /* CustomArbitraryTypes.swift in Sources */, |
781 | | - 38273AD91F2485FB000AB0C8 /* Arbitrary.generated.swift in Sources */, |
782 | 770 | 380A4B311F1BF83B002D70E0 /* SemiringTests.generated.swift in Sources */, |
783 | 771 | 380A4B201F1BE383002D70E0 /* MonoidTests.generated.swift in Sources */, |
784 | 772 | 380A4B1A1F1B775F002D70E0 /* WrapperTests.generated.swift in Sources */, |
|
0 commit comments