Author: niels Date: Fri May 30 18:05:16 2014 New Revision: 9477 URL: http://svn.gna.org/viewcvs/service-tech?rev=9477&view=rev Log: * applied astyle * fixed Doxygen headers * moved initialization code to initializer lists
Added:
trunk/lola2/doc/misc/lola.rb
trunk/lola2/src/CoverGraph/CoverPayload.h
- copied, changed from r9476, trunk/lola2/src/CoverGraph/Payload.h
Removed:
trunk/lola2/src/CoverGraph/Payload.h
Modified:
trunk/lola2/AUTHORS
trunk/lola2/ChangeLog
trunk/lola2/README
trunk/lola2/configure.ac
trunk/lola2/src/Core/Handlers.cc
trunk/lola2/src/Core/Runtime.cc
trunk/lola2/src/Core/Runtime.h
trunk/lola2/src/CoverGraph/CoverGraph.cc
trunk/lola2/src/CoverGraph/CoverGraph.h
trunk/lola2/src/Exploration/AutomataTree.cc
trunk/lola2/src/Exploration/AutomataTree.h
trunk/lola2/src/Exploration/ChooseTransitionRandomly.cc
trunk/lola2/src/Exploration/ChooseTransitionRandomly.h
trunk/lola2/src/Exploration/DeadlockExploration.cc
trunk/lola2/src/Exploration/DeadlockExploration.h
trunk/lola2/src/Exploration/FirelistStubbornDeadlock.cc
trunk/lola2/src/Exploration/FirelistStubbornStatePredicate.cc
trunk/lola2/src/Exploration/FirelistStubbornTscc.cc
trunk/lola2/src/Exploration/FirelistStubbornTscc.h
trunk/lola2/src/Exploration/ParallelExploration.h
trunk/lola2/src/Exploration/SearchStack.h
trunk/lola2/src/Exploration/TSCCExploration.h
trunk/lola2/src/Exploration/TSCCExplorationAGAF.cc
trunk/lola2/src/Exploration/TSCCExplorationAGEF.cc
trunk/lola2/src/Exploration/TSCCExplorationEFAGEF.cc
trunk/lola2/src/Formula/CTL/AUFormula.cc
trunk/lola2/src/Formula/CTL/AXFormula.cc
trunk/lola2/src/Formula/CTL/AtomicFormula.cc
trunk/lola2/src/Formula/CTL/ConjunctionFormula.cc
trunk/lola2/src/Formula/CTL/DisjunctionFormula.cc
trunk/lola2/src/Formula/CTL/EUFormula.cc
trunk/lola2/src/Formula/CTL/EXFormula.cc
trunk/lola2/src/Formula/CTL/NotFormula.cc
trunk/lola2/src/Formula/FormulaInfo.cc
trunk/lola2/src/Formula/FormulaInfo.h
trunk/lola2/src/Formula/StatePredicate/AtomicStatePredicate.cc
trunk/lola2/src/Formula/StatePredicate/ConjunctionStatePredicate.cc
trunk/lola2/src/Formula/StatePredicate/DisjunctionStatePredicate.cc
trunk/lola2/src/Formula/StatePredicate/FalsePredicate.cc
trunk/lola2/src/Formula/StatePredicate/FalsePredicate.h
trunk/lola2/src/Formula/StatePredicate/TruePredicate.cc
trunk/lola2/src/Formula/StatePredicate/TruePredicate.h
trunk/lola2/src/Frontend/SymbolTable/ArcList.cc
trunk/lola2/src/InputOutput/Reporter.cc
trunk/lola2/src/InputOutput/vasprintf.cc
trunk/lola2/src/Makefile.am
trunk/lola2/src/Planning/Task.cc
trunk/lola2/src/SweepLine/Sweep.inc
trunk/lola2/src/SweepLine/SweepRingStore.inc
trunk/lola2/src/Symmetry/Constraints.cc
[This mail would be too long, it was shortened to contain the URLs only.]
Modified: trunk/lola2/AUTHORS
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/AUTHORS?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/ChangeLog
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/ChangeLog?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/README
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/README?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/configure.ac
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/configure.ac?rev=9477&r1=9476&r2=9477&view=diff
Added: trunk/lola2/doc/misc/lola.rb
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/doc/misc/lola.rb?rev=9477&view=auto
Modified: trunk/lola2/src/Core/Handlers.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Core/Handlers.cc?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/Core/Runtime.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Core/Runtime.cc?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/Core/Runtime.h
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Core/Runtime.h?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/CoverGraph/CoverGraph.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/CoverGraph/CoverGraph.cc?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/CoverGraph/CoverGraph.h
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/CoverGraph/CoverGraph.h?rev=9477&r1=9476&r2=9477&view=diff
Copied: trunk/lola2/src/CoverGraph/CoverPayload.h (from r9476,
trunk/lola2/src/CoverGraph/Payload.h)
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/CoverGraph/CoverPayload.h?p2=trunk/lola2/src/CoverGraph/CoverPayload.h&p1=trunk/lola2/src/CoverGraph/Payload.h&r1=9476&r2=9477&rev=9477&view=diff
Removed: trunk/lola2/src/CoverGraph/Payload.h
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/CoverGraph/Payload.h?rev=9476&view=auto
Modified: trunk/lola2/src/Exploration/AutomataTree.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Exploration/AutomataTree.cc?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/Exploration/AutomataTree.h
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Exploration/AutomataTree.h?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/Exploration/ChooseTransitionRandomly.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Exploration/ChooseTransitionRandomly.cc?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/Exploration/ChooseTransitionRandomly.h
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Exploration/ChooseTransitionRandomly.h?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/Exploration/DeadlockExploration.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Exploration/DeadlockExploration.cc?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/Exploration/DeadlockExploration.h
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Exploration/DeadlockExploration.h?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/Exploration/FirelistStubbornDeadlock.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Exploration/FirelistStubbornDeadlock.cc?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/Exploration/FirelistStubbornStatePredicate.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Exploration/FirelistStubbornStatePredicate.cc?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/Exploration/FirelistStubbornTscc.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Exploration/FirelistStubbornTscc.cc?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/Exploration/FirelistStubbornTscc.h
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Exploration/FirelistStubbornTscc.h?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/Exploration/ParallelExploration.h
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Exploration/ParallelExploration.h?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/Exploration/SearchStack.h
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Exploration/SearchStack.h?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/Exploration/TSCCExploration.h
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Exploration/TSCCExploration.h?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/Exploration/TSCCExplorationAGAF.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Exploration/TSCCExplorationAGAF.cc?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/Exploration/TSCCExplorationAGEF.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Exploration/TSCCExplorationAGEF.cc?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/Exploration/TSCCExplorationEFAGEF.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Exploration/TSCCExplorationEFAGEF.cc?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/Formula/CTL/AUFormula.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Formula/CTL/AUFormula.cc?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/Formula/CTL/AXFormula.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Formula/CTL/AXFormula.cc?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/Formula/CTL/AtomicFormula.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Formula/CTL/AtomicFormula.cc?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/Formula/CTL/ConjunctionFormula.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Formula/CTL/ConjunctionFormula.cc?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/Formula/CTL/DisjunctionFormula.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Formula/CTL/DisjunctionFormula.cc?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/Formula/CTL/EUFormula.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Formula/CTL/EUFormula.cc?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/Formula/CTL/EXFormula.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Formula/CTL/EXFormula.cc?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/Formula/CTL/NotFormula.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Formula/CTL/NotFormula.cc?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/Formula/FormulaInfo.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Formula/FormulaInfo.cc?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/Formula/FormulaInfo.h
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Formula/FormulaInfo.h?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/Formula/StatePredicate/AtomicStatePredicate.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Formula/StatePredicate/AtomicStatePredicate.cc?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/Formula/StatePredicate/ConjunctionStatePredicate.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Formula/StatePredicate/ConjunctionStatePredicate.cc?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/Formula/StatePredicate/DisjunctionStatePredicate.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Formula/StatePredicate/DisjunctionStatePredicate.cc?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/Formula/StatePredicate/FalsePredicate.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Formula/StatePredicate/FalsePredicate.cc?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/Formula/StatePredicate/FalsePredicate.h
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Formula/StatePredicate/FalsePredicate.h?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/Formula/StatePredicate/TruePredicate.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Formula/StatePredicate/TruePredicate.cc?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/Formula/StatePredicate/TruePredicate.h
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Formula/StatePredicate/TruePredicate.h?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/Frontend/SymbolTable/ArcList.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Frontend/SymbolTable/ArcList.cc?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/InputOutput/Reporter.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/InputOutput/Reporter.cc?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/InputOutput/vasprintf.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/InputOutput/vasprintf.cc?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/Makefile.am
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Makefile.am?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/Planning/Task.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Planning/Task.cc?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/SweepLine/Sweep.inc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/SweepLine/Sweep.inc?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/SweepLine/SweepRingStore.inc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/SweepLine/SweepRingStore.inc?rev=9477&r1=9476&r2=9477&view=diff
Modified: trunk/lola2/src/Symmetry/Constraints.cc
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Symmetry/Constraints.cc?rev=9477&r1=9476&r2=9477&view=diff
--
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.
