~tapaal-red/verifypn/rule-l

~tapaal-red/verifypn/rule-l » Changes to src from revision 253

From Revision 253

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
225		merged in lp:~verifypn-maintainers/verifypn/interval_tar doi... 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.	srba.jiri at gmail	3 years ago