-
Committer:
srba.jiri at gmail
-
Date:
2020-09-11 14:23:39 UTC
-
mfrom:
(213.1.151 interval_tar)
-
Revision ID:
srba.jiri@gmail.com-20200911142339-bq9328s1gppw24uj
merged in lp:~verifypn-maintainers/verifypn/interval_tar doing
- Implements TAR w/o z3, but using a simple integer inference engine for Hoare logic.
- Replaces LP-Solve with GLPK, reduces computation-time and memory overhead
- Implements new global properties, translated into CTL formulae.