Commits · 1cc49155cfd42438d48b1f6c9dcf99d2d10311c7 · mbe-tools / TTool

Feb 10, 2015
- Update on SMD connector · 1cc49155
  Ludovic Apvrille authored 10 years ago
  
  1cc49155
Aug 25, 2014
- Update on channel mapping in avatar dd · 91520974
  Ludovic Apvrille authored 10 years ago
  
  91520974
Jan 10, 2014
- Update on TTool: must integrate the new boolean evaluator: bool evaluation may not work · d770dab1
  Ludovic Apvrille authored 11 years ago
  
  d770dab1
Jun 14, 2012
- Update on signal drawing in ibd avatar · 221e64c1
  Ludovic Apvrille authored 12 years ago
  
  221e64c1
Jul 04, 2011
- DIPLODOCUS: Update on syntax checker (variables id = keywords) and Update on DSE engine · 671e0792
  Ludovic Apvrille authored 13 years ago
  
  671e0792
Jul 01, 2011
- AVATAR: Enhancing signal association window · 60b229ef
  Ludovic Apvrille authored 13 years ago
  
  60b229ef
Jun 29, 2011
- AVATAR:Adding a lossy argument to asynchronous channel · 4ad5e29b
  Ludovic Apvrille authored 13 years ago
  
  4ad5e29b
May 25, 2011
- AVATAR Design: Update on signal listing: possibility to hide / unhide signals · 2bccfa44
  Ludovic Apvrille authored 13 years ago
  
  2bccfa44
- AVATAR/ Possibility to link comments to elements of the design · fdb63f64
  Ludovic Apvrille authored 13 years ago
  
  fdb63f64
May 16, 2011
- AVATAR broadcast channels: updates · 9b318c47
  Ludovic Apvrille authored 13 years ago
  
  9b318c47
May 11, 2011
- AVATAR: first introduction of broadcast channels at graphical level, internal... · 6fc91aab
  Ludovic Apvrille authored 13 years ago
  
  AVATAR: first introduction of broadcast channels at graphical level, internal avatar language and UPPAAL translation
  6fc91aab
Mar 07, 2011
- AVATAR: Handling of private channels for security proof · 6d7651f1
  Ludovic Apvrille authored 14 years ago
  
  6d7651f1
Feb 15, 2011
- preparing TEPE diagrams · e5682f9b
  Ludovic Apvrille authored 14 years ago
  
  e5682f9b
Jan 26, 2011
- AVATAR BD: Update on the drawing of connectors between blocks · 50fa9700
  Ludovic Apvrille authored 14 years ago
  
  50fa9700
Jul 05, 2010
- Update on AVATAR: asynchronous channels · b34aa572
  Ludovic Apvrille authored 14 years ago
  
  b34aa572
Jul 02, 2010
- update on avatar · 768e8da6
  Ludovic Apvrille authored 14 years ago
  
  768e8da6
May 26, 2010
- Update on AVATAR · b667863a
  Ludovic Apvrille authored 14 years ago
  
  b667863a
May 19, 2010
- Update on AVATAR translation to TIF · 17cfedeb
  Ludovic Apvrille authored 14 years ago
  
  17cfedeb
May 18, 2010
- First AVATAR to TIF support · da04376a
  Ludovic Apvrille authored 14 years ago
  
  da04376a
Apr 12, 2010
- avatar: other operators · c70cbca0
  Ludovic Apvrille authored 14 years ago
  
  c70cbca0
Apr 07, 2010
- AVATAR: first draft · 47fe0a55
  Ludovic Apvrille authored 14 years ago
  
  47fe0a55
Feb 19, 2010
- Update on TML syntax checker. Update on attack trees. Update on SD. · 9ef361ce
  Ludovic Apvrille authored 15 years ago
  
  9ef361ce
Dec 18, 2009
- Zoom on attack trees · 9b721348
  Ludovic Apvrille authored 15 years ago
  
  9b721348
Dec 11, 2009
- Update on attack trees: constraints · 38f8b080
  Ludovic Apvrille authored 15 years ago
  
  38f8b080
Dec 10, 2009
- update on attack trees · 12e4a107
  Ludovic Apvrille authored 15 years ago
  
  12e4a107
Jul 16, 2008
- First try to setup the TTool's svn · 12049339
  Ludovic Apvrille authored 16 years ago
  
  12049339