[service-technology.org] r7741 - in /trunk/lola2: src/ src/Core/ src/Exploration/ src/Formula/ src/InputOutput/ src/Net/ src/Parser/ src/Planning/ src/Stores/ tests/

Fri, 08 Jun 2012 08:51:04 -0700 

Author: galvus_damor
Date: Fri Jun  8 17:51:00 2012
New Revision: 7741

URL: http://svn.gna.org/viewcvs/service-tech?rev=7741&view=rev
Log:
Major updates, netstate added, threading partially added

Added:
    trunk/lola2/src/Exploration/ParallelSimpleProperty.cc
      - copied, changed from r7717, 
branches/lola2/src/Exploration/ParallelSimpleProperty.cc
    trunk/lola2/src/Exploration/ParallelSimpleProperty.h
      - copied, changed from r7717, 
branches/lola2/src/Exploration/ParallelSimpleProperty.h
    trunk/lola2/src/Net/NetState.cc
      - copied unchanged from r7717, branches/lola2/src/Net/NetState.cc
    trunk/lola2/src/Net/NetState.h
      - copied unchanged from r7717, branches/lola2/src/Net/NetState.h
    trunk/lola2/src/Stores/ArrayStore.cc
      - copied unchanged from r7717, branches/lola2/src/Stores/ArrayStore.cc
    trunk/lola2/src/Stores/ArrayStore.h
      - copied unchanged from r7717, branches/lola2/src/Stores/ArrayStore.h
    trunk/lola2/src/Stores/HuffmanStoreAVL.cc
      - copied unchanged from r7717, 
branches/lola2/src/Stores/HuffmanStoreAVL.cc
    trunk/lola2/src/Stores/HuffmanStoreAVL.h
      - copied unchanged from r7717, branches/lola2/src/Stores/HuffmanStoreAVL.h
    trunk/lola2/src/Stores/HuffmanStoreList.cc
      - copied unchanged from r7717, 
branches/lola2/src/Stores/HuffmanStoreList.cc
    trunk/lola2/src/Stores/HuffmanStoreList.h
      - copied unchanged from r7717, 
branches/lola2/src/Stores/HuffmanStoreList.h
    trunk/lola2/src/Stores/ListStore.cc
      - copied, changed from r7624, trunk/lola2/src/Stores/ListStore.cc
    trunk/lola2/src/Stores/ListStore.h
      - copied, changed from r7624, trunk/lola2/src/Stores/ListStore.h
    trunk/lola2/src/Stores/SISTLStore.cc
      - copied unchanged from r7717, branches/lola2/src/Stores/SISTLStore.cc
    trunk/lola2/src/Stores/SISTLStore.h
      - copied unchanged from r7717, branches/lola2/src/Stores/SISTLStore.h
Modified:
    trunk/lola2/src/Core/main.cc
    trunk/lola2/src/Exploration/ChooseTransition.h
    trunk/lola2/src/Exploration/ChooseTransitionHashDriven.cc
    trunk/lola2/src/Exploration/ChooseTransitionHashDriven.h
    trunk/lola2/src/Exploration/Deadlock.cc
    trunk/lola2/src/Exploration/Deadlock.h
    trunk/lola2/src/Exploration/Firelist.cc
    trunk/lola2/src/Exploration/Firelist.h
    trunk/lola2/src/Exploration/FirelistStubbornDeadlock.cc
    trunk/lola2/src/Exploration/FirelistStubbornDeadlock.h
    trunk/lola2/src/Exploration/FirelistStubbornStatePredicate.cc
    trunk/lola2/src/Exploration/FirelistStubbornStatePredicate.h
    trunk/lola2/src/Exploration/RandomWalk.cc
    trunk/lola2/src/Exploration/SearchStack.cc
    trunk/lola2/src/Exploration/SearchStack.h
    trunk/lola2/src/Exploration/SimpleProperty.cc
    trunk/lola2/src/Exploration/SimpleProperty.h
    trunk/lola2/src/Exploration/StatePredicateProperty.cc
    trunk/lola2/src/Exploration/StatePredicateProperty.h
    trunk/lola2/src/Formula/AtomicStatePredicate.cc
    trunk/lola2/src/Formula/AtomicStatePredicate.h
    trunk/lola2/src/Formula/ConjunctionStatePredicate.cc
    trunk/lola2/src/Formula/ConjunctionStatePredicate.h
    trunk/lola2/src/Formula/DisjunctionStatePredicate.cc
    trunk/lola2/src/Formula/DisjunctionStatePredicate.h
    trunk/lola2/src/Formula/FalsePredicate.cc
    trunk/lola2/src/Formula/FalsePredicate.h
    trunk/lola2/src/Formula/StatePredicate.cc
    trunk/lola2/src/Formula/StatePredicate.h
    trunk/lola2/src/Formula/TruePredicate.cc
    trunk/lola2/src/Formula/TruePredicate.h
    trunk/lola2/src/InputOutput/CompressedIO.cc
    trunk/lola2/src/Makefile.am
    trunk/lola2/src/Net/LinearAlgebra.cc
    trunk/lola2/src/Net/Marking.h
    trunk/lola2/src/Net/Net.h
    trunk/lola2/src/Net/Transition.cc
    trunk/lola2/src/Net/Transition.h
    trunk/lola2/src/Parser/ParserPTNet.cc
    trunk/lola2/src/Planning/Task.cc
    trunk/lola2/src/Planning/Task.h
    trunk/lola2/src/Stores/BinStore.cc
    trunk/lola2/src/Stores/BinStore.h
    trunk/lola2/src/Stores/BinStore2.cc
    trunk/lola2/src/Stores/BinStore2.h
    trunk/lola2/src/Stores/BitStore.cc
    trunk/lola2/src/Stores/BitStore.h
    trunk/lola2/src/Stores/BloomStore.cc
    trunk/lola2/src/Stores/BloomStore.h
    trunk/lola2/src/Stores/EmptyStore.cc
    trunk/lola2/src/Stores/EmptyStore.h
    trunk/lola2/src/Stores/SIBinStore2.cc
    trunk/lola2/src/Stores/SIBinStore2.h
    trunk/lola2/src/Stores/SIStore.h
    trunk/lola2/src/Stores/STLStore.cc
    trunk/lola2/src/Stores/STLStore.h
    trunk/lola2/src/Stores/Store.cc
    trunk/lola2/src/Stores/Store.h
    trunk/lola2/src/Stores/ThreadSafeStore.cc
    trunk/lola2/src/Stores/ThreadSafeStore.h
    trunk/lola2/src/cmdline.ggo
    trunk/lola2/tests/testsuite.at


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