Author: niels
Date: Thu Jan 23 12:37:48 2014
New Revision: 8857
URL: http://svn.gna.org/viewcvs/service-tech?rev=8857&view=rev
Log:
- introduced a Runtime class to encapsulate the global reporter and the command
line arguments
Added:
trunk/lola2/src/Core/Runtime.cc
trunk/lola2/src/Core/Runtime.h
Modified:
trunk/lola2/src/Core/Handlers.cc
trunk/lola2/src/Core/main.cc
trunk/lola2/src/Exploration/CTLExploration.cc
trunk/lola2/src/Exploration/DFSExploration.cc
trunk/lola2/src/Exploration/ParallelExploration.cc
trunk/lola2/src/Formula/AtomicStatePredicate.cc
trunk/lola2/src/Frontend/Parser/Lexic.ll
trunk/lola2/src/Frontend/Parser/ParserPTNet.cc
trunk/lola2/src/Frontend/Parser/error.cc
trunk/lola2/src/Frontend/Parser/formula_unparse.k
trunk/lola2/src/InputOutput/InputOutput.cc
trunk/lola2/src/InputOutput/Reporter.cc
trunk/lola2/src/InputOutput/Reporter.h
trunk/lola2/src/InputOutput/Socket.cc
trunk/lola2/src/Makefile.am
trunk/lola2/src/Net/Net.cc
trunk/lola2/src/Net/Transition.cc
trunk/lola2/src/Planning/Task.cc
trunk/lola2/src/Planning/Task.h
trunk/lola2/src/Stores/CycleStore.h
trunk/lola2/src/Stores/NetStateEncoder/BitEncoder.cc
trunk/lola2/src/Stores/NetStateEncoder/CopyEncoder.cc
trunk/lola2/src/Stores/NetStateEncoder/FullCopyEncoder.cc
trunk/lola2/src/Stores/NetStateEncoder/NetStateEncoder.cc
trunk/lola2/src/Stores/Store.inc
trunk/lola2/src/Stores/VectorStores/VBloomStore.inc
trunk/lola2/src/SweepLine/Sweep.inc
trunk/lola2/src/SweepLine/SweepListStore.inc
trunk/lola2/src/SweepLine/SweepRingStore.inc
trunk/lola2/src/Symmetry/GeneratingSystem.cc
trunk/lola2/src/Witness/Condition.cc
--
You received this e-mail, because you subscribed the mailing list
"service-tech-commits" which will forward you any e-mail addressed to
service-tech-commits@gna.org. If you want to unsubscribe or make any changes to
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.
