[DEECo] [d3scomp/JDEECo] adb73f: LTL property fix

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/d3scomp/JDEECo
  Commit: adb73f180878259d16af920397e13b4c38acfa6e
      https://github.com/d3scomp/JDEECo/commit/adb73f180878259d16af920397e13b4c38acfa6e
  Author: Jaroslav Keznikl <jaroslav.keznikl at gmail.com>
  Date:   2013-07-05 (Fri, 05 Jul 2013)

  Changed paths:
    M jdeeco-demo/jpfProperties/LocalLauncherConvoyLTL.jpf
    M jdeeco-jpf/src/cz/cuni/mff/d3s/deeco/scheduling/MultithreadedSchedulerJPF.java

  Log Message:
  -----------
  LTL property fix
comment


  Commit: a515b7f1e3c3d7baa2a0e041d08b613151bb3028
      https://github.com/d3scomp/JDEECo/commit/a515b7f1e3c3d7baa2a0e041d08b613151bb3028
  Author: Jaroslav Keznikl <jaroslav.keznikl at gmail.com>
  Date:   2013-07-30 (Tue, 30 Jul 2013)

  Changed paths:
    M jdeeco-core-model/.settings/org.eclipse.core.resources.prefs
    A jdeeco-core-model/model-refactoring/Providers.ecore
    A jdeeco-core-model/model-refactoring/Providers.ecorediag
    A jdeeco-core-model/model-refactoring/RuntimeArchitecture.ecore
    A jdeeco-core-model/model-refactoring/RuntimeArchitecture.ecorediag
    A jdeeco-core-model/model-refactoring/RuntimeMetadata.ecore
    A jdeeco-core-model/model-refactoring/RuntimeMetadata.ecorediag
    A jdeeco-core-model/model-refactoring/RuntimeMetadata.genmodel
    A jdeeco-core/src/cz/cuni/mff/d3s/deeco/invokable/SchedulableComponentProcessWrapper.java
    M jdeeco-core/src/cz/cuni/mff/d3s/deeco/invokable/SchedulableEnsembleProcess.java
    A jdeeco-core/src/cz/cuni/mff/d3s/deeco/invokable/SchedulableEnsembleProcessWrapper.java
    A jdeeco-core/src/cz/cuni/mff/d3s/deeco/invokable/SchedulableProcessWrapper.java
    M jdeeco-core/src/cz/cuni/mff/d3s/deeco/logging/Log.java
    M jdeeco-core/src/cz/cuni/mff/d3s/deeco/processor/ClassProcessor.java
    M jdeeco-core/src/cz/cuni/mff/d3s/deeco/processor/EnsembleParser.java
    M jdeeco-core/src/cz/cuni/mff/d3s/deeco/processor/ParsedObjectReader.java
    M jdeeco-core/src/cz/cuni/mff/d3s/deeco/processor/ParsedObjectWriter.java
    R jdeeco-core/src/cz/cuni/mff/d3s/deeco/provider/AbstractDEECoObjectProvider.java
    R jdeeco-core/src/cz/cuni/mff/d3s/deeco/provider/ClassDEECoObjectProvider.java
    A jdeeco-core/src/cz/cuni/mff/d3s/deeco/provider/ComponentInstance.java
    A jdeeco-core/src/cz/cuni/mff/d3s/deeco/provider/DEECoObjectProvider.java
    R jdeeco-core/src/cz/cuni/mff/d3s/deeco/provider/FileDEECoObjectProvider.java
    R jdeeco-core/src/cz/cuni/mff/d3s/deeco/provider/InitializedDEECoObjectProvider.java
    R jdeeco-core/src/cz/cuni/mff/d3s/deeco/provider/ParsedComponent.java
    R jdeeco-core/src/cz/cuni/mff/d3s/deeco/provider/PreLauncherDEECoObjectProvider.java
    M jdeeco-core/src/cz/cuni/mff/d3s/deeco/runtime/IRuntime.java
    M jdeeco-core/src/cz/cuni/mff/d3s/deeco/runtime/PreprocessorLauncher.java
    M jdeeco-core/src/cz/cuni/mff/d3s/deeco/runtime/Runtime.java
    M jdeeco-core/src/cz/cuni/mff/d3s/deeco/runtime/jmx/RuntimeMX.java
    M jdeeco-core/src/cz/cuni/mff/d3s/deeco/scheduling/discrete/DiscreteScheduler.java
    M jdeeco-core/src/cz/cuni/mff/d3s/deeco/scheduling/discrete/SchedulableProcessExecution.java
    M jdeeco-demo/build.xml
    M jdeeco-demo/jpfProperties/LocalLauncherConvoyLTL.jpf
    M jdeeco-demo/src/cz/cuni/mff/d3s/deeco/demo/cloud/LocalLauncherCloudJPF.java
    M jdeeco-demo/src/cz/cuni/mff/d3s/deeco/demo/cloud/LocalLauncherCloudNoJPF.java
    M jdeeco-demo/src/cz/cuni/mff/d3s/deeco/demo/cloud/LocalLauncherCloudNoJPFDiscreteScheduler.java
    M jdeeco-demo/src/cz/cuni/mff/d3s/deeco/demo/cloud/LocalLauncherDynamicCloudNoJPF.java
    M jdeeco-demo/src/cz/cuni/mff/d3s/deeco/demo/cloud/NodeC.java
    M jdeeco-demo/src/cz/cuni/mff/d3s/deeco/demo/cloud/TSLauncherCloudNoJPF.java
    M jdeeco-demo/src/cz/cuni/mff/d3s/deeco/demo/convoy/LocalLauncherConvoyJPF.java
    M jdeeco-demo/src/cz/cuni/mff/d3s/deeco/demo/convoy/LocalLauncherConvoyNoJPF.java
    M jdeeco-demo/src/cz/cuni/mff/d3s/deeco/demo/convoy/TSLauncherConvoyNoJPF.java
    M jdeeco-demo/src/cz/cuni/mff/d3s/deeco/demo/convoytut/LocalLauncherLTL.java
    M jdeeco-demo/src/cz/cuni/mff/d3s/deeco/demo/firefighters/CriticalDataAggregation.java
    M jdeeco-demo/src/cz/cuni/mff/d3s/deeco/demo/firefighters/FFLauncher.java
    M jdeeco-demo/src/cz/cuni/mff/d3s/deeco/demo/firefighters/FFLauncherDiscreteScheduler.java
    M jdeeco-demo/src/cz/cuni/mff/d3s/deeco/demo/firefighters/FFLauncherDiscreteSchedulerHexacopter.java
    M jdeeco-demo/src/cz/cuni/mff/d3s/deeco/demo/firefighters/FFLauncherHexacopter.java
    M jdeeco-demo/src/cz/cuni/mff/d3s/deeco/demo/firefighters/GroupLeader.java
    M jdeeco-demo/src/cz/cuni/mff/d3s/deeco/demo/parkinglotbooking/TSParkingLotLauncherNoJPF.java
    M jdeeco-jpf/src/cz/cuni/mff/d3s/deeco/ltl/LocalLauncherExampleJPF.java
    M jdeeco-sde/META-INF/MANIFEST.MF

  Log Message:
  -----------
  Merge branch 'master' of github.com:d3scomp/JDEECo


Compare: https://github.com/d3scomp/JDEECo/compare/05032047bdca...a515b7f1e3c3