~tapaal-ltl/verifypn/rule-D-fix

• Changes
• Files

~tapaal-ltl/verifypn/rule-D-fix » Changes to include from revision 241

From Revision 241

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

Loggerhead is a web-based interface for Breezy
Version: 2.0.1