Commits · 36bb948e7a2ff95c26a2077a7d36287817c82acc · mbe-tools / TTool

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
Mar 20, 2014
- No commit message · 6f27b476
  Ludovic Apvrille authored 11 years ago
  
  No commit message
  6f27b476
Feb 14, 2014
- Update:creation of real AVATAR analysis panel · 420a68c2
  Ludovic Apvrille authored 11 years ago
  
  420a68c2
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
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 15, 2011
- Executable code: time management modified with improved nsec padding · f82084d2
  Ludovic Apvrille authored 13 years ago
  
  f82084d2
Jun 14, 2011
- AVATAR code generator: tracing improved with tracing in console · cb5f230a
  Ludovic Apvrille authored 13 years ago
  
  cb5f230a
- AVATAR code generator: tracing bug resolved · be9c276f
  Ludovic Apvrille authored 13 years ago
  
  be9c276f
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
Jun 08, 2011
- Avatar Simulation: bug on silent transitions resolved · 7984499a
  Ludovic Apvrille authored 13 years ago
  
  7984499a
Jun 06, 2011
- AVATAR: Update on simulation for executable code · 2dd8f257
  Ludovic Apvrille authored 13 years ago
  
  2dd8f257
- AVATAR: update on simulation panel + update on executable code · 5a56b49b
  Ludovic Apvrille authored 13 years ago
  
  5a56b49b