Commits · 3e1be58574cf9ea11fcdd0377b7e319eb7dae2b8 · mbe-tools / TTool

Sep 18, 2017
- #Issue 70: Copy backspace behaviour to suppr key · 3e1be585
  Fabien Tessier authored 7 years ago
  
  3e1be585
Jul 13, 2017
- Update on plugin for graphical components · 906b185a
  apvrille authored 7 years ago
  
  906b185a
Jun 27, 2017
- Moved ConfigurationTTool to new package common · 0208f9ab
  Florian Lugou authored 7 years ago
  
  0208f9ab
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 13, 2017
- fixed problem in Makefile with javadoc · fc393cbb
  Florian Lugou authored 7 years ago
  
  fc393cbb
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
- removed duplicated JDialogProVerifGeneration class · e5758f9b
  Florian Lugou authored 7 years ago
  
  e5758f9b
Mar 21, 2017
- Update on uppaaal gen · d2d2271e
  Ludovic Apvrille authored 8 years ago
  
  d2d2271e
Mar 20, 2017
- Update on icon management in diplo · 8403db06
  apvrille authored 8 years ago
  
  8403db06
- Update on TTool icons · c81f0ed9
  apvrille authored 8 years ago
  
  c81f0ed9
Feb 21, 2017
- activating internal model checker · 2e6277ec
  Ludovic Apvrille authored 8 years ago
  
  2e6277ec
Feb 02, 2017
- Update on actions · aca69f3c
  Ludovic Apvrille authored 8 years ago
  
  aca69f3c
Jul 25, 2016
- auto secure tool · 6348f95e
  Letitia Li authored 8 years ago
  
  6348f95e
May 31, 2016
- Adding link to avatar model checker · 8477e85b
  Ludovic Apvrille authored 8 years ago
  
  8477e85b
Feb 26, 2016
- TML2Avatar translation · a6118b77
  Letitia Li authored 9 years ago
  
  a6118b77
Aug 25, 2015
- Indenting TMLrchiCPNode.java · 8f1f6849
  Ludovic Apvrille authored 9 years ago
  
  8f1f6849
Mar 29, 2015

add 2 icons on menu bar; change address to check connection; change... · 1095c437

add 2 icons on menu bar; change address to check connection; change notification's content;  add name for search dialog; add text in search field for  selected block

1095c437

Mar 12, 2015
- add button for External Search on MenuBar · d9ffc562
  Dominique Blouin authored 10 years ago
  
  d9ffc562
Feb 06, 2015
- added button for C code generation. Started to add dataFlowType and more... · 95b8868a
  Andrea Enrici authored 10 years ago
  
  added button for C code generation. Started to add dataFlowType and more features for the mapping of ports onto CPs
  95b8868a
Jun 13, 2014
- Update on events mapping · 87d7550c
  Ludovic Apvrille authored 10 years ago
  
  87d7550c
Jul 02, 2013
- New search facility · c7dc29b9
  Ludovic Apvrille authored 11 years ago
  
  c7dc29b9
Jun 06, 2013
- Update on static analysis icon · be65d23a
  Ludovic Apvrille authored 11 years ago
  
  be65d23a
Feb 10, 2012
- Adding invariant computation · f2b48452
  Ludovic Apvrille authored 13 years ago
  
  f2b48452
Oct 04, 2011
- DSE and AVATAR · b180b37a
  Ludovic Apvrille authored 13 years ago
  
  b180b37a
Mar 29, 2011
- AVATAR: Preparing C code generation · 129a1476
  Ludovic Apvrille authored 13 years ago
  
  129a1476
Mar 25, 2011
- DIPLODOCUS: new icons for simulation and code generation. Only necessary icons... · e506f775
  Ludovic Apvrille authored 14 years ago
  
  DIPLODOCUS: new icons for simulation and code generation. Only necessary icons are dusplayed in the main toolbar
  e506f775
- AVATAR: new icons for simulation and code generation · 253593eb
  Ludovic Apvrille authored 14 years ago
  
  253593eb
Sep 06, 2010
- ProVerif: code generation from Avatar diagrams: first sketch · 52670c11
  Ludovic Apvrille authored 14 years ago
  
  52670c11
Jun 04, 2009
- New commands and toolbar · f6baab23
  Ludovic Apvrille authored 15 years ago
  
  f6baab23
Apr 24, 2009
- Update on graphical simulator control · f4c57f7e
  Ludovic Apvrille authored 15 years ago
  
  f4c57f7e
Dec 16, 2008
- TGAutoAdjust! · dcf0ac6c
  Ludovic Apvrille authored 16 years ago
  
  dcf0ac6c
Dec 02, 2008
- NC update · 35f71da1
  Ludovic Apvrille authored 16 years ago
  
  35f71da1
Jul 16, 2008
- First try to setup the TTool's svn · 12049339
  Ludovic Apvrille authored 16 years ago
  
  12049339