June 2013 Archives by date

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

Starting: Tue Jun 4 11:44:09 CEST 2013
Ending: Sat Jun 29 12:39:27 CEST 2013
Messages: 28

• [DEECo] [d3scomp/JDEECo] 829b2e: cleaning   GitHub
• [DEECo] [d3scomp/JDEECo] f1f959: jpf-ltl update   GitHub
• [DEECo] [d3scomp/JDEECo] 39383a: cleaning   GitHub
• [DEECo] [d3scomp/JDEECo] 5e5c99: checking LTL - first version   GitHub
• [DEECo] [d3scomp/JDEECo] 2d3daa: testing support for LTL   GitHub
• [DEECo] [d3scomp/JDEECo] e3810b: BCEL added   GitHub
• [DEECo] [d3scomp/JDEECo] dc3a43: small fix   GitHub
• [DEECo] [d3scomp/JDEECo] 253e61: Logger changes   GitHub
• [DEECo] [d3scomp/JDEECo] f85c13: Adding Serializable   GitHub
• [DEECo] [d3scomp/JDEECo] 409baa: initial version of the runtime model   GitHub
• [DEECo] [d3scomp/JDEECo] 24585c: associate knowledge with timestamp   GitHub
• [DEECo] [d3scomp/JDEECo] 43d334: associate jdeeco knowledge to TimeStamp   GitHub
• [DEECo] [d3scomp/JDEECo] 4cb4e5: Reparing the dir name   GitHub
• [DEECo] [d3scomp/JDEECo] 643ca7: minor fix   GitHub
• [DEECo] [d3scomp/JDEECo] 1f724e: Update of inheritance relations of ParametricKnowl...   GitHub
• [DEECo] [d3scomp/JDEECo] 6ceecb: Metamodel for parsed metadata   GitHub
• [DEECo] [d3scomp/JDEECo]   GitHub
• [DEECo] [d3scomp/JDEECo] 796503: Annotation for local knowledge   GitHub
• [DEECo] [d3scomp/JDEECo] 796503: Annotation for local knowledge   GitHub
• [DEECo] [d3scomp/JDEECo] 11460f: first attempts towards mdd-based parser   GitHub
• [DEECo] [d3scomp/JDEECo] 523402: Code review comments   GitHub
• [DEECo] [d3scomp/JDEECo] 7c0032: Switch for JMX   GitHub
• [DEECo] [d3scomp/JDEECo] 8de312: Refactoring   GitHub
• [DEECo] [d3scomp/JDEECo] 133c2d: adding @TimpStamps annotation   GitHub
• [DEECo] [d3scomp/JDEECo] 3a272f: hotifx: atomic propostions are not evaluated durin...   GitHub
• [DEECo] [d3scomp/JDEECo] 1b08c4: fix of the previous.   GitHub
• [DEECo] [d3scomp/JDEECo] bfc471: Bugfixes in Convoy demo for testing LTL+JPF, refac...   GitHub
• [DEECo] [d3scomp/JDEECo] d1a96d: tweaking convoy   GitHub

Last message date: Sat Jun 29 12:39:27 CEST 2013
Archived on: Thu Jan 17 14:46:11 CET 2019

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