Author: niels
Date: Wed Oct 14 11:31:20 2009
New Revision: 4829
URL: http://svn.gna.org/viewcvs/service-tech?rev=4829&view=rev
Log:
------------------------------------------------------------------------
r8 | gierds | 2009-10-10 15:56:15 +0200 (Sa, 10 Okt 2009) | 1 line
Changed paths:
M /trunk/marlene/configure.ac
M /trunk/marlene/src/adapter.cc
M /trunk/marlene/src/cmdline.ggo
M /trunk/marlene/src/helper.cc
M /trunk/marlene/src/helper.h
M /trunk/marlene/src/marlene.cc
* einige von Niels Kommentaren eingearbeitet
------------------------------------------------------------------------
r13 | niels | 2009-10-11 11:53:41 +0200 (So, 11 Okt 2009) | 2 lines
Changed paths:
M /trunk/marlene/src/adapter.cc
M /trunk/marlene/src/adapter.h
todos
------------------------------------------------------------------------
r14 | gierds | 2009-10-11 14:07:28 +0200 (So, 11 Okt 2009) | 2 lines
Changed paths:
M /trunk/marlene/src/adapter.cc
* fixed some todos
* new wendy options
------------------------------------------------------------------------
r17 | gierds | 2009-10-11 16:17:14 +0200 (So, 11 Okt 2009) | 1 line
Changed paths:
M /trunk/marlene/libs/pnapi/Makefile.am
M /trunk/marlene/libs/pnapi/automaton.cc
M /trunk/marlene/libs/pnapi/automaton.h
M /trunk/marlene/libs/pnapi/component.cc
M /trunk/marlene/libs/pnapi/component.h
M /trunk/marlene/libs/pnapi/condition.cc
M /trunk/marlene/libs/pnapi/condition.h
M /trunk/marlene/libs/pnapi/formula.cc
M /trunk/marlene/libs/pnapi/formula.h
M /trunk/marlene/libs/pnapi/io-format.cc
M /trunk/marlene/libs/pnapi/link.cc
M /trunk/marlene/libs/pnapi/link.h
M /trunk/marlene/libs/pnapi/marking.cc
M /trunk/marlene/libs/pnapi/marking.h
M /trunk/marlene/libs/pnapi/myio.cc
M /trunk/marlene/libs/pnapi/myio.h
M /trunk/marlene/libs/pnapi/parser-lola-lexer.ll
M /trunk/marlene/libs/pnapi/parser-lola.yy
M /trunk/marlene/libs/pnapi/parser-owfn-lexer.ll
M /trunk/marlene/libs/pnapi/parser-owfn.yy
D /trunk/marlene/libs/pnapi/parser-petrify-lexer.ll
D /trunk/marlene/libs/pnapi/parser-petrify.yy
A /trunk/marlene/libs/pnapi/parser-pn-lexer.ll
A /trunk/marlene/libs/pnapi/parser-pn.yy
M /trunk/marlene/libs/pnapi/parser-sa-lexer.ll
M /trunk/marlene/libs/pnapi/parser-sa.yy
M /trunk/marlene/libs/pnapi/parser.cc
M /trunk/marlene/libs/pnapi/parser.h
D /trunk/marlene/libs/pnapi/petrinet-petrify.cc
A /trunk/marlene/libs/pnapi/petrinet-pn.cc
M /trunk/marlene/libs/pnapi/petrinet-reduction.cc
M /trunk/marlene/libs/pnapi/petrinet.cc
M /trunk/marlene/libs/pnapi/petrinet.h
M /trunk/marlene/libs/pnapi/pnapi.h
M /trunk/marlene/libs/pnapi/state.cc
M /trunk/marlene/libs/pnapi/state.h
M /trunk/marlene/libs/pnapi/util.cc
M /trunk/marlene/libs/pnapi/util.h
Updated PNAPI
------------------------------------------------------------------------
r31 | gierds | 2009-10-11 23:56:49 +0200 (So, 11 Okt 2009) | 2 lines
Changed paths:
M /trunk/marlene/configure.ac
M /trunk/marlene/libs/pnapi/Makefile.am
M /trunk/marlene/libs/pnapi/Output.cc
M /trunk/marlene/libs/pnapi/Output.h
M /trunk/marlene/libs/pnapi/automaton.cc
M /trunk/marlene/libs/pnapi/automaton.h
M /trunk/marlene/libs/pnapi/component.cc
M /trunk/marlene/libs/pnapi/component.h
M /trunk/marlene/libs/pnapi/condition.cc
M /trunk/marlene/libs/pnapi/condition.h
M /trunk/marlene/libs/pnapi/errorhandling.cc
M /trunk/marlene/libs/pnapi/formula.cc
M /trunk/marlene/libs/pnapi/formula.h
M /trunk/marlene/libs/pnapi/io-format.cc
M /trunk/marlene/libs/pnapi/link.cc
M /trunk/marlene/libs/pnapi/link.h
M /trunk/marlene/libs/pnapi/marking.cc
M /trunk/marlene/libs/pnapi/marking.h
M /trunk/marlene/libs/pnapi/myio.cc
M /trunk/marlene/libs/pnapi/parser-pn-lexer.ll
M /trunk/marlene/libs/pnapi/parser.cc
M /trunk/marlene/libs/pnapi/parser.h
M /trunk/marlene/libs/pnapi/petrinet-pn.cc
M /trunk/marlene/libs/pnapi/petrinet-reduction.cc
M /trunk/marlene/libs/pnapi/petrinet.cc
M /trunk/marlene/libs/pnapi/petrinet.h
M /trunk/marlene/libs/pnapi/state.cc
M /trunk/marlene/libs/pnapi/state.h
M /trunk/marlene/libs/pnapi/util.h
M /trunk/marlene/src/adapter.cc
M /trunk/marlene/src/cmdline.ggo
M /trunk/marlene/src/marlene.conf.in
* update PNAPI
* support for Genet
------------------------------------------------------------------------
r36 | gierds | 2009-10-12 00:33:31 +0200 (Mo, 12 Okt 2009) | 1 line
Changed paths:
M /trunk/marlene/configure.ac
M /trunk/marlene/src/adapter.cc
* bug fixing
------------------------------------------------------------------------
r37 | gierds | 2009-10-12 00:36:40 +0200 (Mo, 12 Okt 2009) | 1 line
Changed paths:
M /trunk/marlene/tests/testfiles/nopetrify.conf
* adapted test case
------------------------------------------------------------------------
r38 | gierds | 2009-10-12 00:41:14 +0200 (Mo, 12 Okt 2009) | 1 line
Changed paths:
M /trunk/marlene/tests/testfiles/nopetrify.conf
------------------------------------------------------------------------
r40 | gierds | 2009-10-12 09:38:58 +0200 (Mo, 12 Okt 2009) | 1 line
Changed paths:
M /trunk/marlene/tests/testsuite.at
* Genet is not used by default in test cases
------------------------------------------------------------------------
r46 | gierds | 2009-10-12 13:48:25 +0200 (Mo, 12 Okt 2009) | 1 line
Changed paths:
M /trunk/marlene/tests/testsuite.at
* test cases are verbose
------------------------------------------------------------------------
r48 | gierds | 2009-10-12 14:21:58 +0200 (Mo, 12 Okt 2009) | 2 lines
Changed paths:
M /trunk/marlene/libs/pnapi/formula.cc
M /trunk/marlene/libs/pnapi/marking.cc
M /trunk/marlene/libs/pnapi/petrinet-pn.cc
M /trunk/marlene/libs/pnapi/petrinet.cc
M /trunk/marlene/libs/pnapi/petrinet.h
M /trunk/marlene/src/adapter.cc
M /trunk/marlene/src/helper.cc
M /trunk/marlene/tests/testsuite.at
* check, whether Wendy creates a file, if not abort
------------------------------------------------------------------------
r49 | gierds | 2009-10-12 14:34:57 +0200 (Mo, 12 Okt 2009) | 1 line
Changed paths:
M /trunk/marlene/src/helper.cc
M /trunk/marlene/src/helper.h
* additional status messages in error case
------------------------------------------------------------------------
r65 | gierds | 2009-10-12 17:29:25 +0200 (Mo, 12 Okt 2009) | 1 line
Changed paths:
M /trunk/marlene/tests/Makefile.am
M /trunk/marlene/tests/cover.sh.in
A /trunk/marlene/tests/zcov
A /trunk/marlene/tests/zcov/GCovGroup.py
A /trunk/marlene/tests/zcov/GCovParser.py
A /trunk/marlene/tests/zcov/js
A /trunk/marlene/tests/zcov/js/sorttable.js
A /trunk/marlene/tests/zcov/js/sourceview.js
A /trunk/marlene/tests/zcov/style.css
A /trunk/marlene/tests/zcov/zcov-genhtml
A /trunk/marlene/tests/zcov/zcov-merge
A /trunk/marlene/tests/zcov/zcov-scan
A /trunk/marlene/tests/zcov/zcov-summarize
* added zcov branch covering
------------------------------------------------------------------------
r76 | gierds | 2009-10-12 22:40:42 +0200 (Mo, 12 Okt 2009) | 1 line
Changed paths:
M /trunk/marlene/libs/pnapi/petrinet-pn.cc
M /trunk/marlene/src/adapter.cc
M /trunk/marlene/src/adapter.h
M /trunk/marlene/src/cmdline.ggo
M /trunk/marlene/tests/package.m4.in
M /trunk/marlene/tests/testsuite.at
* option for chosing Petrify or Genet
------------------------------------------------------------------------
r77 | gierds | 2009-10-12 22:41:59 +0200 (Mo, 12 Okt 2009) | 1 line
Changed paths:
M /trunk/marlene/doc/ChangeLog.texi
------------------------------------------------------------------------
r86 | niels | 2009-10-14 10:31:56 +0200 (Mi, 14 Okt 2009) | 3 lines
Changed paths:
M /trunk/lola/src/userconfig.H
M /trunk/marlene/src/adapter.h
M /trunk/pnapi/Makefile.am
M /trunk/pnapi/configure.ac
M /trunk/pnapi/src/petrinet.cc
A /trunk/pnapi/utils/unfolder
A /trunk/pnapi/utils/unfolder/Makefile.am
A /trunk/pnapi/utils/unfolder/lexic_hlowfn.ll
A /trunk/pnapi/utils/unfolder/lexic_llowfn.ll
A /trunk/pnapi/utils/unfolder/main.cc
A /trunk/pnapi/utils/unfolder/syntax_hlowfn.yy
A /trunk/pnapi/utils/unfolder/syntax_llowfn.yy
A /trunk/pnapi/utils/unfolder/types.h
M /trunk/wendy/tests/Makefile.am
M /trunk/wendy/tests/cover.sh.in
A /trunk/wendy/tests/zcov
A /trunk/wendy/tests/zcov/GCovGroup.py
A /trunk/wendy/tests/zcov/GCovParser.py
A /trunk/wendy/tests/zcov/js
A /trunk/wendy/tests/zcov/js/sorttable.js
A /trunk/wendy/tests/zcov/js/sourceview.js
A /trunk/wendy/tests/zcov/style.css
A /trunk/wendy/tests/zcov/zcov-genhtml
A /trunk/wendy/tests/zcov/zcov-merge
A /trunk/wendy/tests/zcov/zcov-scan
A /trunk/wendy/tests/zcov/zcov-summarize
Meine letzten Änderungen.
Added:
trunk/marlene/libs/pnapi/parser-pn-lexer.ll
trunk/marlene/libs/pnapi/parser-pn.yy
trunk/marlene/libs/pnapi/petrinet-pn.cc
trunk/marlene/tests/zcov/
trunk/marlene/tests/zcov/GCovGroup.py
trunk/marlene/tests/zcov/GCovParser.py
trunk/marlene/tests/zcov/js/
trunk/marlene/tests/zcov/js/sorttable.js
trunk/marlene/tests/zcov/js/sourceview.js
trunk/marlene/tests/zcov/style.css
trunk/marlene/tests/zcov/zcov-genhtml
trunk/marlene/tests/zcov/zcov-merge
trunk/marlene/tests/zcov/zcov-scan
trunk/marlene/tests/zcov/zcov-summarize
Modified:
trunk/marlene/ChangeLog
trunk/marlene/NEWS
trunk/marlene/configure.ac
trunk/marlene/doc/ChangeLog.texi
trunk/marlene/libs/pnapi/Makefile.am
trunk/marlene/libs/pnapi/Output.cc
trunk/marlene/libs/pnapi/Output.h
trunk/marlene/libs/pnapi/automaton.cc
trunk/marlene/libs/pnapi/automaton.h
trunk/marlene/libs/pnapi/component.cc
trunk/marlene/libs/pnapi/component.h
trunk/marlene/libs/pnapi/condition.cc
trunk/marlene/libs/pnapi/condition.h
trunk/marlene/libs/pnapi/errorhandling.cc
trunk/marlene/libs/pnapi/formula.cc
trunk/marlene/libs/pnapi/formula.h
trunk/marlene/libs/pnapi/io-format.cc
trunk/marlene/libs/pnapi/link.cc
trunk/marlene/libs/pnapi/link.h
trunk/marlene/libs/pnapi/marking.cc
trunk/marlene/libs/pnapi/marking.h
trunk/marlene/libs/pnapi/myio.cc
trunk/marlene/libs/pnapi/myio.h
trunk/marlene/libs/pnapi/parser-lola-lexer.ll
trunk/marlene/libs/pnapi/parser-lola.yy
trunk/marlene/libs/pnapi/parser-owfn-lexer.ll
trunk/marlene/libs/pnapi/parser-owfn.yy
trunk/marlene/libs/pnapi/parser-petrify-lexer.ll
trunk/marlene/libs/pnapi/parser-petrify.yy
trunk/marlene/libs/pnapi/parser-sa-lexer.ll
trunk/marlene/libs/pnapi/parser-sa.yy
trunk/marlene/libs/pnapi/parser.cc
trunk/marlene/libs/pnapi/parser.h
trunk/marlene/libs/pnapi/petrinet-petrify.cc
trunk/marlene/libs/pnapi/petrinet-reduction.cc
trunk/marlene/libs/pnapi/petrinet.cc
trunk/marlene/libs/pnapi/petrinet.h
trunk/marlene/libs/pnapi/pnapi.h
trunk/marlene/libs/pnapi/state.cc
trunk/marlene/libs/pnapi/state.h
trunk/marlene/libs/pnapi/util.cc
trunk/marlene/libs/pnapi/util.h
trunk/marlene/src/adapter.cc
trunk/marlene/src/adapter.h
trunk/marlene/src/cmdline.ggo
trunk/marlene/src/helper.cc
trunk/marlene/src/helper.h
trunk/marlene/src/marlene.cc
trunk/marlene/src/marlene.conf.in
trunk/marlene/tests/Makefile.am
trunk/marlene/tests/cover.sh.in
trunk/marlene/tests/package.m4.in
trunk/marlene/tests/testfiles/nopetrify.conf
trunk/marlene/tests/testsuite.at
--
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.
