~verifypn-cpn/verifypn/tacpn

~verifypn-cpn/verifypn/tacpn » Changes to Documentation from revision 224

From Revision 224

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