July 2013 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Mon Jul 1 14:37:12 CEST 2013
Ending: Tue Jul 30 16:59:23 CEST 2013
Messages: 18

• [DEECo] [d3scomp/JDEECo] cbe938: disabling thread choices at some field accesses   GitHub
• [DEECo] [d3scomp/JDEECo] 444896: tweaking scheduler   GitHub
• [DEECo] [d3scomp/JDEECo] a8a9de: renaming   GitHub
• [DEECo] [d3scomp/JDEECo] 6af870: discrete scheduler's triggering limitations fixed   GitHub
• [DEECo] [d3scomp/JDEECo] 89563f: Resolving conflicts   GitHub
• [DEECo] [d3scomp/JDEECo] 8be2d9: discrete scheduler enhancement   GitHub
• [DEECo] [d3scomp/JDEECo] d329b5: Serialization added to the comonent instance   GitHub
• [DEECo] [d3scomp/JDEECo] acf23c: better configuration of JPF-LTL   GitHub
• [DEECo] [d3scomp/JDEECo] 54b079: printing source code in error traces   GitHub
• [DEECo] [d3scomp/JDEECo] 144a7b: New model   GitHub
• [DEECo] [d3scomp/JDEECo] 2229e9: jdeeco.core.mode - refactoring   GitHub
• [DEECo] [d3scomp/JDEECo] 29230a: KnowledgeRepository added to the diagram   GitHub
• [DEECo] [d3scomp/JDEECo] 16631d: Updates of the RuntimeMetadata meta-model. Should ...   GitHub
• [DEECo] [d3scomp/JDEECo] 3d88c7: Providers   GitHub
• [DEECo] [d3scomp/JDEECo] e89241: Updated the knowledge path classes.   GitHub
• [DEECo] [d3scomp/JDEECo] 3ea9e7: Removed trash from the model caused by deletions f...   GitHub
• [DEECo] [d3scomp/JDEECo] 050320: It seems that EMF will manage to load the Method f...   GitHub
• [DEECo] [d3scomp/JDEECo] adb73f: LTL property fix   GitHub

Last message date: Tue Jul 30 16:59:23 CEST 2013
Archived on: Thu Jan 17 14:46:11 CET 2019

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...