Author: georgstraube
Date: Sun Dec 20 19:23:32 2009
New Revision: 5183
URL: http://svn.gna.org/viewcvs/service-tech?rev=5183&view=rev
Log:
# Enabled unfolding of initial marking and final condition (task #6876).
Added:
trunk/pnapi/utils/unfolder/lexic_hlowfn_final.ll
trunk/pnapi/utils/unfolder/lexic_hlowfn_initial.ll
trunk/pnapi/utils/unfolder/lexic_llowfn_final.ll
trunk/pnapi/utils/unfolder/lexic_llowfn_initial.ll
trunk/pnapi/utils/unfolder/syntax_hlowfn_final.yy
trunk/pnapi/utils/unfolder/syntax_hlowfn_initial.yy
trunk/pnapi/utils/unfolder/syntax_llowfn_final.yy
trunk/pnapi/utils/unfolder/syntax_llowfn_initial.yy
Removed:
trunk/pnapi/utils/unfolder/lexic_hlowfn.ll
trunk/pnapi/utils/unfolder/lexic_llowfn.ll
trunk/pnapi/utils/unfolder/syntax_hlowfn.yy
trunk/pnapi/utils/unfolder/syntax_llowfn.yy
Modified:
trunk/pnapi/utils/unfolder/Makefile.am
trunk/pnapi/utils/unfolder/main.cc
--
You received this e-mail, because you subscribed the mailing list
"service-tech-commits" which will forward you any e-mail addressed to
service-tech-comm...@gna.org. If you want to unsubscribe or make any changes to
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.
