Commits · f1d6f9b70aec2e513ce726adb754a245af659163 · mbe-tools / TTool · GitLab

Snippets Groups Projects

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 14 years ago
  
  adae5290
Apr 01, 2011
- AVATAR code generator: update on sync request management · 7a8a8158
  Ludovic Apvrille authored 14 years ago
  
  7a8a8158
Mar 31, 2011
- AVATAR code generator: Update on single sending requests · c68b86c4
  Ludovic Apvrille authored 14 years ago
  
  c68b86c4
- AVATAR code generator: state machines in task files, and several translation bugs corrected · ce1421ef
  Ludovic Apvrille authored 14 years ago
  
  ce1421ef
- AVATAR: code generator update · b488f5fc
  Ludovic Apvrille authored 14 years ago
  
  b488f5fc
- AVATAR: Update on code generator · c921f9d3
  Ludovic Apvrille authored 14 years ago
  
  c921f9d3
Mar 30, 2011
- AVATAR: executable code update · 84e03435
  Ludovic Apvrille authored 14 years ago
  
  84e03435
Mar 29, 2011
- AVATAR: Preparing C code generation · 129a1476
  Ludovic Apvrille authored 14 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