Commits · 422c5825b542e7993e31ab3aa7d4984a46b5ec4a · mbe-tools / TTool

Dec 20, 2023
- Adding cannot be proved for security proof in state machines · 147be0dc
  Ludovic Apvrille authored 1 year ago
  
  147be0dc
Jul 07, 2023
- Resolving bug on main diagram in reset proverif backtracing · cab9e55b
  Ludovic Apvrille authored 1 year ago
  
  cab9e55b
Mar 14, 2023
- Resolving bug on block clone when the block contains a lib func call. Still... · b9df7ae9
  Ludovic Apvrille authored 2 years ago
  
  Resolving bug on block clone when the block contains a lib func call. Still cannot clone a library function
  b9df7ae9
Apr 07, 2021
- Update on Activity diagram. First addition of query signal avatarsmd. Still not operational · 9bf79708
  Ludovic Apvrille authored 3 years ago
  
  9bf79708
Feb 27, 2020
- Adding removing of timing ops in avatar specs · 25c826da
  Ludovic Apvrille authored 5 years ago
  
  25c826da
Feb 22, 2019
- Handling the order of tabs in tasks / blocks diagrams · 8e46c85e
  Ludovic Apvrille authored 6 years ago
  
  8e46c85e
- Update on tab dragging when first tab is fixed · 442f1e14
  Ludovic Apvrille authored 6 years ago
  
  442f1e14
Jan 16, 2019
- Solving ticket on tab name: 167 · 9ffd9534
  apvrille authored 6 years ago
  
  9ffd9534
Jul 27, 2018
- Code cleanup · 652e0406
  Dominique Blouin authored 6 years ago
  
  652e0406
Jul 17, 2018
- Finding time between corresponding requests and Avatar ProVerif trace display · 7eeec669
  Letitia Li authored 6 years ago
  
  7eeec669
Jun 26, 2018
- update for clustered and IO · 3d43afaa
  Daniela Genius authored 6 years ago
  
  3d43afaa
Jun 21, 2018
- Removing useless system.out.println · 7eb4648f
  apvrille authored 6 years ago
  
  7eb4648f
May 25, 2018
- Issue #131 + code cleanup · c7c77bf5
  Dominique Blouin authored 6 years ago
  
  c7c77bf5
Dec 07, 2017
- Updated safety unit tests · 1ada257c
  Letitia Li authored 7 years ago and Fabien Tessier committed 7 years ago
  
  1ada257c
Nov 20, 2017
- Updated safety unit tests · 59b88baf
  Letitia Li authored 7 years ago
  
  59b88baf
Oct 03, 2017
- Added definitely legitimate tml2avatar tests · 378a28d9
  Letitia Li authored 7 years ago
  
  378a28d9
Sep 29, 2017
- Separated performance and safety pragma · 9ed90162
  Letitia Li authored 7 years ago
  
  9ed90162
Sep 26, 2017
- Added backtracing to check latency pragma · efa80af6
  Letitia Li authored 7 years ago
  
  efa80af6
Jun 19, 2017
- unified end-of-lines in files that presented mixed '\r', '\n' and '\r\n' · 1820b202
  Florian Lugou authored 7 years ago
  
  1820b202
Jun 16, 2017
- automatically corrected copyright to be normal multiline comments · fb7ec410
  Florian Lugou authored 7 years ago
  
  fb7ec410
Jun 12, 2017
- Added new compilation flags for warnings and cleaned up code · c8d455a6
  Florian Lugou authored 7 years ago
  
  c8d455a6
Jun 09, 2017
- Gradle Setup · bdfe1c5a
  Florian Lugou authored 7 years ago
  
  bdfe1c5a
Jun 02, 2017
- optimize import · b3bc95f5
  Florian Lugou authored 7 years ago
  
  b3bc95f5
May 31, 2017
- completed CLI trace reconstruction · b70188f6
  Florian Lugou authored 7 years ago
  
  b70188f6
- Refactoring ProVerif results to be objects instead of strings · 79cdcd29
  Florian Lugou authored 7 years ago
  
  79cdcd29
May 30, 2017
- Issue #41 : Ordering of tabbed panes · 37309001
  Dominique Blouin authored 7 years ago
  
  37309001
Apr 04, 2017
- Update on clone management · 840de4be
  apvrille authored 7 years ago
  
  840de4be
Mar 14, 2017
- update · 59390863
  Daniela Genius authored 8 years ago
  
  59390863
Mar 07, 2017
- Issue #17 : Limit the size of opening dialogs to the size of the screen + · d83bec61
  Dominique Blouin authored 8 years ago
  
  general code review
  d83bec61
Oct 06, 2016
- resolving confliect · b4a79d85
  Ludovic Apvrille authored 8 years ago
  
  b4a79d85
Apr 26, 2016
- added library function calls to SMD and various modification to use generics · aeec97b8
  Florian Lugou authored 8 years ago
  
  aeec97b8
Jan 28, 2016
- Adding components for sysmlsec methodo: partitioning refs · 79c8bdda
  Ludovic Apvrille authored 9 years ago
  
  79c8bdda
Jan 14, 2016
- uppaal backtracing · 8deba34c
  Letitia Li authored 9 years ago
  
  8deba34c
Oct 22, 2015
- design panel fix · ac5429de
  Letitia Li authored 9 years ago
  
  ac5429de
Oct 09, 2015
- Split locks for authenticity · 569b3b1c
  Letitia Li authored 9 years ago
  
  569b3b1c
Oct 07, 2015
- fixed proverif output analyzer for composed types · da2fce63
  Florian Lugou authored 9 years ago
  
  da2fce63
- AvatarDesignPanel change · 26cc4e95
  Letitia Li authored 9 years ago
  
  26cc4e95
Oct 06, 2015
- fixes for guards translation with ProVerif · c5444aad
  Florian Lugou authored 9 years ago
  
  c5444aad
Oct 02, 2015
- fixed bug with ProVerif and InitialKnowledge · 34154e27
  Florian Lugou authored 9 years ago
  
  34154e27
Oct 01, 2015
- Pragma UI update · adcdc9d1
  Letitia Li authored 9 years ago
  
  adcdc9d1