Author: niels
Date: Thu Sep 24 11:35:35 2009
New Revision: 4759
URL: http://svn.gna.org/viewcvs/service-tech?rev=4759&view=rev
Log:
Everybody, say hello to Cosme! She is a tool to _C_heck _O_perating guidelines
for _S_imulation, _M_atching and _E_quivalence, and is written by Andreas
Lehmann.
* initial check in
* missing: generic scripts, test cases, copyright headers, documentation, etc.
Added:
trunk/cosme/
trunk/cosme/AUTHORS
trunk/cosme/COPYING
trunk/cosme/ChangeLog
trunk/cosme/Makefile.am
trunk/cosme/NEWS
trunk/cosme/README
trunk/cosme/configure.ac
trunk/cosme/libs/
trunk/cosme/libs/pnapi/
trunk/cosme/libs/pnapi/Makefile.am
trunk/cosme/libs/pnapi/Output.cc
trunk/cosme/libs/pnapi/Output.h
trunk/cosme/libs/pnapi/automaton.cc
trunk/cosme/libs/pnapi/automaton.h
trunk/cosme/libs/pnapi/component.cc
trunk/cosme/libs/pnapi/component.h
trunk/cosme/libs/pnapi/condition.cc
trunk/cosme/libs/pnapi/condition.h
trunk/cosme/libs/pnapi/errorhandling.cc
trunk/cosme/libs/pnapi/formula.cc
trunk/cosme/libs/pnapi/formula.h
trunk/cosme/libs/pnapi/io-format.cc
trunk/cosme/libs/pnapi/link.cc
trunk/cosme/libs/pnapi/link.h
trunk/cosme/libs/pnapi/marking.cc
trunk/cosme/libs/pnapi/marking.h
trunk/cosme/libs/pnapi/myio.cc
trunk/cosme/libs/pnapi/myio.h
trunk/cosme/libs/pnapi/parser-lola-lexer.ll
trunk/cosme/libs/pnapi/parser-lola.yy
trunk/cosme/libs/pnapi/parser-onwd-lexer.ll
trunk/cosme/libs/pnapi/parser-onwd.yy
trunk/cosme/libs/pnapi/parser-owfn-lexer.ll
trunk/cosme/libs/pnapi/parser-owfn.yy
trunk/cosme/libs/pnapi/parser-petrify-lexer.ll
trunk/cosme/libs/pnapi/parser-petrify.yy
trunk/cosme/libs/pnapi/parser-sa-lexer.ll
trunk/cosme/libs/pnapi/parser-sa.yy
trunk/cosme/libs/pnapi/parser.cc
trunk/cosme/libs/pnapi/parser.h
trunk/cosme/libs/pnapi/petrinet-petrify.cc
trunk/cosme/libs/pnapi/petrinet-petrify.h
trunk/cosme/libs/pnapi/petrinet-reduction.cc
trunk/cosme/libs/pnapi/petrinet.cc
trunk/cosme/libs/pnapi/petrinet.h
trunk/cosme/libs/pnapi/pnapi.h
trunk/cosme/libs/pnapi/state.cc
trunk/cosme/libs/pnapi/state.h
trunk/cosme/libs/pnapi/util.cc
trunk/cosme/libs/pnapi/util.h
trunk/cosme/src/
trunk/cosme/src/BitSetC.cc
trunk/cosme/src/BitSetC.h
trunk/cosme/src/Label.cc
trunk/cosme/src/Label.h
trunk/cosme/src/Makefile.am
trunk/cosme/src/OperatingGuideline.cc
trunk/cosme/src/OperatingGuideline.h
trunk/cosme/src/RBTreeStack.cc
trunk/cosme/src/RBTreeStack.h
trunk/cosme/src/Service.cc
trunk/cosme/src/Service.h
trunk/cosme/src/graph-lexic.ll
trunk/cosme/src/graph-syntax.h
trunk/cosme/src/graph-syntax.yy
trunk/cosme/src/main.cc
trunk/cosme/src/og-lexic.ll
trunk/cosme/src/og-syntax.yy
trunk/cosme/src/types.h
trunk/cosme/tests/
trunk/cosme/tests/matching/
trunk/cosme/tests/matching/client_match_1.owfn
trunk/cosme/tests/matching/client_match_1.owfn.png (with props)
trunk/cosme/tests/matching/client_nomatch_1.owfn
trunk/cosme/tests/matching/client_nomatch_1.owfn.png (with props)
trunk/cosme/tests/matching/client_nomatch_2.owfn
trunk/cosme/tests/matching/client_nomatch_2.owfn.png (with props)
trunk/cosme/tests/matching/client_nosupport_1.owfn
trunk/cosme/tests/matching/client_nosupport_1.owfn.png (with props)
trunk/cosme/tests/matching/fiona/
trunk/cosme/tests/matching/fiona/agency_traveler.og
trunk/cosme/tests/matching/fiona/agency_traveler.og.png (with props)
trunk/cosme/tests/matching/fiona/agency_traveler.owfn
trunk/cosme/tests/matching/fiona/agency_traveler.owfn.png (with props)
trunk/cosme/tests/matching/fiona/airline.og
trunk/cosme/tests/matching/fiona/airline.og.png (with props)
trunk/cosme/tests/matching/fiona/airline.owfn
trunk/cosme/tests/matching/fiona/airline.owfn.png (with props)
trunk/cosme/tests/matching/fiona/client_match_1.og
trunk/cosme/tests/matching/fiona/client_nomatch_1.og
trunk/cosme/tests/matching/fiona/client_nomatch_2.og
trunk/cosme/tests/matching/fiona/cycle_1.og
trunk/cosme/tests/matching/fiona/cycle_1.owfn
trunk/cosme/tests/matching/fiona/cycle_2.og
trunk/cosme/tests/matching/fiona/cycle_2.owfn
trunk/cosme/tests/matching/fiona/interface-partner.og
trunk/cosme/tests/matching/fiona/interface_rcv-a_snd-b.og.png (with props)
trunk/cosme/tests/matching/fiona/interface_rcv-a_snd-by.og
trunk/cosme/tests/matching/fiona/interface_rcv-a_snd-by.owfn
trunk/cosme/tests/matching/fiona/interface_rcv-a_snd-by.owfn.png (with
props)
trunk/cosme/tests/matching/fiona/interface_rcv-ax_snd-b.og
trunk/cosme/tests/matching/fiona/interface_rcv-ax_snd-b.owfn
trunk/cosme/tests/matching/fiona/interface_rcv-ax_snd-b.owfn.png (with
props)
trunk/cosme/tests/matching/fiona/internal_match.og
trunk/cosme/tests/matching/fiona/small_cycle.owfn
trunk/cosme/tests/matching/interface-partner.owfn
trunk/cosme/tests/matching/interface_match.og
trunk/cosme/tests/matching/internal.og
trunk/cosme/tests/matching/internal_match.owfn
trunk/cosme/tests/matching/shop.og
trunk/cosme/tests/nets/
trunk/cosme/tests/nets/PO.owfn
trunk/cosme/tests/nets/PO.wendy.og
trunk/cosme/tests/nets/QO.wendy.og
trunk/cosme/tests/nets/RE.og
trunk/cosme/tests/nets/RE.owfn
trunk/cosme/tests/nets/myCoffee.wendy.og
trunk/cosme/tests/simulation/
trunk/cosme/tests/simulation/branch.og
trunk/cosme/tests/simulation/branch_chopped.og
trunk/cosme/tests/simulation/branch_compact.og
trunk/cosme/tests/simulation/branch_compact_extend.og
trunk/cosme/tests/simulation/branch_wrong_bits.og
trunk/cosme/tests/simulation/simple.og
trunk/cosme/tests/simulation/simple_smaller_interface.og
--
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.
