Author: fahland
Date: Sat Jan 31 17:38:07 2009
New Revision: 3779
URL: http://svn.gna.org/viewcvs/service-tech?rev=3779&view=rev
Log:
* migrated documentation, and configuration files from old uml2owfn-1.11 to
this version
* renamed parameter '-a removePinsets' to '-a noData' and prepared for changes
in the termination semantics
* added another filter criterion to become compliant with IBM
Added:
trunk/uml2owfn/doc/
trunk/uml2owfn/doc/ChangeLog.texi
trunk/uml2owfn/doc/Makefile.am
trunk/uml2owfn/doc/fdl.texi
trunk/uml2owfn/doc/gendocs.sh
trunk/uml2owfn/doc/gendocs_template
trunk/uml2owfn/doc/texinfo.tex
trunk/uml2owfn/doc/uml2owfn.texi
trunk/uml2owfn/lola/
trunk/uml2owfn/lola/userconfig.H.full-limited
trunk/uml2owfn/lola/userconfig.H.liveprop
trunk/uml2owfn/lola/userconfig.H.modelchecking
trunk/uml2owfn/lola/userconfig.H.statepredicate
Modified:
trunk/uml2owfn/ChangeLog
trunk/uml2owfn/Makefile.am
trunk/uml2owfn/NEWS
trunk/uml2owfn/configure.ac
trunk/uml2owfn/src/AST.cc
trunk/uml2owfn/src/Makefile.am
trunk/uml2owfn/src/internal-representation.cc
trunk/uml2owfn/src/internal-representation.h
trunk/uml2owfn/src/options.cc
trunk/uml2owfn/src/options.h
trunk/uml2owfn/src/petrinet-output.cc
trunk/uml2owfn/src/petrinet-workflow.cc
trunk/uml2owfn/src/petrinet-workflow.h
trunk/uml2owfn/src/uml2owfn.cc
trunk/uml2owfn/src/uml2owfn.h.in
trunk/uml2owfn/tests/compiler_allformats.sh
trunk/uml2owfn/tests/compiler_soundness.sh
--
You received this e-mail, because you subscribed the mailing list
"service-tech-commits" which will forward you any e-mail addressed to
[email protected]. If you want to unsubscribe or make any changes to
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.
