[service-technology.org] r6031 - in /trunk/lola: ./ m4/ src/ src/configs/ src/configs/boundednet/ src/configs/boundednetsymm/ src/configs/boundedplace/ src/configs/bpm-liveprop/ src/configs/bpm-liveprop1/ src/configs/bpm-modelchecking-naiv/ src/configs/bpm-modelchecking/ src/configs/bpm-modelchecking1-naiv/ src/configs/bpm-modelchecking1/ src/configs/bpm-statepredicate-naiv/ src/configs/bpm-statepredicate/ src/configs/bpm-statepredicate1-naiv/ src/configs/bpm-statepredicate1/ src/configs/coverstatepredicate/ src/configs/deadlock/ src/configs/deadlock1/ src/configs/deadtransition/ src/configs/findpath/ src/configs/full/ src/configs/full1/ src/configs/fullcover/ src/configs/fulllimited/ src/configs/liveprop/ src/configs/liveprop1/ src/configs/modelchecking/ src/configs/none/ src/configs/prom-boundednet/ src/configs/prom-deadlock/ src/configs/prom-home/ src/configs/prom-reversibility/ src/configs/statepredicate/ src/configs/statepredicate1/ src/configs/statespace/ src/configs/statespace1/ tests/

Niels Lohmann Fri, 13 Aug 2010 08:46:21 -0700

Author: niels
Date: Fri Aug 13 17:46:16 2010
New Revision: 6031

URL: http://svn.gna.org/viewcvs/service-tech?rev=6031&view=rev
Log:
* reorganized generation of preconfigured LoLAs using preprocessor magic



Added:
    trunk/lola/src/configs/boundednet/
    trunk/lola/src/configs/boundednet/userconfig.H
      - copied unchanged from r6030, 
trunk/lola/src/configs/userconfig.H.boundednet
    trunk/lola/src/configs/boundednetsymm/
    trunk/lola/src/configs/boundednetsymm/userconfig.H
      - copied unchanged from r6030, 
trunk/lola/src/configs/userconfig.H.boundednetsymm
    trunk/lola/src/configs/boundedplace/
    trunk/lola/src/configs/boundedplace/userconfig.H
      - copied unchanged from r6030, 
trunk/lola/src/configs/userconfig.H.boundedplace
    trunk/lola/src/configs/bpm-liveprop/
    trunk/lola/src/configs/bpm-liveprop/userconfig.H
      - copied unchanged from r6030, 
trunk/lola/src/configs/userconfig.H.bpm-liveprop
    trunk/lola/src/configs/bpm-liveprop1/
    trunk/lola/src/configs/bpm-liveprop1/userconfig.H
      - copied unchanged from r6030, 
trunk/lola/src/configs/userconfig.H.bpm-liveprop1
    trunk/lola/src/configs/bpm-modelchecking/
    trunk/lola/src/configs/bpm-modelchecking-naiv/
    trunk/lola/src/configs/bpm-modelchecking-naiv/userconfig.H
      - copied unchanged from r6030, 
trunk/lola/src/configs/userconfig.H.bpm-modelchecking-naiv
    trunk/lola/src/configs/bpm-modelchecking/userconfig.H
      - copied unchanged from r6030, 
trunk/lola/src/configs/userconfig.H.bpm-modelchecking
    trunk/lola/src/configs/bpm-modelchecking1/
    trunk/lola/src/configs/bpm-modelchecking1-naiv/
    trunk/lola/src/configs/bpm-modelchecking1-naiv/userconfig.H
      - copied unchanged from r6030, 
trunk/lola/src/configs/userconfig.H.bpm-modelchecking1-naiv
    trunk/lola/src/configs/bpm-modelchecking1/userconfig.H
      - copied unchanged from r6030, 
trunk/lola/src/configs/userconfig.H.bpm-modelchecking1
    trunk/lola/src/configs/bpm-statepredicate/
    trunk/lola/src/configs/bpm-statepredicate-naiv/
    trunk/lola/src/configs/bpm-statepredicate-naiv/userconfig.H
      - copied unchanged from r6030, 
trunk/lola/src/configs/userconfig.H.bpm-statepredicate-naiv
    trunk/lola/src/configs/bpm-statepredicate/userconfig.H
      - copied unchanged from r6030, 
trunk/lola/src/configs/userconfig.H.bpm-statepredicate
    trunk/lola/src/configs/bpm-statepredicate1/
    trunk/lola/src/configs/bpm-statepredicate1-naiv/
    trunk/lola/src/configs/bpm-statepredicate1-naiv/userconfig.H
      - copied unchanged from r6030, 
trunk/lola/src/configs/userconfig.H.bpm-statepredicate1-naiv
    trunk/lola/src/configs/bpm-statepredicate1/userconfig.H
      - copied unchanged from r6030, 
trunk/lola/src/configs/userconfig.H.bpm-statepredicate1
    trunk/lola/src/configs/coverstatepredicate/
    trunk/lola/src/configs/coverstatepredicate/userconfig.H
      - copied unchanged from r6030, 
trunk/lola/src/configs/userconfig.H.coverstatepredicate
    trunk/lola/src/configs/deadlock/
    trunk/lola/src/configs/deadlock/userconfig.H
      - copied unchanged from r6030, 
trunk/lola/src/configs/userconfig.H.deadlock
    trunk/lola/src/configs/deadlock1/
    trunk/lola/src/configs/deadlock1/userconfig.H
      - copied unchanged from r6030, 
trunk/lola/src/configs/userconfig.H.deadlock1
    trunk/lola/src/configs/deadtransition/
    trunk/lola/src/configs/deadtransition/userconfig.H
      - copied unchanged from r6030, 
trunk/lola/src/configs/userconfig.H.deadtransition
    trunk/lola/src/configs/findpath/
    trunk/lola/src/configs/findpath/userconfig.H
      - copied unchanged from r6030, 
trunk/lola/src/configs/userconfig.H.findpath
    trunk/lola/src/configs/full/
    trunk/lola/src/configs/full/userconfig.H
      - copied unchanged from r6030, trunk/lola/src/configs/userconfig.H.full
    trunk/lola/src/configs/full1/
    trunk/lola/src/configs/full1/userconfig.H
      - copied unchanged from r6030, trunk/lola/src/configs/userconfig.H.full1
    trunk/lola/src/configs/fullcover/
    trunk/lola/src/configs/fullcover/userconfig.H
      - copied unchanged from r6030, 
trunk/lola/src/configs/userconfig.H.fullcover
    trunk/lola/src/configs/fulllimited/
    trunk/lola/src/configs/fulllimited/userconfig.H
      - copied unchanged from r6030, 
trunk/lola/src/configs/userconfig.H.fulllimited
    trunk/lola/src/configs/liveprop/
    trunk/lola/src/configs/liveprop/userconfig.H
      - copied unchanged from r6030, 
trunk/lola/src/configs/userconfig.H.liveprop
    trunk/lola/src/configs/liveprop1/
    trunk/lola/src/configs/liveprop1/userconfig.H
      - copied unchanged from r6030, 
trunk/lola/src/configs/userconfig.H.liveprop1
    trunk/lola/src/configs/modelchecking/
    trunk/lola/src/configs/modelchecking/userconfig.H
      - copied unchanged from r6030, 
trunk/lola/src/configs/userconfig.H.modelchecking
    trunk/lola/src/configs/none/
    trunk/lola/src/configs/none/userconfig.H
      - copied unchanged from r6030, trunk/lola/src/configs/userconfig.H.none
    trunk/lola/src/configs/prom-boundednet/
    trunk/lola/src/configs/prom-boundednet/userconfig.H
      - copied unchanged from r6030, 
trunk/lola/src/configs/userconfig.H.prom-boundednet
    trunk/lola/src/configs/prom-deadlock/
    trunk/lola/src/configs/prom-deadlock/userconfig.H
      - copied unchanged from r6030, 
trunk/lola/src/configs/userconfig.H.prom-deadlock
    trunk/lola/src/configs/prom-home/
    trunk/lola/src/configs/prom-home/userconfig.H
      - copied unchanged from r6030, 
trunk/lola/src/configs/userconfig.H.prom-home
    trunk/lola/src/configs/prom-reversibility/
    trunk/lola/src/configs/prom-reversibility/userconfig.H
      - copied unchanged from r6030, 
trunk/lola/src/configs/userconfig.H.prom-reversibility
    trunk/lola/src/configs/statepredicate/
    trunk/lola/src/configs/statepredicate/userconfig.H
      - copied unchanged from r6030, 
trunk/lola/src/configs/userconfig.H.statepredicate
    trunk/lola/src/configs/statepredicate1/
    trunk/lola/src/configs/statepredicate1/userconfig.H
      - copied unchanged from r6030, 
trunk/lola/src/configs/userconfig.H.statepredicate1
    trunk/lola/src/configs/statespace/
    trunk/lola/src/configs/statespace/userconfig.H
      - copied unchanged from r6030, 
trunk/lola/src/configs/userconfig.H.statespace
    trunk/lola/src/configs/statespace1/
    trunk/lola/src/configs/statespace1/userconfig.H
      - copied unchanged from r6030, 
trunk/lola/src/configs/userconfig.H.statespace1
Removed:
    trunk/lola/src/configs/userconfig.H.boundednet
    trunk/lola/src/configs/userconfig.H.boundednetsymm
    trunk/lola/src/configs/userconfig.H.boundedplace
    trunk/lola/src/configs/userconfig.H.bpm-liveprop
    trunk/lola/src/configs/userconfig.H.bpm-liveprop1
    trunk/lola/src/configs/userconfig.H.bpm-modelchecking
    trunk/lola/src/configs/userconfig.H.bpm-modelchecking-naiv
    trunk/lola/src/configs/userconfig.H.bpm-modelchecking1
    trunk/lola/src/configs/userconfig.H.bpm-modelchecking1-naiv
    trunk/lola/src/configs/userconfig.H.bpm-statepredicate
    trunk/lola/src/configs/userconfig.H.bpm-statepredicate-naiv
    trunk/lola/src/configs/userconfig.H.bpm-statepredicate1
    trunk/lola/src/configs/userconfig.H.bpm-statepredicate1-naiv
    trunk/lola/src/configs/userconfig.H.coverstatepredicate
    trunk/lola/src/configs/userconfig.H.deadlock
    trunk/lola/src/configs/userconfig.H.deadlock1
    trunk/lola/src/configs/userconfig.H.deadtransition
    trunk/lola/src/configs/userconfig.H.findpath
    trunk/lola/src/configs/userconfig.H.full
    trunk/lola/src/configs/userconfig.H.full1
    trunk/lola/src/configs/userconfig.H.fullcover
    trunk/lola/src/configs/userconfig.H.fulllimited
    trunk/lola/src/configs/userconfig.H.liveprop
    trunk/lola/src/configs/userconfig.H.liveprop1
    trunk/lola/src/configs/userconfig.H.modelchecking
    trunk/lola/src/configs/userconfig.H.none
    trunk/lola/src/configs/userconfig.H.prom-boundednet
    trunk/lola/src/configs/userconfig.H.prom-deadlock
    trunk/lola/src/configs/userconfig.H.prom-home
    trunk/lola/src/configs/userconfig.H.prom-reversibility
    trunk/lola/src/configs/userconfig.H.statepredicate
    trunk/lola/src/configs/userconfig.H.statepredicate1
    trunk/lola/src/configs/userconfig.H.statespace
    trunk/lola/src/configs/userconfig.H.statespace1
Modified:
    trunk/lola/Makefile.am
    trunk/lola/configure.ac
    trunk/lola/m4/Makefile.tests
    trunk/lola/src/Makefile.am
    trunk/lola/src/dimensions.H
    trunk/lola/tests/Makefile.am


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