Commits · e3b7322ae29cffe9a39b0029bb39e5f19453a993 · mbe-tools / TTool

Jan 08, 2014
- Update on coe generator · e3b7322a
  Ludovic Apvrille authored 11 years ago
  
  e3b7322a
Jan 07, 2014
- No commit message · 3559ad4c
  Ludovic Apvrille authored 11 years ago
  
  No commit message
  3559ad4c
Dec 05, 2013
- Update on TTool: asyncm msgs in simulation · 5fec67a7
  Ludovic Apvrille authored 11 years ago
  
  5fec67a7
Nov 29, 2013
- Correcting bug on empty data types · 05c11a0e
  Ludovic Apvrille authored 11 years ago
  
  05c11a0e
Aug 02, 2013
- Adding the index of the lastly displayed transaction · e7e1bd74
  Ludovic Apvrille authored 11 years ago
  
  e7e1bd74
Jul 02, 2013
- New search facility · c7dc29b9
  Ludovic Apvrille authored 11 years ago
  
  c7dc29b9
Mar 27, 2013
- Update on the position of information on mutually exclusive states · a5f94d94
  Ludovic Apvrille authored 12 years ago
  
  a5f94d94
Mar 14, 2013
- Update on code generation · 3e5715b9
  Ludovic Apvrille authored 12 years ago
  
  3e5715b9
Mar 13, 2013
- Update on model with code generation and graphical interface of microwave · cdbec1d4
  Ludovic Apvrille authored 12 years ago
  
  cdbec1d4
Mar 12, 2013
- Update on code generation in AVATAR · 242ec3b2
  Ludovic Apvrille authored 12 years ago
  
  242ec3b2
Mar 11, 2013
- Update on code generator · 89b2b19d
  Ludovic Apvrille authored 12 years ago
  
  89b2b19d
Mar 08, 2013
- Update on code generator of AVATAR · 74980046
  Ludovic Apvrille authored 12 years ago
  
  74980046
Feb 19, 2013
- Resolving bugs in avatar interal simulator, avatr to uppaal generator and avatar-to-tpn generator · 0c00c454
  Ludovic Apvrille authored 12 years ago
  
  0c00c454
Oct 09, 2012
- Update to support energy consumptio nsent by simulator to TTool in interactive... · b777fdd3
  Ludovic Apvrille authored 12 years ago
  
  Update to support energy consumptio nsent by simulator to TTool in interactive simulation of DIPLODOCUS models
  b777fdd3
Apr 13, 2012
- Update on the nocolor option for attack trees · 54e39f9d
  Ludovic Apvrille authored 12 years ago
  
  54e39f9d
Feb 15, 2012
- Adding invariants on tree · 26129e47
  Ludovic Apvrille authored 13 years ago
  
  26129e47
Feb 13, 2012
- Resolved bug on random values for delay in generated CPOSIX code / AVATAR · 535ff4d1
  Ludovic Apvrille authored 13 years ago
  
  535ff4d1
Feb 01, 2012
- Ready to be sent to Sylvia · 5834660d
  Ludovic Apvrille authored 13 years ago
  
  5834660d
Jan 31, 2012
- Update on proverif translation: pragmas · b5e52257
  Ludovic Apvrille authored 13 years ago
  
  b5e52257
Jan 10, 2012
- DIPLO: removing arrows on links between hw nodes and buses · 51dfa512
  Ludovic Apvrille authored 13 years ago
  
  51dfa512
Dec 14, 2011
- Update on microwave model · 9d059cae
  Ludovic Apvrille authored 13 years ago
  
  9d059cae
Dec 13, 2011
- Resolved bug on library loading · fc6a0d3c
  Ludovic Apvrille authored 13 years ago
  
  fc6a0d3c
Oct 13, 2011
- DIPLODOCUS: Bug on loss on requests · 8d3e76ea
  Ludovic Apvrille authored 13 years ago
  
  8d3e76ea
Jun 20, 2011
- TTool: no-color option · 0f46d473
  Ludovic Apvrille authored 13 years ago
  
  0f46d473
Jun 16, 2011
- AVATAR: Update on panel translator · 61857f4e
  Ludovic Apvrille authored 13 years ago
  
  61857f4e
Jun 10, 2011
- Avatar: Update on code generation: gui, generated code and trace analyzer · 910ba0a2
  Ludovic Apvrille authored 13 years ago
  
  910ba0a2
Jun 09, 2011
- AVATAR: tracing of async req · a705bf52
  Ludovic Apvrille authored 13 years ago
  
  a705bf52
May 26, 2011
- Avatar SMD: autoconnect of components · 87342322
  Ludovic Apvrille authored 13 years ago
  
  87342322
May 19, 2011
- AVATAR code generator: support of asynchronous channels · 59a8c6dc
  Ludovic Apvrille authored 13 years ago
  
  59a8c6dc
May 18, 2011
- AVATAR Design: Update on broadcast channels: internal simulation and executable code · 70b28cd7
  Ludovic Apvrille authored 13 years ago
  
  70b28cd7
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
May 10, 2011
- DIPLODOCUS mapping: bug on tasks not generated solved · 6d60e860
  Ludovic Apvrille authored 13 years ago
  
  6d60e860
May 09, 2011
- AVATAR design: new syntax checker, and support of else guards · 76bed925
  Ludovic Apvrille authored 13 years ago
  
  76bed925
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: update for MacOS · 38611a0a
  Ludovic Apvrille authored 13 years ago
  
  38611a0a
- AVATAR code generator: upgrade to be supported under MACOS · b453d2f5
  Ludovic Apvrille authored 13 years ago
  
  b453d2f5
Apr 08, 2011
- AVATAR code generator: debug info improvement · 37f87743
  Ludovic Apvrille authored 13 years ago
  
  37f87743
Apr 05, 2011
- AVATAR code generator: Support for time, but still buggy · 29c21b68
  Ludovic Apvrille authored 13 years ago
  
  29c21b68