Author: waltemath
Date: Mon Mar 9 10:17:47 2009
New Revision: 3969
URL: http://svn.gna.org/viewcvs/service-tech?rev=3969&view=rev
Log:
task #6197 (https://gna.org/task/?6197): added fiona branch with copy of
current version of pnapi integrated
* partner and reduction tests still fail
Added:
branches/fiona-pnapi/
branches/fiona-pnapi/fiona/ (props changed)
- copied from r3968, trunk/fiona/
branches/fiona-pnapi/fiona/libs/pnapi/automaton.cc (with props)
branches/fiona-pnapi/fiona/libs/pnapi/automaton.h (with props)
branches/fiona-pnapi/fiona/libs/pnapi/component.cc (with props)
branches/fiona-pnapi/fiona/libs/pnapi/component.h (with props)
branches/fiona-pnapi/fiona/libs/pnapi/condition.cc (with props)
branches/fiona-pnapi/fiona/libs/pnapi/condition.h (with props)
branches/fiona-pnapi/fiona/libs/pnapi/formula.cc (with props)
branches/fiona-pnapi/fiona/libs/pnapi/formula.h (with props)
branches/fiona-pnapi/fiona/libs/pnapi/io.cc (with props)
branches/fiona-pnapi/fiona/libs/pnapi/io.h (with props)
branches/fiona-pnapi/fiona/libs/pnapi/link.cc (with props)
branches/fiona-pnapi/fiona/libs/pnapi/link.h (with props)
branches/fiona-pnapi/fiona/libs/pnapi/marking.cc (with props)
branches/fiona-pnapi/fiona/libs/pnapi/marking.h (with props)
branches/fiona-pnapi/fiona/libs/pnapi/parser-onwd-lexer.ll
branches/fiona-pnapi/fiona/libs/pnapi/parser-onwd.yy
branches/fiona-pnapi/fiona/libs/pnapi/parser-owfn-lexer.ll
branches/fiona-pnapi/fiona/libs/pnapi/parser-owfn.yy
branches/fiona-pnapi/fiona/libs/pnapi/parser-petrify-lexer.ll
branches/fiona-pnapi/fiona/libs/pnapi/parser-petrify.yy
branches/fiona-pnapi/fiona/libs/pnapi/parser.cc (with props)
branches/fiona-pnapi/fiona/libs/pnapi/parser.h (with props)
branches/fiona-pnapi/fiona/libs/pnapi/petrinet-petrify.cc (with props)
branches/fiona-pnapi/fiona/libs/pnapi/state.cc (with props)
branches/fiona-pnapi/fiona/libs/pnapi/state.h (with props)
branches/fiona-pnapi/fiona/libs/pnapi/util.cc (with props)
branches/fiona-pnapi/fiona/libs/pnapi/util.h (with props)
Removed:
branches/fiona-pnapi/fiona/libs/pnapi/helpers.cc
branches/fiona-pnapi/fiona/libs/pnapi/helpers.h
branches/fiona-pnapi/fiona/libs/pnapi/options.h
branches/fiona-pnapi/fiona/libs/pnapi/pnapi.cc
Modified:
branches/fiona-pnapi/fiona/libs/pnapi/Makefile.am
branches/fiona-pnapi/fiona/libs/pnapi/petrinet-output.cc
branches/fiona-pnapi/fiona/libs/pnapi/petrinet-reduction.cc
branches/fiona-pnapi/fiona/libs/pnapi/petrinet.cc
branches/fiona-pnapi/fiona/libs/pnapi/petrinet.h
branches/fiona-pnapi/fiona/libs/pnapi/pnapi.h
branches/fiona-pnapi/fiona/src/Graph.cc
branches/fiona-pnapi/fiona/src/Graph.h
branches/fiona-pnapi/fiona/src/Makefile.am
branches/fiona-pnapi/fiona/src/adapter.cc
branches/fiona-pnapi/fiona/src/adapter.h
branches/fiona-pnapi/fiona/src/main.cc
branches/fiona-pnapi/fiona/src/options.cc
branches/fiona-pnapi/fiona/src/options.h
branches/fiona-pnapi/fiona/src/owfn.cc
branches/fiona-pnapi/fiona/src/owfn.h
branches/fiona-pnapi/fiona/src/stg2owfn.cc
branches/fiona-pnapi/fiona/tests/regression/bug12239.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.
