~tapaal-dist-ctl/verifypn/verifypn-dist-ctl

• Changes
• Files

~tapaal-dist-ctl/verifypn/verifypn-dist-ctl » Changes to Documentation from revision 365

From Revision 365

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
47		updated documentation for rule B (missing condition) updated documentation for rule B (missing condition)	Jiri Srba	10 years ago
43		merged in a branch implementing -r switch merged in a branch implementing -r switch enabeling structural net reductions as preprocessing for the verification	Jiri Srba	10 years ago

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