Commits · e2be02ea7ff4a88ba3dd1ddc8a773870524b9155 · mbe-tools / TTool

Mar 24, 2016
- Update on replaceOp · e2be02ea
  Ludovic Apvrille authored 9 years ago
  
  e2be02ea
- Update on webcrawler · 0a71e411
  Ludovic Apvrille authored 9 years ago
  
  0a71e411
Feb 08, 2016
- MPSoC · fa850043
  Daniela Genius authored 9 years ago
  
  fa850043
Jan 08, 2016
- merged · 3e574cfd
  Daniela Genius authored 9 years ago
  
  3e574cfd
Jan 07, 2016
- Rejecting commit by Daniela · cd5c1978
  Ludovic Apvrille authored 9 years ago
  
  cd5c1978
Jan 06, 2016
- merged · 830a05e2
  Daniela Genius authored 9 years ago
  
  830a05e2
Nov 06, 2015
- Execution Thread reads Error Stream as well · 28efdc0c
  Letitia Li authored 9 years ago
  
  28efdc0c
Nov 04, 2015
- Resolving bug when parsing empty AVATAR functions · 3363e4fc
  Ludovic Apvrille authored 9 years ago
  
  3363e4fc
Oct 28, 2015
- Update on graphical bug: adding several connectors on one connecting point · 184b2c67
  Ludovic Apvrille authored 9 years ago
  
  184b2c67
- Update on code for avatar translation · b23d7030
  Ludovic Apvrille authored 9 years ago
  
  b23d7030
Sep 17, 2015
- Update on zooms management and UML notes · c0d9438b
  Ludovic Apvrille authored 9 years ago
  
  c0d9438b
Aug 27, 2015
- Update on guards management by ProVerif · 5dbec196
  Ludovic Apvrille authored 9 years ago
  
  5dbec196
May 11, 2015
- Adding icons to avatar deplyment diagrams · b1b4581a
  Ludovic Apvrille authored 9 years ago
  
  b1b4581a
Apr 15, 2015
- Adding support for validation / verification of attack trees · 6ef7f0c8
  Ludovic Apvrille authored 9 years ago
  
  6ef7f0c8
Mar 20, 2015
- Update on proverif translator · 8a204dde
  Ludovic Apvrille authored 10 years ago
  
  8a204dde
Feb 10, 2015
- Update on SMD connector · 1cc49155
  Ludovic Apvrille authored 10 years ago
  
  1cc49155
Nov 25, 2014
- Update on ref to ads in tmlcp · 9428cb1b
  Ludovic Apvrille authored 10 years ago
  
  9428cb1b
Nov 13, 2014
- Update on AVATAR2SOCLIB · a795ce68
  Ludovic Apvrille authored 10 years ago
  
  a795ce68
Nov 03, 2014
- Update on undo in TTool · d3618045
  Ludovic Apvrille authored 10 years ago
  
  d3618045
Sep 02, 2014
- Adding support for the Avatar methodology · c738c5e5
  Ludovic Apvrille authored 10 years ago
  
  c738c5e5
Sep 01, 2014
- Adding Avatar methodology · 3d451420
  Ludovic Apvrille authored 10 years ago
  
  3d451420
Aug 28, 2014
- Update on tree management · 1ee67a39
  Ludovic Apvrille authored 10 years ago
  
  1ee67a39
Aug 27, 2014
- Modification on SDinstance management when mapping elements on CPs · 36bb948e
  Ludovic Apvrille authored 10 years ago
  
  36bb948e
Aug 21, 2014
- Update on TTY and memory attributes · 2f2711db
  Ludovic Apvrille authored 10 years ago
  
  2f2711db
Jun 13, 2014
- Update on events mapping · 87d7550c
  Ludovic Apvrille authored 10 years ago
  
  87d7550c
May 15, 2014
- No commit message · 88a062f8
  Ludovic Apvrille authored 10 years ago
  
  No commit message
  88a062f8
Feb 04, 2014
- Update on custom code generation · 171455d7
  Ludovic Apvrille authored 11 years ago
  
  171455d7
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