Commits · d2377d79a6d84333109aa3eac72c63cc4a376424 · mbe-tools / TTool

Sep 01, 2016
- dse changes · d2377d79
  Letitia Li authored 8 years ago
  
  d2377d79
Aug 23, 2016
- solved issued with bufferType ANOMALY and correctly retrieved the list of... · da650b38
  Ludovic Apvrille authored 8 years ago and Andrea Enrici committed 8 years ago
  da650b38
- Resolving bug on UPPAAL generation from TML app · 35ebe139
  Ludovic Apvrille authored 8 years ago
  
  35ebe139
- Debug action for tml to uppaal · 2b715000
  Ludovic Apvrille authored 8 years ago
  
  2b715000
Aug 17, 2016
- key exchange · 5a389340
  Letitia Li authored 8 years ago
  
  5a389340
Aug 12, 2016
- No commit message · 3f4171e6
  Ludovic Apvrille authored 8 years ago and Andrea Enrici committed 8 years ago
  3f4171e6
Aug 11, 2016
- major bugfix ui add · 7607f56a
  Daniela Genius authored 8 years ago
  
  7607f56a
Aug 02, 2016
- Auto Security fix · e34c38d3
  Letitia Li authored 8 years ago
  
  e34c38d3
Jul 29, 2016
- Design Space Exploration UI · 78c29118
  Letitia Li authored 8 years ago
  
  78c29118
Jul 25, 2016
- auto secure tool · 6348f95e
  Letitia Li authored 8 years ago
  
  6348f95e
Jul 18, 2016
- Auto Secure Mapping · 392460fa
  Letitia Li authored 8 years ago
  
  392460fa
Jun 23, 2016
- CryptographicConfig UI · 2446c9f5
  Letitia Li authored 8 years ago
  
  2446c9f5
Jun 13, 2016
- Update on av model checker gui · bb3a2ec9
  Ludovic Apvrille authored 8 years ago
  
  bb3a2ec9
- Update on avatar model checker gui · 02154ab1
  Ludovic Apvrille authored 8 years ago
  
  02154ab1
Jun 08, 2016
- Update on time info · 980f2a96
  Ludovic Apvrille authored 8 years ago
  
  980f2a96
Jun 03, 2016
- Avatar Model Checker: first full impl but probably full of bugs · a7174fc8
  Ludovic Apvrille authored 8 years ago
  
  a7174fc8
Jun 01, 2016
- Update on network example and model checker code · f90e656b
  Ludovic Apvrille authored 8 years ago
  
  f90e656b
May 31, 2016
- Adding link to avatar model checker · fa35ede3
  Ludovic Apvrille authored 8 years ago
  
  fa35ede3
- Adding link to avatar model checker · 8477e85b
  Ludovic Apvrille authored 8 years ago
  
  8477e85b
May 27, 2016
- Simulator display · a0cb0857
  Letitia Li authored 8 years ago
  
  a0cb0857
May 25, 2016
- Simulator UI changes · 8e09f906
  Letitia Li authored 8 years ago
  
  8e09f906
May 24, 2016
- Component Transactions · e90e9069
  Letitia Li authored 8 years ago
  
  e90e9069
Apr 26, 2016
- added library function calls to SMD and various modification to use generics · aeec97b8
  Florian Lugou authored 9 years ago
  
  aeec97b8
Apr 21, 2016
- Update on channel name in avatardd · 0c51348f
  Ludovic Apvrille authored 9 years ago
  
  0c51348f
- removing pdf file and adding source code · 90dd8f6c
  Ludovic Apvrille authored 9 years ago
  
  90dd8f6c
- first step in adding library function call and fix for TGCNote box being too... · 0852ae0a
  Florian Lugou authored 9 years ago
  0852ae0a
Apr 15, 2016
- mapping channels · 7b73e0c7
  Letitia Li authored 9 years ago
  
  7b73e0c7
Apr 14, 2016
- First part of graphical library functions and some modifications to TDiagramPanel (added generics) · 00c2553c
  Florian Lugou authored 9 years ago
  
  00c2553c
Mar 24, 2016
- DIPLODOCUS Encrypt and Decrypt · eadf4efb
  Letitia Li authored 9 years ago
  
  eadf4efb
Mar 16, 2016
- Reachability backtracing · 783a046c
  Letitia Li authored 9 years ago
  
  783a046c
Mar 15, 2016
- Commit on deplo. diag modif. · 68fe0aed
  Ludovic Apvrille authored 9 years ago
  
  68fe0aed
- Update on TTool deployment diagrams · 46ea3576
  Ludovic Apvrille authored 9 years ago
  
  46ea3576
Mar 11, 2016
- backtracing fix · d813e545
  Letitia Li authored 9 years ago
  
  d813e545
Mar 10, 2016
- TML backtracing · 5b949a23
  Letitia Li authored 9 years ago
  
  5b949a23
Mar 04, 2016
- TML2AvatarTranslation · 27e9b25c
  Letitia Li authored 9 years ago
  
  27e9b25c
Mar 03, 2016
- Update on doc generation · 7304342b
  Ludovic Apvrille authored 9 years ago
  
  7304342b
- Update on documentation · b69e43aa
  Ludovic Apvrille authored 9 years ago
  
  b69e43aa
Feb 23, 2016
- Adding satisfay link to TTool · e92af10c
  Ludovic Apvrille authored 9 years ago
  
  e92af10c
Feb 22, 2016
- Update on coverage information · a75b8a30
  Ludovic Apvrille authored 9 years ago
  
  a75b8a30
Feb 16, 2016
- modified call to avatarddExecutableCodeGeneration in MainGUI · 0d5426c4
  Daniela Genius authored 9 years ago
  
  0d5426c4