Commits · 28efdc0cebd20f092797679db713ccda64d5caef · mbe-tools / TTool

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
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