Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Branch: master
Commits on Feb 19, 2014
  1. @meyerj
Commits on Feb 14, 2014
  1. @meyerj

    Added catkin files and env-hooks to set the LUA_PATH

    meyerj authored committed
Commits on Sep 25, 2013
  1. remove old rfsm-dbg

    authored
Commits on Feb 1, 2013
  1. Fix stupid await bug.

    authored
    update was called on each step and recorded the new events
    _regardless_ of the current state. Now only update if the awaits'
    tr.src is not inactive".
    
    Thanks to Bert Willaert for reporting.
Commits on Jan 31, 2013
Commits on Jan 25, 2013
  1. minor fix to one_shot example

    authored
  2. minor fixes

    authored
Commits on Jan 24, 2013
  1. minor READMe update

    authored
  2. update docs

    authored
  3. prepare 1.0

    authored
Commits on Dec 4, 2012
  1. improve seqand err msgs

    authored
Commits on Nov 7, 2012
  1. doc update

    authored
Commits on Nov 1, 2012
Commits on Oct 29, 2012
Commits on Oct 12, 2012
  1. rfsm_rtt: add extra_in_ports

    authored
Commits on Oct 11, 2012
  1. rfsm_proto: misc fixes

    authored
Commits on Sep 28, 2012
  1. update docs for await

    authored
  2. update utils (v0.991)

    authored
Commits on Sep 27, 2012
Commits on Jul 2, 2012
  1. fix doc typo

    authored
  2. manually fix title

    authored
Commits on Jun 28, 2012
  1. Add checkevents plugin.

    authored
    This debugging helper plugin will at load-time construct a list of all
    events used in the FSM. If at runtime an event is received which is
    not known in the known list, a warning message will be printed.
Commits on Jun 19, 2012
Commits on Jun 15, 2012
  1. update utils (0.99)

    authored
  2. regenerate docs

    authored
  3. Fix documentation bug in example 8.1.

    authored
    Thanks to Nicola Preda for reporting.
Commits on Jun 7, 2012
  1. update utils (0.98)

    authored
Commits on Jun 5, 2012
  1. update utils (0.97)

    authored
Something went wrong with that request. Please try again.