Author: niels
Date: Tue Oct 21 22:51:45 2008
New Revision: 3502
URL: http://svn.gna.org/viewcvs/service-tech?rev=3502&view=rev
Log:
* added copyright header to Fiona's source files
* changed the README, AUTHORS and THANKS files according to our discussion
* removed unnecessary compiler flags for CUDD
* set Automake to "gnits" mode
Modified:
trunk/fiona/AUTHORS
trunk/fiona/ChangeLog
trunk/fiona/Makefile.am
trunk/fiona/Makefile.covcommon
trunk/fiona/NEWS
trunk/fiona/README
trunk/fiona/THANKS
trunk/fiona/configure.ac
trunk/fiona/src/AnnotatedGraph.cc
trunk/fiona/src/AnnotatedGraph.h
trunk/fiona/src/AnnotatedGraphEdge.cc
trunk/fiona/src/AnnotatedGraphEdge.h
trunk/fiona/src/AnnotatedGraphNode.cc
trunk/fiona/src/AnnotatedGraphNode.h
trunk/fiona/src/BddLabel.cc
trunk/fiona/src/BddLabel.h
trunk/fiona/src/BddRepresentation.cc
trunk/fiona/src/BddRepresentation.h
trunk/fiona/src/CommunicationGraph.cc
trunk/fiona/src/CommunicationGraph.h
trunk/fiona/src/Exchangeability.cc
trunk/fiona/src/Exchangeability.h
trunk/fiona/src/GastexGraph.cc
trunk/fiona/src/GastexGraph.h
trunk/fiona/src/Graph.cc
trunk/fiona/src/Graph.h
trunk/fiona/src/GraphEdge.cc
trunk/fiona/src/GraphEdge.h
trunk/fiona/src/GraphFormula.cc
trunk/fiona/src/GraphFormula.h
trunk/fiona/src/GraphNode.cc
trunk/fiona/src/GraphNode.h
trunk/fiona/src/IG.cc
trunk/fiona/src/IG.h
trunk/fiona/src/Makefile.am
trunk/fiona/src/OG.cc
trunk/fiona/src/OG.h
trunk/fiona/src/PetriNetNode.cc
trunk/fiona/src/PetriNetNode.h
trunk/fiona/src/SinglyLinkedList.h
trunk/fiona/src/adapter.cc
trunk/fiona/src/adapter.h
trunk/fiona/src/binDecision.cc
trunk/fiona/src/binDecision.h
trunk/fiona/src/containers.cc
trunk/fiona/src/containers.h
trunk/fiona/src/debug.cc
trunk/fiona/src/debug.h
trunk/fiona/src/dimensions.h
trunk/fiona/src/dot2tex.cc
trunk/fiona/src/dot2tex.h
trunk/fiona/src/formula.cc
trunk/fiona/src/formula.h
trunk/fiona/src/lexer_adapt_rules.ll
trunk/fiona/src/lexer_dot.ll
trunk/fiona/src/lexer_og.ll
trunk/fiona/src/lexer_owfn.ll
trunk/fiona/src/lexer_owfn_wrap.h
trunk/fiona/src/lexer_stg.ll
trunk/fiona/src/main.cc
trunk/fiona/src/main.h
trunk/fiona/src/mynew.h
trunk/fiona/src/newlogger.cc
trunk/fiona/src/newlogger.h
trunk/fiona/src/options.cc
trunk/fiona/src/options.h
trunk/fiona/src/owfn.cc
trunk/fiona/src/owfn.h
trunk/fiona/src/owfnPlace.cc
trunk/fiona/src/owfnPlace.h
trunk/fiona/src/owfnTransition.cc
trunk/fiona/src/owfnTransition.h
trunk/fiona/src/searchTrace.h
trunk/fiona/src/set_helpers.h
trunk/fiona/src/state.cc
trunk/fiona/src/state.h
trunk/fiona/src/stg2owfn.cc
trunk/fiona/src/symboltab.cc
trunk/fiona/src/symboltab.h
trunk/fiona/src/syntax_adapt_rules.yy
trunk/fiona/src/syntax_dot.yy
trunk/fiona/src/syntax_og.yy
trunk/fiona/src/syntax_owfn.yy
trunk/fiona/src/syntax_owfn_wrap.h
trunk/fiona/src/syntax_stg.yy
trunk/fiona/src/userconfig.h
trunk/fiona/tests/Makefile.am
trunk/fiona/tests/slistcheck.cc
--
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.
