Commits · a84f0019aa223f55fa0018736b07027e5cb50fce · mbe-tools / TTool

You need to sign in or sign up before continuing.

Oct 12, 2017
- Modif on perf window · a84f0019
  apvrille authored 7 years ago
  
  a84f0019
Oct 11, 2017
- indentation · a1e932f7
  Ludovic Apvrille authored 7 years ago
  
  a1e932f7
- indentation · e6ff6851
  Ludovic Apvrille authored 7 years ago
  
  e6ff6851
- Update on evt management. Bug remaining on help · 7fdba540
  Ludovic Apvrille authored 7 years ago
  
  7fdba540
Oct 03, 2017
- Added definitely legitimate tml2avatar tests · 378a28d9
  Letitia Li authored 7 years ago
  
  378a28d9
Sep 29, 2017
- Separated performance and safety pragma · 9ed90162
  Letitia Li authored 7 years ago
  
  9ed90162
Sep 26, 2017
- Refining latency pragma backtracing · c2f30fc6
  Letitia Li authored 7 years ago
  
  c2f30fc6
Sep 22, 2017
- Adding latency check to safety pragma · ff99615e
  Letitia Li authored 7 years ago
  
  ff99615e
Sep 19, 2017
- Add inheritance and initButtons method on JDialog classes · 90d5807a
  Fabien Tessier authored 7 years ago
  
  90d5807a
Jun 16, 2017
- automatically corrected copyright to be normal multiline comments · fb7ec410
  Florian Lugou authored 7 years ago
  
  fb7ec410
Jun 12, 2017
- Added new compilation flags for warnings and cleaned up code · c8d455a6
  Florian Lugou authored 7 years ago
  
  c8d455a6
- fixed all warnings · 04609774
  Florian Lugou authored 7 years ago
  
  04609774
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
Jan 18, 2017
- Autocomplete Safety Pragma · 05266d5a
  Letitia Li authored 8 years ago
  
  05266d5a
Oct 28, 2016
- Attempt to fix UPPAAL safety pragma 2 · 60351cb6
  Letitia Li authored 8 years ago
  
  60351cb6
- Attempt to fix UPPAAL safety pragma · 6eedd142
  Letitia Li authored 8 years ago
  
  6eedd142
- TML2Avatar data types added · 36872b13
  Letitia Li authored 8 years ago
  
  36872b13
Nov 25, 2015
- UPPAAL translation UI · d49b2bed
  Letitia Li authored 9 years ago
  
  d49b2bed
Nov 24, 2015
- image update · 0885d1b7
  Letitia Li authored 9 years ago
  
  0885d1b7
- help menu · 0efbb4a8
  Letitia Li authored 9 years ago
  
  0efbb4a8
Nov 20, 2015
- UPPAAL Pragma support · 45e30daa
  Letitia Li authored 9 years ago
  
  45e30daa
Oct 06, 2015
- Pragma Help Popup · 1e4405fd
  Letitia Li authored 9 years ago
  
  1e4405fd
- Added Pragma help · e7014606
  Letitia Li authored 9 years ago
  
  e7014606
Oct 05, 2015
- Pragma UI fix · b43f7dd0
  Letitia Li authored 9 years ago
  
  b43f7dd0
Oct 02, 2015
- Removed scroll bug · d3583328
  Letitia Li authored 9 years ago
  
  d3583328
- Fixed some Pragma bugs · 225d9cb1
  Letitia Li authored 9 years ago
  
  225d9cb1
Oct 01, 2015
- Pragma UI update · adcdc9d1
  Letitia Li authored 9 years ago
  
  adcdc9d1