[DEECo] [d3scomp/JDEECo] 8f66e3: JPF related fixes

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/d3scomp/JDEECo
  Commit: 8f66e345afc97f97047359a7dfe6550d7cc6078c
      https://github.com/d3scomp/JDEECo/commit/8f66e345afc97f97047359a7dfe6550d7cc6078c
  Author: alf <jancik at perun.ms.mff.cuni.cz>
  Date:   2012-10-31 (Wed, 31 Oct 2012)

  Changed paths:
    M build.xml
    M jdeeco-core/build.xml

  Log Message:
  -----------
  JPF related fixes


  Commit: 2c38b4119e8377fc624d2f18b4c45524e6a58abc
      https://github.com/d3scomp/JDEECo/commit/2c38b4119e8377fc624d2f18b4c45524e6a58abc
  Author: alf <jancik at perun.ms.mff.cuni.cz>
  Date:   2012-10-31 (Wed, 31 Oct 2012)

  Changed paths:
    A jpf/extension/gov/nasa/jpf/listener/CGLocations.java
    M jpf/jpf.properties

  Log Message:
  -----------
  JPF Related stuff.

Usefull for optimizations of the JDeeco for JPF.


  Commit: 28761ccea4b802b4c0c37f063658fadc4cf32c41
      https://github.com/d3scomp/JDEECo/commit/28761ccea4b802b4c0c37f063658fadc4cf32c41
  Author: alf <jancik at perun.ms.mff.cuni.cz>
  Date:   2012-10-31 (Wed, 31 Oct 2012)

  Changed paths:
    M jdeeco-core/src/cz/cuni/mff/d3s/deeco/knowledge/RepositoryKnowledgeManager.java

  Log Message:
  -----------
  JPF optimization.

Finalizing fields


  Commit: baae80a7c2dc3e11cef2597d4da09ebb58f0efd3
      https://github.com/d3scomp/JDEECo/commit/baae80a7c2dc3e11cef2597d4da09ebb58f0efd3
  Author: alf <jancik at perun.ms.mff.cuni.cz>
  Date:   2012-10-31 (Wed, 31 Oct 2012)

  Changed paths:
    M jdeeco-core/demo/cz/cuni/mff/d3s/deeco/demo/cloud/LocalLauncherCloudJPF.jpf
    M jdeeco-core/src/cz/cuni/mff/d3s/deeco/scheduling/MultithreadedSchedulerJPF.java

  Log Message:
  -----------
  JPF Optimization

Minimalizing state explosion during thread start-up.


Compare: https://github.com/d3scomp/JDEECo/compare/845d8db6239a...baae80a7c2dc