Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
branch: master
Commits on Jul 3, 2014
  1. fixed tests

    authored
  2. fixed tests

    authored
Commits on Jun 25, 2014
  1. refactor

    authored
Commits on Jun 23, 2014
Commits on May 28, 2014
  1. refactored the tests

    authored
  2. many refactorings

    authored
Commits on May 19, 2014
Commits on May 16, 2014
Commits on May 15, 2014
Commits on May 14, 2014
  1. fixed method name

    authored
  2. fixed a bug where the specification could not show values for state

    authored
    variales if the loaded machine did not have state variables but its
    included machine had
Commits on May 12, 2014
  1. fixed some tests

    authored
  2. fixed a problems where some set where get into related input variables.

    authored
    also fixed a problem about getting variables from a domain expression.
Commits on May 8, 2014
  1. added properties directly on the auxiliary B machine. Also getting

    authored
    properties from included machines.
Commits on Apr 30, 2014
Commits on Mar 18, 2014
Commits on Sep 10, 2013
  1. fixed more HTML formatting

    authored
Commits on Sep 5, 2013
Commits on Sep 4, 2013
  1. fixed a bug which contant values where considered to be variables when

    authored
    present in conditional statements
Something went wrong with that request. Please try again.