redshift 1.3.15
Sign up to get free protection for your applications and to get access to all the features.
- data/.gitignore +8 -0
- data/README +5 -0
- data/RELEASE-NOTES +455 -0
- data/TODO +431 -0
- data/bench/alg-state.rb +61 -0
- data/bench/bench +26 -0
- data/bench/bench.rb +10 -0
- data/bench/continuous.rb +76 -0
- data/bench/diff-bench +86 -0
- data/bench/discrete.rb +101 -0
- data/bench/euler.rb +50 -0
- data/bench/formula.rb +78 -0
- data/bench/half-strict.rb +103 -0
- data/bench/inertness.rb +116 -0
- data/bench/queue.rb +92 -0
- data/bench/run +66 -0
- data/bench/simple.rb +74 -0
- data/bench/strictness.rb +86 -0
- data/examples/ball-tkar.rb +72 -0
- data/examples/ball.rb +123 -0
- data/examples/collide.rb +70 -0
- data/examples/connect-parallel.rb +48 -0
- data/examples/connect.rb +109 -0
- data/examples/constants.rb +27 -0
- data/examples/delay.rb +80 -0
- data/examples/derivative.rb +77 -0
- data/examples/euler.rb +46 -0
- data/examples/external-lib.rb +33 -0
- data/examples/guard-debugger.rb +77 -0
- data/examples/lotka-volterra.rb +33 -0
- data/examples/persist-ball.rb +68 -0
- data/examples/pid.rb +87 -0
- data/examples/ports.rb +60 -0
- data/examples/queue.rb +56 -0
- data/examples/queue2.rb +98 -0
- data/examples/reset-with-event-val.rb +28 -0
- data/examples/scheduler.rb +104 -0
- data/examples/set-dest.rb +23 -0
- data/examples/simulink/README +1 -0
- data/examples/simulink/delay.mdl +827 -0
- data/examples/simulink/derivative.mdl +655 -0
- data/examples/step-discrete-profiler.rb +103 -0
- data/examples/subsystem.rb +109 -0
- data/examples/sync-deadlock.rb +32 -0
- data/examples/sync-queue.rb +91 -0
- data/examples/sync-retry.rb +20 -0
- data/examples/sync.rb +51 -0
- data/examples/thermostat.rb +53 -0
- data/examples/zeno.rb +53 -0
- data/lib/accessible-index.rb +47 -0
- data/lib/redshift.rb +1 -0
- data/lib/redshift/component.rb +412 -0
- data/lib/redshift/meta.rb +183 -0
- data/lib/redshift/mixins/zeno-debugger.rb +69 -0
- data/lib/redshift/port.rb +57 -0
- data/lib/redshift/queue.rb +104 -0
- data/lib/redshift/redshift.rb +111 -0
- data/lib/redshift/state.rb +31 -0
- data/lib/redshift/syntax.rb +558 -0
- data/lib/redshift/target/c.rb +37 -0
- data/lib/redshift/target/c/component-gen.rb +1303 -0
- data/lib/redshift/target/c/flow-gen.rb +325 -0
- data/lib/redshift/target/c/flow/algebraic.rb +85 -0
- data/lib/redshift/target/c/flow/buffer.rb +74 -0
- data/lib/redshift/target/c/flow/delay.rb +203 -0
- data/lib/redshift/target/c/flow/derivative.rb +101 -0
- data/lib/redshift/target/c/flow/euler.rb +67 -0
- data/lib/redshift/target/c/flow/expr.rb +113 -0
- data/lib/redshift/target/c/flow/rk4.rb +80 -0
- data/lib/redshift/target/c/library.rb +85 -0
- data/lib/redshift/target/c/world-gen.rb +1370 -0
- data/lib/redshift/target/spec.rb +34 -0
- data/lib/redshift/world.rb +300 -0
- data/rakefile +37 -0
- data/test/test.rb +52 -0
- data/test/test_buffer.rb +58 -0
- data/test/test_connect.rb +242 -0
- data/test/test_connect_parallel.rb +47 -0
- data/test/test_connect_strict.rb +135 -0
- data/test/test_constant.rb +74 -0
- data/test/test_delay.rb +145 -0
- data/test/test_derivative.rb +48 -0
- data/test/test_discrete.rb +592 -0
- data/test/test_discrete_isolated.rb +92 -0
- data/test/test_exit.rb +59 -0
- data/test/test_flow.rb +200 -0
- data/test/test_flow_link.rb +288 -0
- data/test/test_flow_sub.rb +100 -0
- data/test/test_flow_trans.rb +292 -0
- data/test/test_inherit.rb +127 -0
- data/test/test_inherit_event.rb +74 -0
- data/test/test_inherit_flow.rb +139 -0
- data/test/test_inherit_link.rb +65 -0
- data/test/test_inherit_setup.rb +56 -0
- data/test/test_inherit_state.rb +66 -0
- data/test/test_inherit_transition.rb +168 -0
- data/test/test_numerics.rb +34 -0
- data/test/test_queue.rb +90 -0
- data/test/test_queue_alone.rb +115 -0
- data/test/test_reset.rb +209 -0
- data/test/test_setup.rb +119 -0
- data/test/test_strict_continuity.rb +410 -0
- data/test/test_strict_reset_error.rb +30 -0
- data/test/test_strictness_error.rb +32 -0
- data/test/test_sync.rb +185 -0
- data/test/test_world.rb +328 -0
- 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
|
+
|