Author: fahland
Date: Mon Oct 20 01:15:53 2008
New Revision: 3491
URL: http://svn.gna.org/viewcvs/service-tech?rev=3491&view=rev
Log:
o UML2oWFN v1.10 release
+ added correct copyright notices to all source files
+ adapted automatic ChangeLog generation from Rachel
+ added documentation about the different termination semantics provided by
UML2oWFN
+ added LoLA userconfig files that are needed to compile the different LoLA
variants for the verification of process libraries
Added:
trunk/uml2owfn_soundness2/lola/
trunk/uml2owfn_soundness2/lola/userconfig.H.full-limited
trunk/uml2owfn_soundness2/lola/userconfig.H.modelchecking
trunk/uml2owfn_soundness2/lola/userconfig.H.statepredicate
trunk/uml2owfn_soundness2/maintainer/
trunk/uml2owfn_soundness2/maintainer/Makefile.am
Modified:
trunk/uml2owfn_soundness2/COPYING
trunk/uml2owfn_soundness2/ChangeLog
trunk/uml2owfn_soundness2/Makefile.am
trunk/uml2owfn_soundness2/NEWS
trunk/uml2owfn_soundness2/README
trunk/uml2owfn_soundness2/configure.ac
trunk/uml2owfn_soundness2/doc/ChangeLog.texi
trunk/uml2owfn_soundness2/doc/Makefile.am
trunk/uml2owfn_soundness2/doc/uml2owfn.texi
trunk/uml2owfn_soundness2/src/Makefile.am
trunk/uml2owfn_soundness2/src/block.cc
trunk/uml2owfn_soundness2/src/block.h
trunk/uml2owfn_soundness2/src/bom-process.cc
trunk/uml2owfn_soundness2/src/bom-process.h
trunk/uml2owfn_soundness2/src/colorconsole.h
trunk/uml2owfn_soundness2/src/debug.cc
trunk/uml2owfn_soundness2/src/debug.h
trunk/uml2owfn_soundness2/src/frontend-lexer.ll
trunk/uml2owfn_soundness2/src/frontend-parser.yy
trunk/uml2owfn_soundness2/src/globals.cc
trunk/uml2owfn_soundness2/src/globals.h
trunk/uml2owfn_soundness2/src/helpers.cc
trunk/uml2owfn_soundness2/src/helpers.h
trunk/uml2owfn_soundness2/src/options.cc
trunk/uml2owfn_soundness2/src/options.h
trunk/uml2owfn_soundness2/src/petrinet-formula.cc
trunk/uml2owfn_soundness2/src/petrinet-formula.h
trunk/uml2owfn_soundness2/src/petrinet-output.cc
trunk/uml2owfn_soundness2/src/petrinet-reduction.cc
trunk/uml2owfn_soundness2/src/petrinet-workflow.cc
trunk/uml2owfn_soundness2/src/petrinet-workflow.h
trunk/uml2owfn_soundness2/src/petrinet.cc
trunk/uml2owfn_soundness2/src/petrinet.h
trunk/uml2owfn_soundness2/src/pnapi.h
trunk/uml2owfn_soundness2/src/uml2owfn.cc
trunk/uml2owfn_soundness2/src/yystype.h
--
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.
