Commits · 46b905177de748a9ff641a83c33e8ffbedb67bd9 · mbe-tools / TTool · GitLab

Snippets Groups Projects

Apr 14, 2011
- Upgrade in AVATAR code generator: pthread_cond_init and pthread_mutex_init · 46b90517
  Ludovic Apvrille authored 13 years ago
  
  46b90517
Apr 13, 2011
- Avatar code generator: Update on asynchronous channels · 83da5dbe
  Ludovic Apvrille authored 13 years ago
  
  83da5dbe
Apr 12, 2011
- AVATAR code generator: Update on function execution · a771db44
  Ludovic Apvrille authored 13 years ago
  
  a771db44
Apr 11, 2011
- AVATAR code generator: first tracing system · c512bb3e
  Ludovic Apvrille authored 13 years ago
  
  c512bb3e
- AVATAR code generator: first tracing system · f8fe83b3
  Ludovic Apvrille authored 13 years ago
  
  f8fe83b3
Apr 08, 2011
- AVATAR code generator: debug info improvement · 37f87743
  Ludovic Apvrille authored 13 years ago
  
  37f87743
Apr 07, 2011
- AVATAR: Update on code generator: hnadling of timed transitions + various bugs resolved · 2194b478
  Ludovic Apvrille authored 13 years ago
  
  2194b478
Apr 05, 2011
- AVATAR code generator: Support for time, but still buggy · 29c21b68
  Ludovic Apvrille authored 13 years ago
  
  29c21b68
Apr 04, 2011
- AVATAR code generator: Support for multiple requests · adae5290
  Ludovic Apvrille authored 13 years ago
  
  adae5290
Apr 01, 2011
- AVATAR code generator: update on sync request management · 7a8a8158
  Ludovic Apvrille authored 13 years ago
  
  7a8a8158
Mar 31, 2011
- AVATAR code generator: Update on single sending requests · c68b86c4
  Ludovic Apvrille authored 13 years ago
  
  c68b86c4
- AVATAR code generator: state machines in task files, and several translation bugs corrected · ce1421ef
  Ludovic Apvrille authored 13 years ago
  
  ce1421ef
- AVATAR: code generator update · b488f5fc
  Ludovic Apvrille authored 13 years ago
  
  b488f5fc
- AVATAR: Update on code generator · c921f9d3
  Ludovic Apvrille authored 13 years ago
  
  c921f9d3
Mar 30, 2011
- AVATAR: executable code update · 84e03435
  Ludovic Apvrille authored 13 years ago
  
  84e03435
Mar 29, 2011
- AVATAR: Preparing C code generation · 129a1476
  Ludovic Apvrille authored 13 years ago
  
  129a1476
Sep 13, 2010
- AVATAR: Resolved bug when removinga component from a AvatarPDBlock · ea2e7e1f
  Ludovic Apvrille authored 14 years ago
  
  ea2e7e1f
Sep 06, 2010
- ProVerif: code generation from Avatar diagrams: first sketch · 52670c11
  Ludovic Apvrille authored 14 years ago
  
  52670c11
Jul 16, 2008
- First try to setup the TTool's svn · 12049339
  Ludovic Apvrille authored 16 years ago
  
  12049339