Author: rimueller
Date: Fri Aug 1 16:36:03 2008
New Revision: 3212
URL: http://svn.gna.org/viewcvs/service-tech?rev=3212&view=rev
Log:
- fixed bug #11971 (https://gna.org/bugs/?11971): memory leak(s) in the OG lexer
- fixed bug #11970 (https://gna.org/bugs/?11970): memory leak during OG
computation
- fixed bug #11985 (https://gna.org/bugs/?11985): false interface places during
smallpartner computation from IG(s)
- implemented task #6093 (https://gna.org/task/?6093): normalisation of oWFNs
(option: -t normalize)
Modified:
trunk/fiona/src/AnnotatedGraph.cc
trunk/fiona/src/CommunicationGraph.cc
trunk/fiona/src/GraphFormula.cc
trunk/fiona/src/GraphFormula.h
trunk/fiona/src/OG.cc
trunk/fiona/src/PetriNetNode.cc
trunk/fiona/src/PetriNetNode.h
trunk/fiona/src/lexer_og.ll
trunk/fiona/src/main.cc
trunk/fiona/src/options.cc
trunk/fiona/src/options.h
trunk/fiona/src/owfn.cc
trunk/fiona/src/owfn.h
trunk/fiona/src/owfnPlace.cc
trunk/fiona/src/owfnPlace.h
trunk/fiona/src/stg2owfn.cc
trunk/fiona/src/syntax_og.yy
trunk/fiona/tests/partner.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.
