[DEECo] [d3scomp/JDEECo] 44f065: Float.toString removed :-)

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/d3scomp/JDEECo
  Commit: 44f06562a697a174bec30019caa011efeca125b4
      https://github.com/d3scomp/JDEECo/commit/44f06562a697a174bec30019caa011efeca125b4
  Author: alf <jancik at perun.ms.mff.cuni.cz>
  Date:   2012-08-31 (Fri, 31 Aug 2012)

  Changed paths:
    M demo/cz/cuni/mff/d3s/deeco/demo/cloud/LocalLauncherCloudJPF.jpf
    M demo/cz/cuni/mff/d3s/deeco/demo/cloud/NodeA.java
    M demo/cz/cuni/mff/d3s/deeco/demo/cloud/NodeB.java

  Log Message:
  -----------
  Float.toString removed :-) 

Caused state space explosion.


  Commit: 78fa48ca7af6858777daebed763d2693fed8e166
      https://github.com/d3scomp/JDEECo/commit/78fa48ca7af6858777daebed763d2693fed8e166
  Author: alf <jancik at perun.ms.mff.cuni.cz>
  Date:   2012-08-31 (Fri, 31 Aug 2012)

  Changed paths:
    M src/cz/cuni/mff/d3s/deeco/knowledge/local/LocalKnowledgeRepository.java
    M src/cz/cuni/mff/d3s/deeco/knowledge/local/LocalSession.java
    M src/cz/cuni/mff/d3s/deeco/scheduling/MultithreadedSchedulerJPF.java

  Log Message:
  -----------
  JPF Optimizations,


  Commit: 7728c99681307fe68f2310a3fcac36bd6d0af4b4
      https://github.com/d3scomp/JDEECo/commit/7728c99681307fe68f2310a3fcac36bd6d0af4b4
  Author: alf <jancik at perun.ms.mff.cuni.cz>
  Date:   2012-08-31 (Fri, 31 Aug 2012)

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

  Log Message:
  -----------
  Makeing fields final


Compare: https://github.com/d3scomp/JDEECo/compare/13ec3e86f9aa...7728c9968130