redshift 1.3.24 → 1.3.26

metadata

@@ -1,272 +1,207 @@
---- !ruby/object:Gem::Specification 
+--- !ruby/object:Gem::Specification
 name: redshift
-version: !ruby/object:Gem::Version 
-  hash: 43
-  prerelease: false
-  segments: 
-  - 1
-  - 3
-  - 24
-  version: 1.3.24
+version: !ruby/object:Gem::Version
+  version: 1.3.26
 platform: ruby
-authors: 
+authors:
 - Joel VanderWerf
 autorequire: 
 bindir: bin
 cert_chain: []
-
-date: 2010-08-17 00:00:00 -07:00
-default_executable: 
-dependencies: 
-- !ruby/object:Gem::Dependency 
-  name: cgen
-  prerelease: false
-  requirement: &id001 !ruby/object:Gem::Requirement 
-    none: false
-    requirements: 
-    - - ">="
-      - !ruby/object:Gem::Version 
-        hash: 79
-        segments: 
-        - 0
-        - 16
-        - 8
-        version: 0.16.8
-  type: :runtime
-  version_requirements: *id001
-- !ruby/object:Gem::Dependency 
-  name: tkar
-  prerelease: false
-  requirement: &id002 !ruby/object:Gem::Requirement 
-    none: false
-    requirements: 
-    - - ">="
-      - !ruby/object:Gem::Version 
-        hash: 117
-        segments: 
-        - 0
-        - 63
-        version: "0.63"
-  type: :runtime
-  version_requirements: *id002
-- !ruby/object:Gem::Dependency 
-  name: bones
-  prerelease: false
-  requirement: &id003 !ruby/object:Gem::Requirement 
-    none: false
-    requirements: 
-    - - ">="
-      - !ruby/object:Gem::Version 
-        hash: 25
-        segments: 
-        - 3
-        - 4
-        - 7
-        version: 3.4.7
-  type: :development
-  version_requirements: *id003
-description: |
-  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.
-
+date: 2013-04-05 00:00:00.000000000 Z
+dependencies: []
+description: 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.
 email: vjoel@users.sourceforge.net
 executables: []
-
-extensions: 
+extensions:
 - ext/redshift/buffer/extconf.rb
 - ext/redshift/dvector/extconf.rb
 - ext/redshift/util/isaac/extconf.rb
-extra_rdoc_files: 
-- README
+extra_rdoc_files:
+- README.md
 - RELEASE-NOTES
-files: 
-- .bnsignore
-- .gitignore
-- README
+files:
+- README.md
 - RELEASE-NOTES
-- TODO
-- bench/alg-state.rb
-- bench/algebraic.rb
-- bench/aug17-ruby19.bench
-- bench/aug17.bench
-- bench/aug7.bench
 - bench/bench
-- bench/bench.rb
-- bench/connect.rb
-- bench/continuous.rb
 - bench/diff-bench
-- bench/discrete.rb
-- bench/euler.rb
+- bench/run
 - bench/formula.rb
+- bench/euler.rb
+- bench/alg-state.rb
+- bench/bench.rb
+- bench/discrete.rb
 - bench/half-strict.rb
+- bench/strictness.rb
 - bench/inertness.rb
-- bench/linked-flows.rb
-- bench/prof.html
-- bench/queues.rb
-- bench/run
+- bench/algebraic.rb
 - bench/simple.rb
-- bench/strictness.rb
-- examples/ball-tkar.rb
-- examples/ball.rb
-- examples/collide.rb
-- examples/connect-parallel.rb
-- examples/connect.rb
-- examples/constants.rb
-- examples/delay.rb
+- bench/queues.rb
+- bench/connect.rb
+- bench/linked-flows.rb
+- bench/continuous.rb
 - examples/derivative.rb
-- examples/euler.rb
+- examples/pid.rb
+- examples/reset-with-event-val.rb
+- examples/step-discrete-profiler.rb
+- examples/lotka-volterra.rb
 - examples/external-lib.rb
+- examples/delay.rb
+- examples/ports.rb
+- examples/constants.rb
+- examples/euler.rb
+- examples/orbit.rb
+- examples/sync.rb
+- examples/ball-tkar.rb
+- examples/queue2.rb
+- examples/sync-queue.rb
+- examples/sync-deadlock.rb
 - examples/guard-debugger.rb
-- examples/lotka-volterra.rb
+- examples/thermostat.rb
+- examples/zeno.rb
+- examples/shell.rb
+- examples/set-dest.rb
+- examples/scheduler.rb
+- examples/sync-retry.rb
+- examples/step-discrete-hook.rb
+- examples/connect.rb
+- examples/collide.rb
+- examples/subsystem.rb
+- examples/connect-parallel.rb
 - examples/modular-component-def.rb
-- examples/orbit.rb
-- examples/pid.rb
-- examples/ports.rb
+- examples/ball.rb
 - examples/queue.rb
-- examples/queue2.rb
-- examples/reset-with-event-val.rb
-- examples/robots/README
-- examples/robots/lib/base.rb
-- examples/robots/lib/explosion.rb
+- examples/robots/lib/tracker.rb
 - examples/robots/lib/missile.rb
-- examples/robots/lib/radar.rb
 - examples/robots/lib/robot.rb
+- examples/robots/lib/explosion.rb
+- examples/robots/lib/radar.rb
+- examples/robots/lib/base.rb
 - examples/robots/lib/shell-world.rb
-- examples/robots/lib/tracker.rb
 - examples/robots/robots.rb
-- examples/scheduler.rb
-- examples/set-dest.rb
-- examples/shell.rb
-- examples/simulink/README
+- examples/robots/README
 - examples/simulink/delay.mdl
 - examples/simulink/derivative.mdl
-- examples/step-discrete-hook.rb
-- examples/step-discrete-profiler.rb
-- examples/subsystem.rb
-- examples/sync-deadlock.rb
-- examples/sync-queue.rb
-- examples/sync-retry.rb
-- examples/sync.rb
-- examples/thermostat.rb
-- examples/zeno.rb
-- ext/redshift/buffer/buffer.c
-- ext/redshift/buffer/buffer.h
-- ext/redshift/buffer/dir.rb
-- ext/redshift/buffer/extconf.rb
+- examples/simulink/README
 - ext/redshift/dvector/dvector.c
+- ext/redshift/buffer/buffer.c
+- ext/redshift/util/isaac/isaac.c
+- ext/redshift/util/isaac/rand.c
+- ext/redshift/dvector-float/dvector-float.c
 - ext/redshift/dvector/dvector.h
+- ext/redshift/buffer/buffer.h
+- ext/redshift/util/isaac/rand.h
+- ext/redshift/dvector-float/dvector-float.h
 - ext/redshift/dvector/dvector.rb
 - ext/redshift/dvector/extconf.rb
+- ext/redshift/buffer/dir.rb
+- ext/redshift/buffer/extconf.rb
 - ext/redshift/util/isaac/extconf.rb
-- ext/redshift/util/isaac/isaac.c
-- ext/redshift/util/isaac/rand.c
-- ext/redshift/util/isaac/rand.h
-- lib/redshift.rb
-- lib/redshift/component.rb
-- lib/redshift/meta.rb
-- lib/redshift/mixins/shell.rb
-- lib/redshift/mixins/zeno-debugger.rb
-- lib/redshift/port.rb
-- lib/redshift/queue.rb
-- lib/redshift/redshift.rb
+- ext/redshift/dvector-float/dvector-float.rb
+- ext/redshift/dvector-float/extconf.rb
 - lib/redshift/state.rb
-- lib/redshift/syntax.rb
 - lib/redshift/target/c.rb
-- lib/redshift/target/c/component-gen.rb
-- lib/redshift/target/c/flow-gen.rb
-- lib/redshift/target/c/flow/algebraic.rb
-- lib/redshift/target/c/flow/buffer.rb
-- lib/redshift/target/c/flow/delay.rb
+- lib/redshift/target/spec.rb
 - lib/redshift/target/c/flow/derivative.rb
+- lib/redshift/target/c/flow/delay.rb
 - lib/redshift/target/c/flow/euler.rb
 - lib/redshift/target/c/flow/expr.rb
+- lib/redshift/target/c/flow/algebraic.rb
+- lib/redshift/target/c/flow/buffer.rb
 - lib/redshift/target/c/flow/rk4.rb
-- lib/redshift/target/c/library.rb
+- lib/redshift/target/c/flow-gen.rb
 - lib/redshift/target/c/world-gen.rb
-- lib/redshift/target/spec.rb
-- lib/redshift/util/accessible-index.rb
+- lib/redshift/target/c/component-gen.rb
+- lib/redshift/target/c/library.rb
+- lib/redshift/meta.rb
+- lib/redshift/util/superhash.rb
 - lib/redshift/util/argos.rb
-- lib/redshift/util/histogram.rb
-- lib/redshift/util/irb-shell.rb
-- lib/redshift/util/isaac.rb
-- lib/redshift/util/modular.rb
-- lib/redshift/util/object-diff.rb
-- lib/redshift/util/plot.rb
 - lib/redshift/util/random.rb
-- lib/redshift/util/superhash.rb
+- lib/redshift/util/irb-shell.rb
 - lib/redshift/util/tkar-driver.rb
-- lib/redshift/util/tracer.rb
+- lib/redshift/util/accessible-index.rb
+- lib/redshift/util/modular.rb
 - lib/redshift/util/tracer/trace.rb
 - lib/redshift/util/tracer/var.rb
+- lib/redshift/util/isaac.rb
+- lib/redshift/util/object-diff.rb
+- lib/redshift/util/tracer.rb
+- lib/redshift/util/histogram.rb
+- lib/redshift/util/plot.rb
+- lib/redshift/port.rb
+- lib/redshift/redshift.rb
+- lib/redshift/component.rb
+- lib/redshift/mixins/shell.rb
+- lib/redshift/mixins/zeno-debugger.rb
+- lib/redshift/syntax.rb
 - lib/redshift/world.rb
-- rakefile
-- test/test.rb
+- lib/redshift/queue.rb
+- lib/redshift.rb
+- test/test_setup.rb
+- test/test_inherit_link.rb
+- test/test_discrete_isolated.rb
+- test/test_connect_strict.rb
 - test/test_buffer.rb
+- test/test_world.rb
+- test/test_flow_link.rb
+- test/test_dvector-float.rb
+- test/test_dvector.rb
+- test/test_reset.rb
+- test/test_inherit_flow.rb
+- test/test.rb
 - test/test_connect.rb
-- test/test_connect_parallel.rb
-- test/test_connect_strict.rb
-- test/test_constant.rb
+- test/test_inherit_state.rb
+- test/test_flow_trans.rb
 - test/test_delay.rb
-- test/test_derivative.rb
-- test/test_discrete.rb
-- test/test_discrete_isolated.rb
-- test/test_dvector.rb
-- test/test_exit.rb
+- test/test_strict_reset_error.rb
 - test/test_flow.rb
-- test/test_flow_link.rb
-- test/test_flow_sub.rb
-- test/test_flow_trans.rb
+- test/test_derivative.rb
 - test/test_inherit.rb
-- test/test_inherit_event.rb
-- test/test_inherit_flow.rb
-- test/test_inherit_link.rb
-- test/test_inherit_setup.rb
-- test/test_inherit_state.rb
 - test/test_inherit_transition.rb
-- test/test_numerics.rb
-- test/test_queue.rb
+- test/test_connect_parallel.rb
 - test/test_queue_alone.rb
-- test/test_reset.rb
-- test/test_setup.rb
-- test/test_strict_continuity.rb
-- test/test_strict_reset_error.rb
+- test/test_exit.rb
+- test/test_discrete.rb
 - test/test_strictness_error.rb
 - test/test_sync.rb
-- test/test_world.rb
-has_rdoc: true
+- test/test_queue.rb
+- test/test_flow_sub.rb
+- test/test_inherit_setup.rb
+- test/test_numerics.rb
+- test/test_strict_continuity.rb
+- test/test_constant.rb
+- test/test_inherit_event.rb
 homepage: http://rubyforge.org/projects/redshift
 licenses: []
-
+metadata: {}
 post_install_message: 
-rdoc_options: 
+rdoc_options:
+- --quiet
+- --line-numbers
+- --inline-source
+- --title
+- CGenerator
 - --main
-- README
-require_paths: 
+- README.md
+require_paths:
 - lib
 - ext
-required_ruby_version: !ruby/object:Gem::Requirement 
-  none: false
-  requirements: 
-  - - ">="
-    - !ruby/object:Gem::Version 
-      hash: 3
-      segments: 
-      - 0
-      version: "0"
-required_rubygems_version: !ruby/object:Gem::Requirement 
-  none: false
-  requirements: 
-  - - ">="
-    - !ruby/object:Gem::Version 
-      hash: 3
-      segments: 
-      - 0
-      version: "0"
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - '>='
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - '>='
+    - !ruby/object:Gem::Version
+      version: '0'
 requirements: []
-
 rubyforge_project: redshift
-rubygems_version: 1.3.7
+rubygems_version: 2.0.3
 signing_key: 
-specification_version: 3
+specification_version: 4
 summary: Simulation of hybrid automata
 test_files: []
-

data/.bnsignore

@@ -1,27 +0,0 @@
-# The list of files that should be ignored by Mr Bones.
-# Lines that start with '#' are comments.
-#
-# A .gitignore file can be used instead by setting it as the ignore
-# file in your Rakefile:
-#
-#   PROJ.ignore_file = '.gitignore'
-#
-# For a project with a C extension, the following would be a good set of
-# exclude patterns (uncomment them if you want to use them):
-# *.[oa]
-# *~
-announcement.txt
-coverage
-doc
-pkg
-*.bck
-*.so
-*.o
-ext/*/*/Makefile
-ext/*/*/*/Makefile
-misc
-junk
-tmp
-*/tmp
-*/*/tmp
-*/junk

data/.gitignore

@@ -1,9 +0,0 @@
-*.bck
-/pkg
-junk
-tmp
-*.o
-*.so
-/ext/*/*/Makefile
-/ext/*/*/*/Makefile
-/rdoc/*

data/TODO

@@ -1,431 +0,0 @@
-Publishing RedShift
-===================
-
-  core for 1.3 release
-    
-    clean up world (save/load etc)
-    tracer
-    event value conditions in sync clause?
-      sync :client => check(:accept){|val| val==self}
-      # from sync-queue.rb
-
-  doc, tutorial, web site
-
-  clean up tests, examples
-  
-  user tools
-    zeno and other debuggers
-    shell
-    visualization interfaces: tkar, gnuplot, opengl
-
-  benchmarks
-  - compare with stateflow and simulink examples
-  - try to scale these examples up
-  - compare with Ptolemy -- ask devs for good benchmarks
-
-  packaging and project mgmt
-  - windows w/ several compilers
-
-  notify
-  - shift-dev folks, hs researchers (e.g., Joao Hispanha, Ed Lee)
-  - contacts who have expressed interest in redshift or shift
-  - others:
-    http://www.dis.anl.gov/exp/cas/index.html
-    http://www.artcompsci.org
-    Sylvain Joyeux (esp. re: distributed simulation)
-    Martin Fowler (see http://martinfowler.com/dslwip/)
-
-  publicize
-  - http://path.berkeley.edu/shift/
-    (this is still the first google hit for "hybrid system simulation")
-  - ruby-talk, sciruby
-  - comp.simulation, comp.soft-sys.(matlab|ptolemy), scs.org
-  - paper?
-
-  funding
-  - nsf or sbir
-    - need to emphasize research goals:
-      - distributed hybrid simulation
-      - further optimizations like strict
-  - approach potential users in industry
-    - GM, with wrapping for CarSim dll
-
-  long-term goals
-  - multiple clocks and threshold crossing detection, as in:
-      http://repository.upenn.edu/ese_papers/123/
-  - vector-valued signals
-    - need proper C parsing first
-  - user-friendly interface and related tools
-  - distributed simulation (HLA. CERTI?)
-  - library of integrators/flows and components
-  - jruby/jvm port (and use duby for actions etc)
-  - import models from simulink, Ptolemy, HSIF, etc.
-  - interface at run time with simulink etc.
-    - redshift as simulink block
-  - rt code generation?
-  - HLA support for interoperability
-
-  backronym: Ruby-based Efficient Deterministic SHIFT
-
-
-
-
-To do
-=====
-
-Project
-
-  Subversion, gems, etc.
-  
-  Docs and tutorial
-
-Bugs
-
-  Make sure the arrays used internally are not shared:
-  call rb_ary_modify() before setting len or etc.
-  
-  what happens if an exception (or throw or break) happens inside
-  of a block during discrete_update? (e.g. an action, reset, or
-  guard block)
-  
-Syntax
-
-  better sync syntax to avoid the :l=>:e, :l=>:f prob
-    sync {l.e, l.f} ?
-  
-  should define, for each link, a TransitionParser method which returns
-    a dummy link object that responds to #event and returns
-    a dummy event that responds to #==(value) so that you can write
-    
-      guard link_var.some_event == 123
-    
-    instead of
-    
-    [:link_var, :some_event, 123]
-    
-  should be possible to allow:
-  
-    reset x => ... instead of reset :x => ...
-
-  replace strictly_* with strict_* and alias back for compat
-
-  express flows, guards, etc, in ruby syntax and use something to parse:
-  
-    nodedump/nodewrap
-    
-    ripper
-    
-    "expansion.rb"
-
-    vars are class methods returning Var obejcts
-
-      resets and even assignment to cont-vars can use '<<'
-
-      equations can use '=='
-
-  reset syntax:
-  
-    reset do
-      x 3
-      y "x+2"
-      z { (x-y).abs }
-
-  check for symbol conflicts
-    user attributes may conflict with Component's attrs
-    ditto for flows and other methods defined in subclasses
-    can we 'hook' method def and attr def to check for conflict? 
-    or just use a consistent naming scheme to keep internals separate?
-  
-  flow /Foo.*/ ...
-    matches on name of states
-
-Semantics
-
-  export event _to_ comp? and sync on event alone w/o link?
-    export [:e, 4] => :lnk  # sender
-    sync :e                 # receiver
-  
-  add check for values of event after sync
-    (and then repeat sync loop)
-    "sync :l => {:e => 3}" or better syntax
-  
-  option to initialize all float vars to NaN?
-
-  ideas from Verilog?
-  
-  ideas from DEVS? (http://moncs.cs.mcgill.ca/people/tfeng/thesis/node12.html)
-  
-  "Buffer" could be used for: 
-  
-    - recurrence relations/ difference equations:
-    
-      recurrence " x = x[-0.1] + x[-0.2] "
-  
-    - input data (possibly interpolated) from table/file/etc
-    
-    - output to data (or file) faster than ruby array of double
-    
-      (  record  " expr " => file ? )
-      
-      Use NArray of doubles for this?
-      
-      Better: array of ptr to 1K blocks of float/double
-      
-      Per state syntax:
-      
-        some_state.record var => "expr"
-        
-        var refers to array of bocks of raw data
-        
-        expr is evaled after discrete update
-    
-    - need a language for piping data streams:
-    
-      src | x | integrate | ... | dst
-
-  register event observers:
-    on comp=>event do ... end
-
-  Does permissive make sense?
-
-  inheritance among states:
-  
-    "state Foo has everything that Bar has, plus ...."
-
-  a transition that can happen only once per discrete step, to easily
-  prevent zeno pb (useful for utility transitions, such as output)
-  
-    better: a "pre-strict" var that can only get reset once per step
-
-  per-state strictness?
-  
-  if  guard "strictvar && something" is checked and strictvar is false,
-    then the guard doesn't need to be checked again, regardless of "something"
-    similarly for:  guard "strictvar"; guard "something"
-  
-  "finalizers" for components -- called when component exits, world
-   is finalized, or app quits
-  
-    more generally, code that executes when a given state is entered:
-    
-      state Exit do
-        # do some finalization stuff here
-      end
-
-    Or:
-    
-      entering SomeState do...end
-      exiting SomeState do...end
-    
-    Maybe this is better handled by adding another state (PreSomeState)
-  
-  abstract classes (no code generated)
-  
-  input events (in place of interrupts?)
-  
-    as opposed to normal events, which are output (pull vs. push)
-    
-    but does this mean arriving events are queued?
-    
-    this would be useful for timers so that client component doesn't
-    have to manage a ref to the timer
-  
-  wait/sleep
-    
-    in a transition, saying "sleep n" says that the component will not
-    check guards for the rest of that discrete update and for n time units.
-    
-  exception handler clauses in transitions (or use interrupts?)
-    on LockFailed { |var, value| ... }
-  
-  state stack:
-    a transition (or interrupt) can push the current state or pop back
-      to a previously saved state (like Kader's idea)
-    syntax:
-      transition ... do
-        push [or pop, in which case the dest. state is ignored]
-      end
-  
-  interrupts
-    a way of enabling a transition without evaluating guards
-      -faster
-    can do sender-receiver, rather than broadcast
-    can register with global interrupt manager
-      notify after T seconds
-      notify when global event happens (like what?)
-    receive in any state, switch to new state optional (push ok)
-    synchronous in the sense that no other components act in between
-      the send and receive, and the receiver action happens before the
-      sender action finishes (?)
-    but not parallel assignment
-    based on methods
-    in sender's action clause: 'x.foo args'
-    in receiver:
-      interrupt :foo => NewState do
-        action { |args| ...}
-        event ...
-      end
-  
-  signals
-    maybe better than interrupts, more general
-    
-    transition ... do
-      signal value => receiver_collection, ...
-    end
-    
-    on value do ... end
-    
-    is this better than a simple method call?
-      yes: can implement queue
-
-  discrete evolution
-    more flexibility:
-      start actions as well as finish actions
-      (before/after)
-      enter and exit blocks for each state
-      start_when and finish_when to implement sync
-    transitions like in statechart
-    parametric transitions?
-    attach :all, ...
-    syncronization
-      explicit?
-
-  exceptions
-    catch them if they arise in action
-    pass them on to handler where?
-  
-  might be better not to raise or rb_raise, but to call redshift_error on the
-  world class, which the class could override as needed
-  
-  Component#teardown called after exit
-    maybe #setup should only be called at last moment before running,
-    so that setup clauses can be added later
-
-Implementation
-
-  use static functions where possible
-
-  decouple expr code from particular states/transitions so that
-    two state can share code
-    changing state name doesn't cause (much) recompile
-    etc.
-
-  option to dump all C code to one file (amalgam), so compiler can optimize more
-
-  improve performance of event and local storage by using native (NVector)
-    where possible, but keeping ruby array for ruby values
-
-  remove -g (if not debug) from CFLAGS
-    add -march=i686 -msse2 -mfpmath=sse (keep -fPIC?)
-    or whatever current hw is (how to determine that?)
-
-  possible to use only 1 tmp value for rk4?
-  
-  optimization: no ContState object, just a pointer in the comp. shadow struct
-    could point to area at end of component's shadow struct
-  
-  revert to on-demand var evaluation during continuous update?
-
-  optimization: transitive closure of strict sleep, based on declaration
-    that prevents setters
-  
-  optimization: weaken "strict" so that resets can apply at end of
-    discrete update, but still get all the optimizations (see bench/discrete.rb)
-    
-    - a new kind of flow that applies an "impulse" to a strict var at the
-      beginning of the next cont step, or
-      
-    - a declaration that a var becomes strict for the rest of the discrete
-      step
-  
-  Allow c-coded actions:
-  
-    transition do
-      action " func(self, x*2, lnk.y) "
-    end
-    
-    cdef <<END
-      func(SelfShadowClass *self, double arg1, double arg2) {
-        ...
-      }
-    END
-
-  Debug mode that uses hooks to add extra checking:
-  
-    - rollover check for d_tick, step_count
-    
-    - check_strict (and make it *not* the default)
-
-  Instead of caching flow function in each cont var, maybe just have pointer
-  to a single per state object? This can also have the outgoing transitions,
-  and so __update_cache can be somewhat faster.
-
-  share mark and free funcs where possible (e.g., guards)
-  
-  guards should not be written in numerical order (".._0", "..._1"), but
-  in a more meaningful way so that changing order doesn't force recompile
-  
-  unified internal repr. for phases
-  
-  insert a mnemonic for quick detection of phase type in discrete update
-
-  distribute Init_clib better
-  
-  break flow-gen.rb and world-gen.rb into several files each
-    flow-gen files can be loaded on demand as flow types are needed
-    most of world-gen can be a .c file used as a template
-  
-  optimization
-    profiling
-      use valgrind, gprof, etc. to profile the C code
-    compare with shift, matlab
-  
-  compile time error checking:
-    translate C compiler error (e.g. bad result type in expr) to ruby exception
-  
-  run time error checking
-    more 'if $DEBUG ...' checks
-    catch definition of flows after commit, etc.
-    
-  exception handling
-    syntax and math errors, esp. in flows, guards
-    use Exception classes
-
-  error messages
-
-    Current file/line position must be saved by many constructs, e.g. reset,
-      so that it can be shown later if there is an error message
-    
-    use ", []" to avoid showing backtrace when it is not helpful
-    
-    exceptions in C code sometimes don't give symbolic info, like var names
-
-  check against ruby 1.9
-  
-    replace RARRAY(x)->len with RARRAY_LEN(x)
-
-  libtcc backend
-  
-  dot backend (see file in lib dir)
-  
-  optimization: split diff_list for different integrators, so comps with
-    only euler flows don't get iterated over as much
-  
-User interface
-
-  yaml and pp outputs
-
-Tools
-
-  profiler mixin for World (also an executable script?)
-
-  debugger mixin for World (also an executable script?)
-    
-  generalize the irb-shell.rb and TO4230 shells, and make RedShift::Shell
-  
-    use this in ZenoDebugger, too
-    
-    can this be a mixin for World
-
-  general vis interface using TkCanvas/tkar or opengl
-