Commits · 9b87e016f68cba56fda8236b1306a98dc74c2187 · mbe-tools / TTool

Jan 03, 2018
- Simulation Trace and Performance pragma fix · 520a675e
  Letitia Li authored 7 years ago
  
  520a675e
Oct 03, 2017
- Added definitely legitimate tml2avatar tests · 378a28d9
  Letitia Li authored 7 years ago
  
  378a28d9
Sep 26, 2017
- Added backtracing to check latency pragma · efa80af6
  Letitia Li authored 7 years ago
  
  efa80af6
Sep 25, 2017
- automatically add latencies to avatar simulation panel · 9b082db8
  Letitia Li authored 7 years ago
  
  9b082db8
Sep 24, 2017
- Added new pragma type · 9ec4efca
  Letitia Li authored 7 years ago
  
  9ec4efca
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 09, 2017
- Gradle Setup · bdfe1c5a
  Florian Lugou authored 7 years ago
  
  bdfe1c5a
May 31, 2017
- Refactoring ProVerif results to be objects instead of strings · 79cdcd29
  Florian Lugou authored 7 years ago
  
  79cdcd29
Sep 21, 2016
- Update on avatar model checker · 8fb5cc5b
  Ludovic Apvrille authored 8 years ago
  
  8fb5cc5b
Jun 13, 2016
- Modifying basicCloneMe · d5e4746d
  Ludovic Apvrille authored 8 years ago
  
  d5e4746d
Jun 01, 2016
- Update on network example and model checker code · f90e656b
  Ludovic Apvrille authored 8 years ago
  
  f90e656b
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
Nov 25, 2014
- Update on ref to ads in tmlcp · 9428cb1b
  Ludovic Apvrille authored 10 years ago
  
  9428cb1b
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