redshift 1.3.15

Sign up to get free protection for your applications and to get access to all the features.
Files changed (107) hide show
  1. data/.gitignore +8 -0
  2. data/README +5 -0
  3. data/RELEASE-NOTES +455 -0
  4. data/TODO +431 -0
  5. data/bench/alg-state.rb +61 -0
  6. data/bench/bench +26 -0
  7. data/bench/bench.rb +10 -0
  8. data/bench/continuous.rb +76 -0
  9. data/bench/diff-bench +86 -0
  10. data/bench/discrete.rb +101 -0
  11. data/bench/euler.rb +50 -0
  12. data/bench/formula.rb +78 -0
  13. data/bench/half-strict.rb +103 -0
  14. data/bench/inertness.rb +116 -0
  15. data/bench/queue.rb +92 -0
  16. data/bench/run +66 -0
  17. data/bench/simple.rb +74 -0
  18. data/bench/strictness.rb +86 -0
  19. data/examples/ball-tkar.rb +72 -0
  20. data/examples/ball.rb +123 -0
  21. data/examples/collide.rb +70 -0
  22. data/examples/connect-parallel.rb +48 -0
  23. data/examples/connect.rb +109 -0
  24. data/examples/constants.rb +27 -0
  25. data/examples/delay.rb +80 -0
  26. data/examples/derivative.rb +77 -0
  27. data/examples/euler.rb +46 -0
  28. data/examples/external-lib.rb +33 -0
  29. data/examples/guard-debugger.rb +77 -0
  30. data/examples/lotka-volterra.rb +33 -0
  31. data/examples/persist-ball.rb +68 -0
  32. data/examples/pid.rb +87 -0
  33. data/examples/ports.rb +60 -0
  34. data/examples/queue.rb +56 -0
  35. data/examples/queue2.rb +98 -0
  36. data/examples/reset-with-event-val.rb +28 -0
  37. data/examples/scheduler.rb +104 -0
  38. data/examples/set-dest.rb +23 -0
  39. data/examples/simulink/README +1 -0
  40. data/examples/simulink/delay.mdl +827 -0
  41. data/examples/simulink/derivative.mdl +655 -0
  42. data/examples/step-discrete-profiler.rb +103 -0
  43. data/examples/subsystem.rb +109 -0
  44. data/examples/sync-deadlock.rb +32 -0
  45. data/examples/sync-queue.rb +91 -0
  46. data/examples/sync-retry.rb +20 -0
  47. data/examples/sync.rb +51 -0
  48. data/examples/thermostat.rb +53 -0
  49. data/examples/zeno.rb +53 -0
  50. data/lib/accessible-index.rb +47 -0
  51. data/lib/redshift.rb +1 -0
  52. data/lib/redshift/component.rb +412 -0
  53. data/lib/redshift/meta.rb +183 -0
  54. data/lib/redshift/mixins/zeno-debugger.rb +69 -0
  55. data/lib/redshift/port.rb +57 -0
  56. data/lib/redshift/queue.rb +104 -0
  57. data/lib/redshift/redshift.rb +111 -0
  58. data/lib/redshift/state.rb +31 -0
  59. data/lib/redshift/syntax.rb +558 -0
  60. data/lib/redshift/target/c.rb +37 -0
  61. data/lib/redshift/target/c/component-gen.rb +1303 -0
  62. data/lib/redshift/target/c/flow-gen.rb +325 -0
  63. data/lib/redshift/target/c/flow/algebraic.rb +85 -0
  64. data/lib/redshift/target/c/flow/buffer.rb +74 -0
  65. data/lib/redshift/target/c/flow/delay.rb +203 -0
  66. data/lib/redshift/target/c/flow/derivative.rb +101 -0
  67. data/lib/redshift/target/c/flow/euler.rb +67 -0
  68. data/lib/redshift/target/c/flow/expr.rb +113 -0
  69. data/lib/redshift/target/c/flow/rk4.rb +80 -0
  70. data/lib/redshift/target/c/library.rb +85 -0
  71. data/lib/redshift/target/c/world-gen.rb +1370 -0
  72. data/lib/redshift/target/spec.rb +34 -0
  73. data/lib/redshift/world.rb +300 -0
  74. data/rakefile +37 -0
  75. data/test/test.rb +52 -0
  76. data/test/test_buffer.rb +58 -0
  77. data/test/test_connect.rb +242 -0
  78. data/test/test_connect_parallel.rb +47 -0
  79. data/test/test_connect_strict.rb +135 -0
  80. data/test/test_constant.rb +74 -0
  81. data/test/test_delay.rb +145 -0
  82. data/test/test_derivative.rb +48 -0
  83. data/test/test_discrete.rb +592 -0
  84. data/test/test_discrete_isolated.rb +92 -0
  85. data/test/test_exit.rb +59 -0
  86. data/test/test_flow.rb +200 -0
  87. data/test/test_flow_link.rb +288 -0
  88. data/test/test_flow_sub.rb +100 -0
  89. data/test/test_flow_trans.rb +292 -0
  90. data/test/test_inherit.rb +127 -0
  91. data/test/test_inherit_event.rb +74 -0
  92. data/test/test_inherit_flow.rb +139 -0
  93. data/test/test_inherit_link.rb +65 -0
  94. data/test/test_inherit_setup.rb +56 -0
  95. data/test/test_inherit_state.rb +66 -0
  96. data/test/test_inherit_transition.rb +168 -0
  97. data/test/test_numerics.rb +34 -0
  98. data/test/test_queue.rb +90 -0
  99. data/test/test_queue_alone.rb +115 -0
  100. data/test/test_reset.rb +209 -0
  101. data/test/test_setup.rb +119 -0
  102. data/test/test_strict_continuity.rb +410 -0
  103. data/test/test_strict_reset_error.rb +30 -0
  104. data/test/test_strictness_error.rb +32 -0
  105. data/test/test_sync.rb +185 -0
  106. data/test/test_world.rb +328 -0
  107. metadata +204 -0
metadata ADDED
@@ -0,0 +1,204 @@
1
+ --- !ruby/object:Gem::Specification
2
+ name: redshift
3
+ version: !ruby/object:Gem::Version
4
+ hash: 5
5
+ prerelease: false
6
+ segments:
7
+ - 1
8
+ - 3
9
+ - 15
10
+ version: 1.3.15
11
+ platform: ruby
12
+ authors:
13
+ - Joel VanderWerf
14
+ autorequire:
15
+ bindir: bin
16
+ cert_chain: []
17
+
18
+ date: 2010-06-06 00:00:00 -07:00
19
+ default_executable:
20
+ dependencies:
21
+ - !ruby/object:Gem::Dependency
22
+ name: cgen
23
+ prerelease: false
24
+ requirement: &id001 !ruby/object:Gem::Requirement
25
+ none: false
26
+ requirements:
27
+ - - ">="
28
+ - !ruby/object:Gem::Version
29
+ hash: 3
30
+ segments:
31
+ - 0
32
+ version: "0"
33
+ type: :runtime
34
+ version_requirements: *id001
35
+ - !ruby/object:Gem::Dependency
36
+ name: bones
37
+ prerelease: false
38
+ requirement: &id002 !ruby/object:Gem::Requirement
39
+ none: false
40
+ requirements:
41
+ - - ">="
42
+ - !ruby/object:Gem::Version
43
+ hash: 17
44
+ segments:
45
+ - 3
46
+ - 4
47
+ - 3
48
+ version: 3.4.3
49
+ type: :development
50
+ version_requirements: *id002
51
+ description: |
52
+ A framework for simulation of networks of hybrid automata, similar to SHIFT and Lambda-SHIFT. Includes ruby-based DSL for defining simulation components, and ruby/C code generation and runtime.
53
+
54
+ email: vjoel@users.sourceforge.net
55
+ executables: []
56
+
57
+ extensions: []
58
+
59
+ extra_rdoc_files: []
60
+
61
+ files:
62
+ - .gitignore
63
+ - README
64
+ - RELEASE-NOTES
65
+ - TODO
66
+ - bench/alg-state.rb
67
+ - bench/bench
68
+ - bench/bench.rb
69
+ - bench/continuous.rb
70
+ - bench/diff-bench
71
+ - bench/discrete.rb
72
+ - bench/euler.rb
73
+ - bench/formula.rb
74
+ - bench/half-strict.rb
75
+ - bench/inertness.rb
76
+ - bench/queue.rb
77
+ - bench/run
78
+ - bench/simple.rb
79
+ - bench/strictness.rb
80
+ - examples/ball-tkar.rb
81
+ - examples/ball.rb
82
+ - examples/collide.rb
83
+ - examples/connect-parallel.rb
84
+ - examples/connect.rb
85
+ - examples/constants.rb
86
+ - examples/delay.rb
87
+ - examples/derivative.rb
88
+ - examples/euler.rb
89
+ - examples/external-lib.rb
90
+ - examples/guard-debugger.rb
91
+ - examples/lotka-volterra.rb
92
+ - examples/persist-ball.rb
93
+ - examples/pid.rb
94
+ - examples/ports.rb
95
+ - examples/queue.rb
96
+ - examples/queue2.rb
97
+ - examples/reset-with-event-val.rb
98
+ - examples/scheduler.rb
99
+ - examples/set-dest.rb
100
+ - examples/simulink/README
101
+ - examples/simulink/delay.mdl
102
+ - examples/simulink/derivative.mdl
103
+ - examples/step-discrete-profiler.rb
104
+ - examples/subsystem.rb
105
+ - examples/sync-deadlock.rb
106
+ - examples/sync-queue.rb
107
+ - examples/sync-retry.rb
108
+ - examples/sync.rb
109
+ - examples/thermostat.rb
110
+ - examples/zeno.rb
111
+ - lib/accessible-index.rb
112
+ - lib/redshift.rb
113
+ - lib/redshift/component.rb
114
+ - lib/redshift/meta.rb
115
+ - lib/redshift/mixins/zeno-debugger.rb
116
+ - lib/redshift/port.rb
117
+ - lib/redshift/queue.rb
118
+ - lib/redshift/redshift.rb
119
+ - lib/redshift/state.rb
120
+ - lib/redshift/syntax.rb
121
+ - lib/redshift/target/c.rb
122
+ - lib/redshift/target/c/component-gen.rb
123
+ - lib/redshift/target/c/flow-gen.rb
124
+ - lib/redshift/target/c/flow/algebraic.rb
125
+ - lib/redshift/target/c/flow/buffer.rb
126
+ - lib/redshift/target/c/flow/delay.rb
127
+ - lib/redshift/target/c/flow/derivative.rb
128
+ - lib/redshift/target/c/flow/euler.rb
129
+ - lib/redshift/target/c/flow/expr.rb
130
+ - lib/redshift/target/c/flow/rk4.rb
131
+ - lib/redshift/target/c/library.rb
132
+ - lib/redshift/target/c/world-gen.rb
133
+ - lib/redshift/target/spec.rb
134
+ - lib/redshift/world.rb
135
+ - rakefile
136
+ - test/test.rb
137
+ - test/test_buffer.rb
138
+ - test/test_connect.rb
139
+ - test/test_connect_parallel.rb
140
+ - test/test_connect_strict.rb
141
+ - test/test_constant.rb
142
+ - test/test_delay.rb
143
+ - test/test_derivative.rb
144
+ - test/test_discrete.rb
145
+ - test/test_discrete_isolated.rb
146
+ - test/test_exit.rb
147
+ - test/test_flow.rb
148
+ - test/test_flow_link.rb
149
+ - test/test_flow_sub.rb
150
+ - test/test_flow_trans.rb
151
+ - test/test_inherit.rb
152
+ - test/test_inherit_event.rb
153
+ - test/test_inherit_flow.rb
154
+ - test/test_inherit_link.rb
155
+ - test/test_inherit_setup.rb
156
+ - test/test_inherit_state.rb
157
+ - test/test_inherit_transition.rb
158
+ - test/test_numerics.rb
159
+ - test/test_queue.rb
160
+ - test/test_queue_alone.rb
161
+ - test/test_reset.rb
162
+ - test/test_setup.rb
163
+ - test/test_strict_continuity.rb
164
+ - test/test_strict_reset_error.rb
165
+ - test/test_strictness_error.rb
166
+ - test/test_sync.rb
167
+ - test/test_world.rb
168
+ has_rdoc: true
169
+ homepage: http://rubyforge.org/projects/redshift
170
+ licenses: []
171
+
172
+ post_install_message:
173
+ rdoc_options:
174
+ - --main
175
+ - README
176
+ require_paths:
177
+ - lib
178
+ required_ruby_version: !ruby/object:Gem::Requirement
179
+ none: false
180
+ requirements:
181
+ - - ">="
182
+ - !ruby/object:Gem::Version
183
+ hash: 3
184
+ segments:
185
+ - 0
186
+ version: "0"
187
+ required_rubygems_version: !ruby/object:Gem::Requirement
188
+ none: false
189
+ requirements:
190
+ - - ">="
191
+ - !ruby/object:Gem::Version
192
+ hash: 3
193
+ segments:
194
+ - 0
195
+ version: "0"
196
+ requirements: []
197
+
198
+ rubyforge_project: redshift
199
+ rubygems_version: 1.3.7
200
+ signing_key:
201
+ specification_version: 3
202
+ summary: Simulation of hybrid automata
203
+ test_files: []
204
+