|
7 | 7 | objects = { |
8 | 8 |
|
9 | 9 | /* Begin PBXBuildFile section */ |
| 10 | + 8410224B1B1A9F9E00E799A0 /* SwiftCheck.framework in Frameworks */ = {isa = PBXBuildFile; fileRef = 84A53E011B1A9F1900E8A107 /* SwiftCheck.framework */; }; |
| 11 | + 8410224F1B1A9FAC00E799A0 /* SwiftCheck.framework in Frameworks */ = {isa = PBXBuildFile; fileRef = 84A53DFD1B1A9F1900E8A107 /* SwiftCheck.framework */; }; |
| 12 | + 841022501B1A9FBE00E799A0 /* SwiftCheck.framework in CopyFiles */ = {isa = PBXBuildFile; fileRef = 84A53DFD1B1A9F1900E8A107 /* SwiftCheck.framework */; settings = {ATTRIBUTES = (CodeSignOnCopy, RemoveHeadersOnCopy, ); }; }; |
| 13 | + 841022511B1A9FD100E799A0 /* Swiftz.framework in CopyFiles */ = {isa = PBXBuildFile; fileRef = 84A53DD21B1A964400E8A107 /* Swiftz.framework */; settings = {ATTRIBUTES = (CodeSignOnCopy, RemoveHeadersOnCopy, ); }; }; |
| 14 | + 841022551B1AA00D00E799A0 /* MVarSpec.swift in Sources */ = {isa = PBXBuildFile; fileRef = 841022531B1AA00D00E799A0 /* MVarSpec.swift */; }; |
10 | 15 | 84152B7A1A818C95006387D5 /* SVar.swift in Sources */ = {isa = PBXBuildFile; fileRef = 84152B791A818C95006387D5 /* SVar.swift */; }; |
11 | 16 | 84152BF81A819EFE006387D5 /* STM.swift in Sources */ = {isa = PBXBuildFile; fileRef = 84152BF01A819EFE006387D5 /* STM.swift */; }; |
12 | 17 | 84152BF91A819EFE006387D5 /* TBQueue.swift in Sources */ = {isa = PBXBuildFile; fileRef = 84152BF11A819EFE006387D5 /* TBQueue.swift */; }; |
13 | 18 | 84152BFA1A819EFE006387D5 /* TChan.swift in Sources */ = {isa = PBXBuildFile; fileRef = 84152BF21A819EFE006387D5 /* TChan.swift */; }; |
14 | 19 | 84152BFB1A819EFE006387D5 /* TMVar.swift in Sources */ = {isa = PBXBuildFile; fileRef = 84152BF31A819EFE006387D5 /* TMVar.swift */; }; |
15 | 20 | 84152BFC1A819EFE006387D5 /* TQueue.swift in Sources */ = {isa = PBXBuildFile; fileRef = 84152BF41A819EFE006387D5 /* TQueue.swift */; }; |
16 | | - 84152BFD1A819EFE006387D5 /* Transactions.swift in Sources */ = {isa = PBXBuildFile; fileRef = 84152BF51A819EFE006387D5 /* Transactions.swift */; }; |
17 | 21 | 84152BFE1A819EFE006387D5 /* TSem.swift in Sources */ = {isa = PBXBuildFile; fileRef = 84152BF61A819EFE006387D5 /* TSem.swift */; }; |
18 | 22 | 84152BFF1A819EFE006387D5 /* TVar.swift in Sources */ = {isa = PBXBuildFile; fileRef = 84152BF71A819EFE006387D5 /* TVar.swift */; }; |
19 | 23 | 8434F98619E9CD76008D9909 /* Concurrent.h in Headers */ = {isa = PBXBuildFile; fileRef = 8434F98519E9CD76008D9909 /* Concurrent.h */; settings = {ATTRIBUTES = (Public, ); }; }; |
|
47 | 51 | 84A53D621B1A8F7000E8A107 /* TChan.swift in Sources */ = {isa = PBXBuildFile; fileRef = 84152BF21A819EFE006387D5 /* TChan.swift */; }; |
48 | 52 | 84A53D631B1A8F7000E8A107 /* TMVar.swift in Sources */ = {isa = PBXBuildFile; fileRef = 84152BF31A819EFE006387D5 /* TMVar.swift */; }; |
49 | 53 | 84A53D641B1A8F7000E8A107 /* TQueue.swift in Sources */ = {isa = PBXBuildFile; fileRef = 84152BF41A819EFE006387D5 /* TQueue.swift */; }; |
50 | | - 84A53D651B1A8F7000E8A107 /* Transactions.swift in Sources */ = {isa = PBXBuildFile; fileRef = 84152BF51A819EFE006387D5 /* Transactions.swift */; }; |
51 | 54 | 84A53D661B1A8F7000E8A107 /* TSem.swift in Sources */ = {isa = PBXBuildFile; fileRef = 84152BF61A819EFE006387D5 /* TSem.swift */; }; |
52 | 55 | 84A53D671B1A8F7000E8A107 /* TVar.swift in Sources */ = {isa = PBXBuildFile; fileRef = 84152BF71A819EFE006387D5 /* TVar.swift */; }; |
53 | 56 | 84A53D681B1A8F7000E8A107 /* CONCRealWorld.m in Sources */ = {isa = PBXBuildFile; fileRef = 8434F99F19E9CDC0008D9909 /* CONCRealWorld.m */; }; |
|
61 | 64 | 84A53DE01B1A966E00E8A107 /* CONCRealWorld.h in Headers */ = {isa = PBXBuildFile; fileRef = 8434F99E19E9CDC0008D9909 /* CONCRealWorld.h */; settings = {ATTRIBUTES = (Public, ); }; }; |
62 | 65 | 84A53DE11B1A966E00E8A107 /* Concurrent-ObjCBridge.h in Headers */ = {isa = PBXBuildFile; fileRef = 8434F9A019E9CDC0008D9909 /* Concurrent-ObjCBridge.h */; }; |
63 | 66 | 84A53DED1B1A9C6400E8A107 /* Swiftz.framework in CopyFiles */ = {isa = PBXBuildFile; fileRef = 84A53DD61B1A964400E8A107 /* Swiftz.framework */; settings = {ATTRIBUTES = (CodeSignOnCopy, RemoveHeadersOnCopy, ); }; }; |
| 67 | + 84A53E081B1A9F2C00E8A107 /* SwiftCheck.framework in CopyFiles */ = {isa = PBXBuildFile; fileRef = 84A53E011B1A9F1900E8A107 /* SwiftCheck.framework */; settings = {ATTRIBUTES = (CodeSignOnCopy, RemoveHeadersOnCopy, ); }; }; |
| 68 | + 84F467831B1B9244002A4C4C /* ChanSpec.swift in Sources */ = {isa = PBXBuildFile; fileRef = 84F467811B1B9244002A4C4C /* ChanSpec.swift */; }; |
64 | 69 | 84FE01E91A881FE6006D3EEA /* STMSpec.swift in Sources */ = {isa = PBXBuildFile; fileRef = 84FE01E81A881FE6006D3EEA /* STMSpec.swift */; }; |
65 | 70 | /* End PBXBuildFile section */ |
66 | 71 |
|
67 | 72 | /* Begin PBXContainerItemProxy section */ |
| 73 | + 841022491B1A9F8E00E799A0 /* PBXContainerItemProxy */ = { |
| 74 | + isa = PBXContainerItemProxy; |
| 75 | + containerPortal = 84A53DF51B1A9F1800E8A107 /* SwiftCheck.xcodeproj */; |
| 76 | + proxyType = 1; |
| 77 | + remoteGlobalIDString = 84DF75F71B0BD54600C912B0; |
| 78 | + remoteInfo = "SwiftCheck-iOS"; |
| 79 | + }; |
| 80 | + 8410224C1B1A9FA300E799A0 /* PBXContainerItemProxy */ = { |
| 81 | + isa = PBXContainerItemProxy; |
| 82 | + containerPortal = 84A53DF51B1A9F1800E8A107 /* SwiftCheck.xcodeproj */; |
| 83 | + proxyType = 1; |
| 84 | + remoteGlobalIDString = 844FCC8C198B320500EB242A; |
| 85 | + remoteInfo = SwiftCheck; |
| 86 | + }; |
68 | 87 | 8434F98D19E9CD76008D9909 /* PBXContainerItemProxy */ = { |
69 | 88 | isa = PBXContainerItemProxy; |
70 | 89 | containerPortal = 8434F97719E9CD76008D9909 /* Project object */; |
|
121 | 140 | remoteGlobalIDString = 84DF751D1B0BD17700C912B0; |
122 | 141 | remoteInfo = "Swiftz-iOS"; |
123 | 142 | }; |
| 143 | + 84A53DFC1B1A9F1900E8A107 /* PBXContainerItemProxy */ = { |
| 144 | + isa = PBXContainerItemProxy; |
| 145 | + containerPortal = 84A53DF51B1A9F1800E8A107 /* SwiftCheck.xcodeproj */; |
| 146 | + proxyType = 2; |
| 147 | + remoteGlobalIDString = 844FCC8D198B320500EB242A; |
| 148 | + remoteInfo = SwiftCheck; |
| 149 | + }; |
| 150 | + 84A53DFE1B1A9F1900E8A107 /* PBXContainerItemProxy */ = { |
| 151 | + isa = PBXContainerItemProxy; |
| 152 | + containerPortal = 84A53DF51B1A9F1800E8A107 /* SwiftCheck.xcodeproj */; |
| 153 | + proxyType = 2; |
| 154 | + remoteGlobalIDString = 844FCC98198B320500EB242A; |
| 155 | + remoteInfo = SwiftCheckTests; |
| 156 | + }; |
| 157 | + 84A53E001B1A9F1900E8A107 /* PBXContainerItemProxy */ = { |
| 158 | + isa = PBXContainerItemProxy; |
| 159 | + containerPortal = 84A53DF51B1A9F1800E8A107 /* SwiftCheck.xcodeproj */; |
| 160 | + proxyType = 2; |
| 161 | + remoteGlobalIDString = 84DF75F81B0BD54600C912B0; |
| 162 | + remoteInfo = "SwiftCheck-iOS"; |
| 163 | + }; |
| 164 | + 84A53E021B1A9F1900E8A107 /* PBXContainerItemProxy */ = { |
| 165 | + isa = PBXContainerItemProxy; |
| 166 | + containerPortal = 84A53DF51B1A9F1800E8A107 /* SwiftCheck.xcodeproj */; |
| 167 | + proxyType = 2; |
| 168 | + remoteGlobalIDString = 84DF76021B0BD54600C912B0; |
| 169 | + remoteInfo = "SwiftCheck-iOSTests"; |
| 170 | + }; |
124 | 171 | /* End PBXContainerItemProxy section */ |
125 | 172 |
|
126 | 173 | /* Begin PBXCopyFilesBuildPhase section */ |
|
130 | 177 | dstPath = ""; |
131 | 178 | dstSubfolderSpec = 10; |
132 | 179 | files = ( |
| 180 | + 841022511B1A9FD100E799A0 /* Swiftz.framework in CopyFiles */, |
| 181 | + 841022501B1A9FBE00E799A0 /* SwiftCheck.framework in CopyFiles */, |
133 | 182 | 849AA3AF1A09850400472F08 /* Concurrent.framework in CopyFiles */, |
134 | 183 | ); |
135 | 184 | runOnlyForDeploymentPostprocessing = 0; |
|
140 | 189 | dstPath = ""; |
141 | 190 | dstSubfolderSpec = 10; |
142 | 191 | files = ( |
| 192 | + 84A53E081B1A9F2C00E8A107 /* SwiftCheck.framework in CopyFiles */, |
143 | 193 | 84A53DED1B1A9C6400E8A107 /* Swiftz.framework in CopyFiles */, |
144 | 194 | 84A53D6B1B1A8F8B00E8A107 /* Concurrent.framework in CopyFiles */, |
145 | 195 | ); |
|
148 | 198 | /* End PBXCopyFilesBuildPhase section */ |
149 | 199 |
|
150 | 200 | /* Begin PBXFileReference section */ |
| 201 | + 841022531B1AA00D00E799A0 /* MVarSpec.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = MVarSpec.swift; sourceTree = "<group>"; }; |
151 | 202 | 84152B791A818C95006387D5 /* SVar.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = SVar.swift; sourceTree = "<group>"; }; |
152 | 203 | 84152BF01A819EFE006387D5 /* STM.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = STM.swift; sourceTree = "<group>"; }; |
153 | 204 | 84152BF11A819EFE006387D5 /* TBQueue.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = TBQueue.swift; sourceTree = "<group>"; }; |
154 | 205 | 84152BF21A819EFE006387D5 /* TChan.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = TChan.swift; sourceTree = "<group>"; }; |
155 | 206 | 84152BF31A819EFE006387D5 /* TMVar.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = TMVar.swift; sourceTree = "<group>"; }; |
156 | 207 | 84152BF41A819EFE006387D5 /* TQueue.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = TQueue.swift; sourceTree = "<group>"; }; |
157 | | - 84152BF51A819EFE006387D5 /* Transactions.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = Transactions.swift; sourceTree = "<group>"; }; |
158 | 208 | 84152BF61A819EFE006387D5 /* TSem.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = TSem.swift; sourceTree = "<group>"; }; |
159 | 209 | 84152BF71A819EFE006387D5 /* TVar.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = TVar.swift; sourceTree = "<group>"; }; |
160 | 210 | 8434F98019E9CD76008D9909 /* Concurrent.framework */ = {isa = PBXFileReference; explicitFileType = wrapper.framework; includeInIndex = 0; path = Concurrent.framework; sourceTree = BUILT_PRODUCTS_DIR; }; |
|
178 | 228 | 84A53D3A1B1A8F1800E8A107 /* Concurrent.framework */ = {isa = PBXFileReference; explicitFileType = wrapper.framework; includeInIndex = 0; path = Concurrent.framework; sourceTree = BUILT_PRODUCTS_DIR; }; |
179 | 229 | 84A53D441B1A8F1800E8A107 /* Concurrent-iOSTests.xctest */ = {isa = PBXFileReference; explicitFileType = wrapper.cfbundle; includeInIndex = 0; path = "Concurrent-iOSTests.xctest"; sourceTree = BUILT_PRODUCTS_DIR; }; |
180 | 230 | 84A53DC91B1A964300E8A107 /* Swiftz.xcodeproj */ = {isa = PBXFileReference; lastKnownFileType = "wrapper.pb-project"; name = Swiftz.xcodeproj; path = Carthage/Checkouts/Swiftz/Swiftz.xcodeproj; sourceTree = "<group>"; }; |
| 231 | + 84A53DF51B1A9F1800E8A107 /* SwiftCheck.xcodeproj */ = {isa = PBXFileReference; lastKnownFileType = "wrapper.pb-project"; name = SwiftCheck.xcodeproj; path = Carthage/Checkouts/SwiftCheck/SwiftCheck.xcodeproj; sourceTree = SOURCE_ROOT; }; |
| 232 | + 84F467811B1B9244002A4C4C /* ChanSpec.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = ChanSpec.swift; sourceTree = "<group>"; }; |
181 | 233 | 84FE01E81A881FE6006D3EEA /* STMSpec.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = STMSpec.swift; sourceTree = "<group>"; }; |
182 | 234 | /* End PBXFileReference section */ |
183 | 235 |
|
|
194 | 246 | isa = PBXFrameworksBuildPhase; |
195 | 247 | buildActionMask = 2147483647; |
196 | 248 | files = ( |
| 249 | + 8410224F1B1A9FAC00E799A0 /* SwiftCheck.framework in Frameworks */, |
197 | 250 | 8434F98C19E9CD76008D9909 /* Concurrent.framework in Frameworks */, |
198 | 251 | ); |
199 | 252 | runOnlyForDeploymentPostprocessing = 0; |
|
211 | 264 | buildActionMask = 2147483647; |
212 | 265 | files = ( |
213 | 266 | 84A53D451B1A8F1800E8A107 /* Concurrent.framework in Frameworks */, |
| 267 | + 8410224B1B1A9F9E00E799A0 /* SwiftCheck.framework in Frameworks */, |
214 | 268 | ); |
215 | 269 | runOnlyForDeploymentPostprocessing = 0; |
216 | 270 | }; |
|
225 | 279 | 84152BF21A819EFE006387D5 /* TChan.swift */, |
226 | 280 | 84152BF31A819EFE006387D5 /* TMVar.swift */, |
227 | 281 | 84152BF41A819EFE006387D5 /* TQueue.swift */, |
228 | | - 84152BF51A819EFE006387D5 /* Transactions.swift */, |
229 | 282 | 84152BF61A819EFE006387D5 /* TSem.swift */, |
230 | 283 | 84152BF71A819EFE006387D5 /* TVar.swift */, |
231 | 284 | ); |
|
287 | 340 | isa = PBXGroup; |
288 | 341 | children = ( |
289 | 342 | 8434F9D319E9CE28008D9909 /* ConcurrentTests.swift */, |
| 343 | + 84F467811B1B9244002A4C4C /* ChanSpec.swift */, |
| 344 | + 841022531B1AA00D00E799A0 /* MVarSpec.swift */, |
290 | 345 | 84FE01E81A881FE6006D3EEA /* STMSpec.swift */, |
291 | 346 | 8434F9CF19E9CE1D008D9909 /* PiCalculus.swift */, |
292 | 347 | 8434F99019E9CD76008D9909 /* Supporting Files */, |
|
297 | 352 | 8434F99019E9CD76008D9909 /* Supporting Files */ = { |
298 | 353 | isa = PBXGroup; |
299 | 354 | children = ( |
| 355 | + 84A53DF51B1A9F1800E8A107 /* SwiftCheck.xcodeproj */, |
300 | 356 | 8434F9D119E9CE24008D9909 /* Info.plist */, |
301 | 357 | ); |
302 | 358 | name = "Supporting Files"; |
|
313 | 369 | name = Products; |
314 | 370 | sourceTree = "<group>"; |
315 | 371 | }; |
| 372 | + 84A53DF61B1A9F1800E8A107 /* Products */ = { |
| 373 | + isa = PBXGroup; |
| 374 | + children = ( |
| 375 | + 84A53DFD1B1A9F1900E8A107 /* SwiftCheck.framework */, |
| 376 | + 84A53DFF1B1A9F1900E8A107 /* SwiftCheckTests.xctest */, |
| 377 | + 84A53E011B1A9F1900E8A107 /* SwiftCheck.framework */, |
| 378 | + 84A53E031B1A9F1900E8A107 /* SwiftCheck-iOSTests.xctest */, |
| 379 | + ); |
| 380 | + name = Products; |
| 381 | + sourceTree = "<group>"; |
| 382 | + }; |
316 | 383 | /* End PBXGroup section */ |
317 | 384 |
|
318 | 385 | /* Begin PBXHeadersBuildPhase section */ |
|
370 | 437 | buildRules = ( |
371 | 438 | ); |
372 | 439 | dependencies = ( |
| 440 | + 8410224D1B1A9FA300E799A0 /* PBXTargetDependency */, |
373 | 441 | 8434F98E19E9CD76008D9909 /* PBXTargetDependency */, |
374 | 442 | ); |
375 | 443 | name = ConcurrentTests; |
|
408 | 476 | buildRules = ( |
409 | 477 | ); |
410 | 478 | dependencies = ( |
| 479 | + 8410224A1B1A9F8E00E799A0 /* PBXTargetDependency */, |
411 | 480 | 84A53D471B1A8F1800E8A107 /* PBXTargetDependency */, |
412 | 481 | ); |
413 | 482 | name = "Concurrent-iOSTests"; |
|
449 | 518 | productRefGroup = 8434F98119E9CD76008D9909 /* Products */; |
450 | 519 | projectDirPath = ""; |
451 | 520 | projectReferences = ( |
| 521 | + { |
| 522 | + ProductGroup = 84A53DF61B1A9F1800E8A107 /* Products */; |
| 523 | + ProjectRef = 84A53DF51B1A9F1800E8A107 /* SwiftCheck.xcodeproj */; |
| 524 | + }, |
452 | 525 | { |
453 | 526 | ProductGroup = 84A53DCA1B1A964300E8A107 /* Products */; |
454 | 527 | ProjectRef = 84A53DC91B1A964300E8A107 /* Swiftz.xcodeproj */; |
|
493 | 566 | remoteRef = 84A53DD71B1A964400E8A107 /* PBXContainerItemProxy */; |
494 | 567 | sourceTree = BUILT_PRODUCTS_DIR; |
495 | 568 | }; |
| 569 | + 84A53DFD1B1A9F1900E8A107 /* SwiftCheck.framework */ = { |
| 570 | + isa = PBXReferenceProxy; |
| 571 | + fileType = wrapper.framework; |
| 572 | + path = SwiftCheck.framework; |
| 573 | + remoteRef = 84A53DFC1B1A9F1900E8A107 /* PBXContainerItemProxy */; |
| 574 | + sourceTree = BUILT_PRODUCTS_DIR; |
| 575 | + }; |
| 576 | + 84A53DFF1B1A9F1900E8A107 /* SwiftCheckTests.xctest */ = { |
| 577 | + isa = PBXReferenceProxy; |
| 578 | + fileType = wrapper.cfbundle; |
| 579 | + path = SwiftCheckTests.xctest; |
| 580 | + remoteRef = 84A53DFE1B1A9F1900E8A107 /* PBXContainerItemProxy */; |
| 581 | + sourceTree = BUILT_PRODUCTS_DIR; |
| 582 | + }; |
| 583 | + 84A53E011B1A9F1900E8A107 /* SwiftCheck.framework */ = { |
| 584 | + isa = PBXReferenceProxy; |
| 585 | + fileType = wrapper.framework; |
| 586 | + path = SwiftCheck.framework; |
| 587 | + remoteRef = 84A53E001B1A9F1900E8A107 /* PBXContainerItemProxy */; |
| 588 | + sourceTree = BUILT_PRODUCTS_DIR; |
| 589 | + }; |
| 590 | + 84A53E031B1A9F1900E8A107 /* SwiftCheck-iOSTests.xctest */ = { |
| 591 | + isa = PBXReferenceProxy; |
| 592 | + fileType = wrapper.cfbundle; |
| 593 | + path = "SwiftCheck-iOSTests.xctest"; |
| 594 | + remoteRef = 84A53E021B1A9F1900E8A107 /* PBXContainerItemProxy */; |
| 595 | + sourceTree = BUILT_PRODUCTS_DIR; |
| 596 | + }; |
496 | 597 | /* End PBXReferenceProxy section */ |
497 | 598 |
|
498 | 599 | /* Begin PBXResourcesBuildPhase section */ |
|
538 | 639 | 84152BFC1A819EFE006387D5 /* TQueue.swift in Sources */, |
539 | 640 | 8434F9B819E9CDC0008D9909 /* MVar.swift in Sources */, |
540 | 641 | 84152BFE1A819EFE006387D5 /* TSem.swift in Sources */, |
541 | | - 84152BFD1A819EFE006387D5 /* Transactions.swift in Sources */, |
542 | 642 | 84152BFA1A819EFE006387D5 /* TChan.swift in Sources */, |
543 | 643 | 84152BFB1A819EFE006387D5 /* TMVar.swift in Sources */, |
544 | 644 | 8434F9B419E9CDC0008D9909 /* Concurrent.swift in Sources */, |
|
580 | 680 | 84A53D621B1A8F7000E8A107 /* TChan.swift in Sources */, |
581 | 681 | 84A53D631B1A8F7000E8A107 /* TMVar.swift in Sources */, |
582 | 682 | 84A53D641B1A8F7000E8A107 /* TQueue.swift in Sources */, |
583 | | - 84A53D651B1A8F7000E8A107 /* Transactions.swift in Sources */, |
584 | 683 | 84A53D661B1A8F7000E8A107 /* TSem.swift in Sources */, |
585 | 684 | 84A53D671B1A8F7000E8A107 /* TVar.swift in Sources */, |
586 | 685 | 84A53D681B1A8F7000E8A107 /* CONCRealWorld.m in Sources */, |
|
593 | 692 | files = ( |
594 | 693 | 84A53D6D1B1A8FC400E8A107 /* ConcurrentTests.swift in Sources */, |
595 | 694 | 84A53D6E1B1A8FC400E8A107 /* STMSpec.swift in Sources */, |
| 695 | + 84F467831B1B9244002A4C4C /* ChanSpec.swift in Sources */, |
| 696 | + 841022551B1AA00D00E799A0 /* MVarSpec.swift in Sources */, |
596 | 697 | 84A53D6F1B1A8FC400E8A107 /* PiCalculus.swift in Sources */, |
597 | 698 | ); |
598 | 699 | runOnlyForDeploymentPostprocessing = 0; |
599 | 700 | }; |
600 | 701 | /* End PBXSourcesBuildPhase section */ |
601 | 702 |
|
602 | 703 | /* Begin PBXTargetDependency section */ |
| 704 | + 8410224A1B1A9F8E00E799A0 /* PBXTargetDependency */ = { |
| 705 | + isa = PBXTargetDependency; |
| 706 | + name = "SwiftCheck-iOS"; |
| 707 | + targetProxy = 841022491B1A9F8E00E799A0 /* PBXContainerItemProxy */; |
| 708 | + }; |
| 709 | + 8410224D1B1A9FA300E799A0 /* PBXTargetDependency */ = { |
| 710 | + isa = PBXTargetDependency; |
| 711 | + name = SwiftCheck; |
| 712 | + targetProxy = 8410224C1B1A9FA300E799A0 /* PBXContainerItemProxy */; |
| 713 | + }; |
603 | 714 | 8434F98E19E9CD76008D9909 /* PBXTargetDependency */ = { |
604 | 715 | isa = PBXTargetDependency; |
605 | 716 | target = 8434F97F19E9CD76008D9909 /* Concurrent */; |
|
0 commit comments