Author: niels
Date: Mon Jan 27 12:59:57 2014
New Revision: 8871
URL: http://svn.gna.org/viewcvs/service-tech?rev=8871&view=rev
Log:
* unified header inclusion
* overworked configure.ac
* added a parameter "--jsoninclude" to include paths etc. to JSON output
Modified:
trunk/lola2/Makefile.am
trunk/lola2/configure.ac
trunk/lola2/doc/cpplint.py
trunk/lola2/src/Core/Handlers.cc
trunk/lola2/src/Core/Handlers.h
trunk/lola2/src/Core/Runtime.cc
trunk/lola2/src/Core/main.cc
trunk/lola2/src/Frontend/Parser/error.cc
trunk/lola2/src/Frontend/SymbolTable/ArcList.cc
trunk/lola2/src/Frontend/SymbolTable/PlaceSymbol.h
trunk/lola2/src/Frontend/SymbolTable/Symbol.cc
trunk/lola2/src/Frontend/SymbolTable/Symbol.h
trunk/lola2/src/Frontend/SymbolTable/SymbolTable.cc
trunk/lola2/src/Frontend/SymbolTable/TransitionSymbol.cc
trunk/lola2/src/Frontend/SymbolTable/TransitionSymbol.h
trunk/lola2/src/InputOutput/CompressedIO.cc
trunk/lola2/src/InputOutput/CompressedIO.h
trunk/lola2/src/InputOutput/InputOutput.cc
trunk/lola2/src/InputOutput/Reporter.cc
trunk/lola2/src/InputOutput/Reporter.h
trunk/lola2/src/InputOutput/SimpleString.cc
trunk/lola2/src/InputOutput/Socket.cc
trunk/lola2/src/Net/LinearAlgebra.cc
trunk/lola2/src/Net/LinearAlgebra.h
trunk/lola2/src/Net/Marking.cc
trunk/lola2/src/Net/Marking.h
trunk/lola2/src/Net/Net.cc
trunk/lola2/src/Net/NetState.cc
trunk/lola2/src/Net/NetState.h
trunk/lola2/src/Net/Place.cc
trunk/lola2/src/Net/Place.h
trunk/lola2/src/Net/Transition.cc
trunk/lola2/src/Planning/Task.cc
trunk/lola2/src/Planning/Task.h
trunk/lola2/src/Stores/CompareStore.h
trunk/lola2/src/Stores/CompareStore.inc
trunk/lola2/src/Stores/CycleStore.h
trunk/lola2/src/Stores/EmptyStore.h
trunk/lola2/src/Stores/NetStateEncoder/BitEncoder.cc
trunk/lola2/src/Stores/NetStateEncoder/BitEncoder.h
trunk/lola2/src/Stores/NetStateEncoder/CopyEncoder.cc
trunk/lola2/src/Stores/NetStateEncoder/CopyEncoder.h
trunk/lola2/src/Stores/NetStateEncoder/FullCopyEncoder.cc
trunk/lola2/src/Stores/NetStateEncoder/FullCopyEncoder.h
trunk/lola2/src/Stores/NetStateEncoder/NetStateEncoder.cc
trunk/lola2/src/Stores/NetStateEncoder/NetStateEncoder.h
trunk/lola2/src/Stores/NetStateEncoder/SimpleCompressedEncoder.cc
trunk/lola2/src/Stores/NetStateEncoder/SimpleCompressedEncoder.h
trunk/lola2/src/Stores/PluginStore.h
trunk/lola2/src/Stores/PluginStore.inc
trunk/lola2/src/Stores/Store.h
trunk/lola2/src/Stores/Store.inc
trunk/lola2/src/Stores/VectorStores/HashingWrapperStore.h
trunk/lola2/src/Stores/VectorStores/HashingWrapperStore.inc
trunk/lola2/src/Stores/VectorStores/PrefixTreeStore.h
trunk/lola2/src/Stores/VectorStores/PrefixTreeStore.inc
trunk/lola2/src/Stores/VectorStores/VBloomStore.h
trunk/lola2/src/Stores/VectorStores/VBloomStore.inc
trunk/lola2/src/Stores/VectorStores/VSTLStore.cc
trunk/lola2/src/Stores/VectorStores/VSTLStore.h
trunk/lola2/src/Stores/VectorStores/VSTLStore.inc
trunk/lola2/src/Stores/VectorStores/VectorStore.h
trunk/lola2/src/Witness/Condition.cc
trunk/lola2/src/Witness/Condition.h
trunk/lola2/src/Witness/Event.cc
trunk/lola2/src/Witness/Event.h
trunk/lola2/src/Witness/Path.cc
trunk/lola2/src/Witness/Path.h
trunk/lola2/src/cmdline.ggo
--
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.
