Skip to content
GitLab
Explore
Sign in
Register
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