-
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.