Tags

Tags give the ability to mark specific points in history as being important
  • 0.4.1

    3dc496bc · Update homepage and repository info in OPAM spec. · Oct 21, 2021
  • 0.4.0

    3e262843 · Substitute `/dev/stderr' with `1>&2' in configure script · May 17, 2019
  • 0.3.3

    ac8437fd · New options to impose bounds on local and output numericals · Sep 22, 2017
  • 0.3.2

    a3855744 · Fix opam spec and declare conflict with ReaTK ≥ 0.11 · Sep 22, 2017
  • 0.3.1

    2455bb37 · Bugfix: correct simplification of Boolean/numerical constant expressions · Jul 18, 2016
  • 0.3.0

    05f61f79 · Add support for controllers given as functions · Apr 11, 2016
  • 0.2.4

    56f76193 · Fix opam spec w.r.t opam-pkgdev · Nov 19, 2015
  • 0.2.3

    1e838f23 · Support for local enumeration variables + various improvements w.r.t assertions · May 18, 2015
  • 0.2.2

    8255252c · Enforcing assertion w.r.t environment's initial outputs (best effort) · May 04, 2015
  • 0.2.1

    d2ba3d70 · Bugfix: delay state variables when checking node's assertion · Apr 28, 2015
  • 0.2.0

    c2a9ec85 · Environment generation feature · Apr 28, 2015
  • 0.1.0

    9d324537 · Fix translation of nodes · Mar 10, 2015
  • 0.0.0

    09001668 · Initial commit · Feb 09, 2015