blob: c208155002ff4fbd7850d408789be5d95d7b3211 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
|
bin/spin
bin/xspin
bin/xspin3310.tcl
share/doc/spin/Doc/Book.Ch6.add
share/doc/spin/Doc/Book.Errata
share/doc/spin/Doc/Book.answers
share/doc/spin/Doc/Book.samples
share/doc/spin/Doc/V1.Updates
share/doc/spin/Doc/V2.Updates
share/doc/spin/Doc/V3.Updates
share/doc/spin/Examples/ex.1a
share/doc/spin/Examples/ex.1b
share/doc/spin/Examples/ex.1c
share/doc/spin/Examples/ex.2
share/doc/spin/Examples/ex.3
share/doc/spin/Examples/ex.4b
share/doc/spin/Examples/ex.4c
share/doc/spin/Examples/ex.5a
share/doc/spin/Examples/ex.5b
share/doc/spin/Examples/ex.6
share/doc/spin/Examples/ex.7
share/doc/spin/Examples/ex.8
share/doc/spin/Examples/ex.9
share/doc/spin/Examples/ex.9b
share/doc/spin/Examples/ex.9c
share/doc/spin/Examples/ex.readme
share/doc/spin/HTML/Exercises.html
share/doc/spin/HTML/GettingStarted.html
share/doc/spin/HTML/Intro.html
share/doc/spin/HTML/Manual.html
share/doc/spin/HTML/Pan.html
share/doc/spin/HTML/Quick.html
share/doc/spin/HTML/README.html
share/doc/spin/HTML/Roadmap.html
share/doc/spin/HTML/Spin.html
share/doc/spin/HTML/WhatsNew.html
share/doc/spin/HTML/_.html
share/doc/spin/HTML/_last.html
share/doc/spin/HTML/_pid.html
share/doc/spin/HTML/accept.html
share/doc/spin/HTML/active.html
share/doc/spin/HTML/arrays.html
share/doc/spin/HTML/assert.html
share/doc/spin/HTML/assign.html
share/doc/spin/HTML/atomic.html
share/doc/spin/HTML/break.html
share/doc/spin/HTML/chan.html
share/doc/spin/HTML/comments.html
share/doc/spin/HTML/cond_expr.html
share/doc/spin/HTML/condition.html
share/doc/spin/HTML/d_step.html
share/doc/spin/HTML/datatypes.html
share/doc/spin/HTML/do.html
share/doc/spin/HTML/else.html
share/doc/spin/HTML/empty.html
share/doc/spin/HTML/enabled.html
share/doc/spin/HTML/end.html
share/doc/spin/HTML/eval.html
share/doc/spin/HTML/false.html
share/doc/spin/HTML/float.html
share/doc/spin/HTML/full.html
share/doc/spin/HTML/goto.html
share/doc/spin/HTML/grammar.html
share/doc/spin/HTML/hidden.html
share/doc/spin/HTML/hierarchy.html
share/doc/spin/HTML/if.html
share/doc/spin/HTML/index.html
share/doc/spin/HTML/init.html
share/doc/spin/HTML/inline.html
share/doc/spin/HTML/labels.html
share/doc/spin/HTML/len.html
share/doc/spin/HTML/local.html
share/doc/spin/HTML/ltl.html
share/doc/spin/HTML/macros.html
share/doc/spin/HTML/mtype.html
share/doc/spin/HTML/nempty.html
share/doc/spin/HTML/never.html
share/doc/spin/HTML/nfull.html
share/doc/spin/HTML/notrace.html
share/doc/spin/HTML/np_.html
share/doc/spin/HTML/pc_value.html
share/doc/spin/HTML/pointers.html
share/doc/spin/HTML/poll.html
share/doc/spin/HTML/printf.html
share/doc/spin/HTML/priority.html
share/doc/spin/HTML/probabilities.html
share/doc/spin/HTML/procedures.html
share/doc/spin/HTML/proctype.html
share/doc/spin/HTML/progress.html
share/doc/spin/HTML/promela.html
share/doc/spin/HTML/provided.html
share/doc/spin/HTML/rand.html
share/doc/spin/HTML/realtime.html
share/doc/spin/HTML/receive.html
share/doc/spin/HTML/remoterefs.html
share/doc/spin/HTML/run.html
share/doc/spin/HTML/scanf.html
share/doc/spin/HTML/send.html
share/doc/spin/HTML/separators.html
share/doc/spin/HTML/sequence.html
share/doc/spin/HTML/show.html
share/doc/spin/HTML/skip.html
share/doc/spin/HTML/stdin.html
share/doc/spin/HTML/timeout.html
share/doc/spin/HTML/trace.html
share/doc/spin/HTML/true.html
share/doc/spin/HTML/typedef.html
share/doc/spin/HTML/unless.html
share/doc/spin/HTML/xr.html
share/doc/spin/HTML/xs.html
share/doc/spin/Test/README.tests
share/doc/spin/Test/abp
share/doc/spin/Test/erathostenes
share/doc/spin/Test/hello
share/doc/spin/Test/leader
share/doc/spin/Test/leader.ltl
share/doc/spin/Test/leader2
share/doc/spin/Test/loops
share/doc/spin/Test/pathfinder
share/doc/spin/Test/peterson
share/doc/spin/Test/petersonN
share/doc/spin/Test/pftp
share/doc/spin/Test/priorities
share/doc/spin/Test/snoopy
share/doc/spin/Test/sort
@dirrm share/doc/spin/Test
@dirrm share/doc/spin/HTML
@dirrm share/doc/spin/Examples
@dirrm share/doc/spin/Doc
@dirrm share/doc/spin
|
