Commits · c0e1556c5d4bf241aa2f6ad8b023b5f068545dd8 · mbe-tools / TTool · GitLab

Snippets Groups Projects

Jul 07, 2017
- Issue #35 : Problem in parsing verification results for different · cccc0ece
  Dominique Blouin authored 7 years ago
  
  versions of UPPAAL due to different output messages
  cccc0ece
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 15, 2017
- Manualy fixed some typography problems to prepare for automatic copyright correction · 9f3a12f1
  Florian Lugou authored 7 years ago
  
  9f3a12f1
Jun 09, 2017
- Reworked Makefile · 3fe3e71d
  Florian Lugou authored 7 years ago
  
  3fe3e71d
- Gradle Setup · bdfe1c5a
  Florian Lugou authored 7 years ago
  
  bdfe1c5a