Commits · 8a204dde6b5c7c5b5695d0b9ac44c19e5fc13f6e · mbe-tools / TTool

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