Skip to content
GitLab
Explore
Sign in
Register
Reaple
ReaTK
Tags
Tags give the ability to mark specific points in history as being important
0.18.1
5d6fa9cb
·
Add access to some coreachability computations in Realib's API
·
Apr 11, 2023
0.17.4
49a3d363
·
Fix some deprecation warnings from bddapron ≥ 2.99.7
·
Aug 12, 2022
0.17.3
80a75e70
·
New Realib.Synth.Coreach module for direct use of co-reachability fixed-point...
·
Apr 26, 2021
0.17.2
cdaf9bd0
·
Offer an option to compute a controller in intial locations only
·
Jun 19, 2020
0.17.1
972813bf
·
Merge branch 'doptim' into reatk
·
Jun 08, 2020
0.16.2
6702c81b
·
Merge branch 'reatk' of
git+ssh://scm.gforge.inria.fr//gitroot/reatk/reatk
into reatk
·
Nov 08, 2019
0.16.1
ca13f01f
·
Explicitly depend on mlcuddidl ≥ 3.0.5 as BDD decompositions are broken in previous versions
·
Oct 16, 2019
0.15.12
05635807
·
Allow dynamic CUDD variable reordering during substitutions of outter fixpoints in Realib.Synth
·
Oct 09, 2019
0.15.11
89b8eb28
·
Drop support for OCaml < 4.03, and remove dependency to camlp4
·
Jul 29, 2019
0.15.10
db07bc71
·
Intersect initial state with assertion in new semantics for environment
·
Jun 13, 2019
0.15.9
69ee021a
·
Fix log roll in synthesis algorithms
·
May 28, 2019
0.15.8
084fcbfb
·
Disable asynchronous CUDD variable reorderings during (some) susbtitutions
·
Mar 27, 2019
0.15.7
e74b37b6
·
Faster computation of careset for enumeration variables in BddapronUtil
·
Mar 26, 2019
0.15.6
cb8866fc
·
Update dependency on bddapron ≥ 2.99.10
·
Mar 12, 2019
0.15.5
70f05d28
·
Augment Rutils.IO with a new routine for direct binary output
·
Feb 24, 2019
0.15.4
ef1c1363
·
Depend on `opam-pkgdev ≥ 0.7' (avoids `/dev/stderr')
·
Feb 13, 2019
0.15.3
3ab11493
·
New options to enable/disable static & dynamic reorderings during controller triangulation
·
Jan 30, 2019
0.15.2
8ad01323
·
Partially handle equalities with masked Bounded Integers when evaluating...
·
Jan 14, 2019
0.15.1
0b90bbf7
·
Merge branch 'newassert+contract+inputelim' into reatk
·
Dec 18, 2018
0.14.2
356dc7f1
·
Fix handling of flagged constant integer for shift operand in Cn2rl
·
Oct 15, 2018
Prev
1
2
3
Next