|
| From: | Martin Znamirowski |
| Subject: | [BPEL2oWFN-cvs] bpel2owfn/src options.cc options.h petrinet-pat... |
| Date: | Fri, 01 Jun 2007 08:52:10 +0000 |
CVSROOT: /sources/bpel2owfn
Module name: bpel2owfn
Changes by: Martin Znamirowski <znamirow> 07/06/01 08:52:10
Modified files:
src : options.cc options.h petrinet-patterns-scopes.k
Log message:
implemented the "deadlocktest" parameter
CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/options.cc?cvsroot=bpel2owfn&r1=1.84&r2=1.85
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/options.h?cvsroot=bpel2owfn&r1=1.53&r2=1.54
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet-patterns-scopes.k?cvsroot=bpel2owfn&r1=1.43&r2=1.44
| [Prev in Thread] | Current Thread | [Next in Thread] |