Skip to content

Commit 55004a1

Browse files
CodaFiCodaFi
committed
So Close
1 parent e916b1b commit 55004a1

File tree

10 files changed

+1102
-61
lines changed

10 files changed

+1102
-61
lines changed

‎Concurrent.xcodeproj/project.pbxproj‎

Lines changed: 48 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,22 @@
77
objects = {
88

99
/* Begin PBXBuildFile section */
10+
8218B7CE1BB8662B00641B7A /* STM.swift in Sources */ = {isa = PBXBuildFile; fileRef = 8218B7CD1BB8662B00641B7A /* STM.swift */; };
11+
8218B7CF1BB8662B00641B7A /* STM.swift in Sources */ = {isa = PBXBuildFile; fileRef = 8218B7CD1BB8662B00641B7A /* STM.swift */; };
12+
8218B7D31BB8749100641B7A /* TVar.swift in Sources */ = {isa = PBXBuildFile; fileRef = 8218B7D21BB8749100641B7A /* TVar.swift */; };
13+
8218B7D41BB8749100641B7A /* TVar.swift in Sources */ = {isa = PBXBuildFile; fileRef = 8218B7D21BB8749100641B7A /* TVar.swift */; };
14+
8218B7D61BB88D2400641B7A /* TMVar.swift in Sources */ = {isa = PBXBuildFile; fileRef = 8218B7D51BB88D2400641B7A /* TMVar.swift */; };
15+
8218B7D71BB88D2400641B7A /* TMVar.swift in Sources */ = {isa = PBXBuildFile; fileRef = 8218B7D51BB88D2400641B7A /* TMVar.swift */; };
16+
8218B7D91BB89DF800641B7A /* TChan.swift in Sources */ = {isa = PBXBuildFile; fileRef = 8218B7D81BB89DF800641B7A /* TChan.swift */; };
17+
8218B7DA1BB89DF800641B7A /* TChan.swift in Sources */ = {isa = PBXBuildFile; fileRef = 8218B7D81BB89DF800641B7A /* TChan.swift */; };
18+
8218B7DC1BB8A4B000641B7A /* TSem.swift in Sources */ = {isa = PBXBuildFile; fileRef = 8218B7DB1BB8A4B000641B7A /* TSem.swift */; };
19+
8218B7DD1BB8A4B000641B7A /* TSem.swift in Sources */ = {isa = PBXBuildFile; fileRef = 8218B7DB1BB8A4B000641B7A /* TSem.swift */; };
20+
8218B7DF1BB8A52E00641B7A /* TBQueue.swift in Sources */ = {isa = PBXBuildFile; fileRef = 8218B7DE1BB8A52E00641B7A /* TBQueue.swift */; };
21+
8218B7E01BB8A52E00641B7A /* TBQueue.swift in Sources */ = {isa = PBXBuildFile; fileRef = 8218B7DE1BB8A52E00641B7A /* TBQueue.swift */; };
22+
8218B7E21BB8AA6A00641B7A /* TQueue.swift in Sources */ = {isa = PBXBuildFile; fileRef = 8218B7E11BB8AA6A00641B7A /* TQueue.swift */; };
23+
8218B7E31BB8AA6A00641B7A /* TQueue.swift in Sources */ = {isa = PBXBuildFile; fileRef = 8218B7E11BB8AA6A00641B7A /* TQueue.swift */; };
24+
8218B7E81BB8ABD500641B7A /* TMVarSpec.swift in Sources */ = {isa = PBXBuildFile; fileRef = 8218B7E71BB8ABD500641B7A /* TMVarSpec.swift */; };
25+
8218B7E91BB8ABD500641B7A /* TMVarSpec.swift in Sources */ = {isa = PBXBuildFile; fileRef = 8218B7E71BB8ABD500641B7A /* TMVarSpec.swift */; };
1026
82BA2A041B75E8CA00F9F201 /* ConcurrentSpec.swift in Sources */ = {isa = PBXBuildFile; fileRef = 82BA2A031B75E8CA00F9F201 /* ConcurrentSpec.swift */; };
1127
82BA2A051B75E8CA00F9F201 /* ConcurrentSpec.swift in Sources */ = {isa = PBXBuildFile; fileRef = 82BA2A031B75E8CA00F9F201 /* ConcurrentSpec.swift */; };
1228
8410224B1B1A9F9E00E799A0 /* SwiftCheck.framework in Frameworks */ = {isa = PBXBuildFile; fileRef = 84A53E011B1A9F1900E8A107 /* SwiftCheck.framework */; };
@@ -136,6 +152,14 @@
136152
/* End PBXCopyFilesBuildPhase section */
137153

138154
/* Begin PBXFileReference section */
155+
8218B7CD1BB8662B00641B7A /* STM.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = STM.swift; sourceTree = "<group>"; };
156+
8218B7D21BB8749100641B7A /* TVar.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = TVar.swift; sourceTree = "<group>"; };
157+
8218B7D51BB88D2400641B7A /* TMVar.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = TMVar.swift; sourceTree = "<group>"; };
158+
8218B7D81BB89DF800641B7A /* TChan.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = TChan.swift; sourceTree = "<group>"; };
159+
8218B7DB1BB8A4B000641B7A /* TSem.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = TSem.swift; sourceTree = "<group>"; };
160+
8218B7DE1BB8A52E00641B7A /* TBQueue.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = TBQueue.swift; sourceTree = "<group>"; };
161+
8218B7E11BB8AA6A00641B7A /* TQueue.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = TQueue.swift; sourceTree = "<group>"; };
162+
8218B7E71BB8ABD500641B7A /* TMVarSpec.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = TMVarSpec.swift; sourceTree = "<group>"; };
139163
82BA2A031B75E8CA00F9F201 /* ConcurrentSpec.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = ConcurrentSpec.swift; sourceTree = "<group>"; };
140164
841022531B1AA00D00E799A0 /* MVarSpec.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = MVarSpec.swift; sourceTree = "<group>"; };
141165
84152B791A818C95006387D5 /* SVar.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = SVar.swift; sourceTree = "<group>"; };
@@ -230,6 +254,13 @@
230254
8434F9A519E9CDC0008D9909 /* MVar.swift */,
231255
84152B791A818C95006387D5 /* SVar.swift */,
232256
8434F9A619E9CDC0008D9909 /* QSem.swift */,
257+
8218B7CD1BB8662B00641B7A /* STM.swift */,
258+
8218B7D21BB8749100641B7A /* TVar.swift */,
259+
8218B7D51BB88D2400641B7A /* TMVar.swift */,
260+
8218B7D81BB89DF800641B7A /* TChan.swift */,
261+
8218B7DB1BB8A4B000641B7A /* TSem.swift */,
262+
8218B7DE1BB8A52E00641B7A /* TBQueue.swift */,
263+
8218B7E11BB8AA6A00641B7A /* TQueue.swift */,
233264
8434F98319E9CD76008D9909 /* Supporting Files */,
234265
);
235266
path = Concurrent;
@@ -252,6 +283,7 @@
252283
82BA2A031B75E8CA00F9F201 /* ConcurrentSpec.swift */,
253284
84F467811B1B9244002A4C4C /* ChanSpec.swift */,
254285
841022531B1AA00D00E799A0 /* MVarSpec.swift */,
286+
8218B7E71BB8ABD500641B7A /* TMVarSpec.swift */,
255287
84EA2C5B1B240C4D0001FB3F /* SVarSpec.swift */,
256288
8434F9CF19E9CE1D008D9909 /* PiCalculus.swift */,
257289
8434F99019E9CD76008D9909 /* Supporting Files */,
@@ -498,15 +530,22 @@
498530
isa = PBXSourcesBuildPhase;
499531
buildActionMask = 2147483647;
500532
files = (
533+
8218B7E21BB8AA6A00641B7A /* TQueue.swift in Sources */,
534+
8218B7D61BB88D2400641B7A /* TMVar.swift in Sources */,
501535
8434F9B919E9CDC0008D9909 /* QSem.swift in Sources */,
502536
8434F9B619E9CDC0008D9909 /* IChan.swift in Sources */,
503537
8434F9B219E9CDC0008D9909 /* CONCRealWorld.m in Sources */,
538+
8218B7DC1BB8A4B000641B7A /* TSem.swift in Sources */,
504539
8434F9B819E9CDC0008D9909 /* MVar.swift in Sources */,
540+
8218B7D91BB89DF800641B7A /* TChan.swift in Sources */,
505541
8434F9B419E9CDC0008D9909 /* Concurrent.swift in Sources */,
506542
8434F9B519E9CDC0008D9909 /* Future.swift in Sources */,
543+
8218B7CE1BB8662B00641B7A /* STM.swift in Sources */,
507544
8434F9B719E9CDC0008D9909 /* IVar.swift in Sources */,
545+
8218B7D31BB8749100641B7A /* TVar.swift in Sources */,
508546
8434F9B019E9CDC0008D9909 /* Chan.swift in Sources */,
509547
84152B7A1A818C95006387D5 /* SVar.swift in Sources */,
548+
8218B7DF1BB8A52E00641B7A /* TBQueue.swift in Sources */,
510549
);
511550
runOnlyForDeploymentPostprocessing = 0;
512551
};
@@ -517,6 +556,7 @@
517556
84EA2C5C1B240C4D0001FB3F /* SVarSpec.swift in Sources */,
518557
8434F9D019E9CE1D008D9909 /* PiCalculus.swift in Sources */,
519558
84EA2C5A1B23AE5F0001FB3F /* MVarSpec.swift in Sources */,
559+
8218B7E81BB8ABD500641B7A /* TMVarSpec.swift in Sources */,
520560
84EA2C591B23AE5D0001FB3F /* ChanSpec.swift in Sources */,
521561
82BA2A041B75E8CA00F9F201 /* ConcurrentSpec.swift in Sources */,
522562
);
@@ -526,15 +566,22 @@
526566
isa = PBXSourcesBuildPhase;
527567
buildActionMask = 2147483647;
528568
files = (
569+
8218B7E31BB8AA6A00641B7A /* TQueue.swift in Sources */,
570+
8218B7D71BB88D2400641B7A /* TMVar.swift in Sources */,
529571
84A53D571B1A8F7000E8A107 /* Chan.swift in Sources */,
530572
84A53D581B1A8F7000E8A107 /* Concurrent.swift in Sources */,
531573
84A53D5A1B1A8F7000E8A107 /* Future.swift in Sources */,
574+
8218B7DD1BB8A4B000641B7A /* TSem.swift in Sources */,
532575
84A53D5B1B1A8F7000E8A107 /* IChan.swift in Sources */,
576+
8218B7DA1BB89DF800641B7A /* TChan.swift in Sources */,
533577
84A53D5C1B1A8F7000E8A107 /* IVar.swift in Sources */,
534578
84A53D5D1B1A8F7000E8A107 /* MVar.swift in Sources */,
579+
8218B7CF1BB8662B00641B7A /* STM.swift in Sources */,
535580
84A53D5E1B1A8F7000E8A107 /* SVar.swift in Sources */,
581+
8218B7D41BB8749100641B7A /* TVar.swift in Sources */,
536582
84A53D5F1B1A8F7000E8A107 /* QSem.swift in Sources */,
537583
84A53D681B1A8F7000E8A107 /* CONCRealWorld.m in Sources */,
584+
8218B7E01BB8A52E00641B7A /* TBQueue.swift in Sources */,
538585
);
539586
runOnlyForDeploymentPostprocessing = 0;
540587
};
@@ -545,6 +592,7 @@
545592
84EA2C5D1B240C4D0001FB3F /* SVarSpec.swift in Sources */,
546593
84F467831B1B9244002A4C4C /* ChanSpec.swift in Sources */,
547594
841022551B1AA00D00E799A0 /* MVarSpec.swift in Sources */,
595+
8218B7E91BB8ABD500641B7A /* TMVarSpec.swift in Sources */,
548596
84A53D6F1B1A8FC400E8A107 /* PiCalculus.swift in Sources */,
549597
82BA2A051B75E8CA00F9F201 /* ConcurrentSpec.swift in Sources */,
550598
);

‎Concurrent/Actor.swift‎

Lines changed: 0 additions & 61 deletions
This file was deleted.

0 commit comments

Comments
 (0)