Commits · e9a2d9bb1984bbd897405f7d463859bca8e26ba1 · mbe-tools / TTool

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
Jun 02, 2017
- optimize import · b3bc95f5
  Florian Lugou authored 7 years ago
  
  b3bc95f5
Apr 26, 2016
- added library function calls to SMD and various modification to use generics · aeec97b8
  Florian Lugou authored 8 years ago
  
  aeec97b8
Jul 15, 2010
- AVATAR: Management of Timers: on AVATAR models, and also in the internal... · 69e2ee10
  Ludovic Apvrille authored 14 years ago
  
  AVATAR: Management of Timers: on AVATAR models, and also in the internal language + translation to UPPAAL
  69e2ee10
May 21, 2010
- Update on avatar translation · 527a5397
  Ludovic Apvrille authored 14 years ago
  
  527a5397
Apr 12, 2010
- avatar: other operators · c70cbca0
  Ludovic Apvrille authored 14 years ago
  
  c70cbca0
Jul 16, 2008
- First try to setup the TTool's svn · 12049339
  Ludovic Apvrille authored 16 years ago
  
  12049339