Commits · fb7ec41021212840e57924ffcb1bb92f474362d5 · mbe-tools / TTool

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 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 13, 2016
- added advancedClone function to AvatarLibraryFunction · bde5bde1
  Florian Lugou authored 8 years ago
  
  bde5bde1
Apr 28, 2016
- first functional version of library calls · 55e3f20e
  Florian Lugou authored 8 years ago
  
  55e3f20e
Apr 21, 2016

Florian Lugou authored 8 years ago

first step in adding library function call and fix for TGCNote box being too wide and various other fixes related to zooming or library functions

0852ae0a

Sep 22, 2015
- Generation of ProVerif typed pi calculus, modification of Avatar model for... · cc582c07
  Florian Lugou authored 9 years ago
  
  Generation of ProVerif typed pi calculus, modification of Avatar model for easing translation to ProVerif
  cc582c07
Apr 13, 2015
- Update on syntax checking attack trees · 752e7d5f
  Ludovic Apvrille authored 9 years ago
  
  752e7d5f
Jan 24, 2011
- AVATAR simulator :update on main engine + partial management of time · 8f7fd72a
  Ludovic Apvrille authored 14 years ago
  
  8f7fd72a
Jul 20, 2010
- AVATAR: Improvement on avatar-to-uppaal code generator · 5a686f80
  Ludovic Apvrille authored 14 years ago
  
  5a686f80
May 20, 2010
- Update on Avatar State Machines · 7b1fa427
  Ludovic Apvrille authored 14 years ago
  
  7b1fa427
Jul 16, 2008
- First try to setup the TTool's svn · 12049339
  Ludovic Apvrille authored 16 years ago
  
  12049339