Author: danitz
Date: Mon Aug 25 12:54:07 2008
New Revision: 3283

URL: http://svn.gna.org/viewcvs/service-tech?rev=3283&view=rev
Log:
- veraltete cover_simulation aus dem Hauptzweig entfernt (einschliesslich der 
alten cover-Formel über die Transitionen und die Strukturformel)
- Testfälle für die cover sim entfernt


Removed:
    trunk/fiona/tests/cover_sim.sh
    trunk/fiona/tests/coverability/cov1.og
    trunk/fiona/tests/coverability/cov2.og
    trunk/fiona/tests/coverability/cov3.og
    trunk/fiona/tests/coverability/cov4.og
Modified:
    trunk/fiona/src/AnnotatedGraph.cc
    trunk/fiona/src/AnnotatedGraph.h
    trunk/fiona/src/main.cc
    trunk/fiona/src/options.cc
    trunk/fiona/src/options.h


-- 
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.

Reply via email to