Commits · d763ee5a03d06ee706ff2a23f800fc72f020c2f0 · mbe-tools / TTool

Feb 15, 2018
- Update on TTool package and adding probabilities to avatar transitions. Prob... · d763ee5a
  Ludovic Apvrille authored 7 years ago
  d763ee5a
Feb 06, 2018
- Performance pragma format syntax checking · 463c9ddf
  Letitia Li authored 7 years ago
  
  463c9ddf
Jan 29, 2018
- Modifying reachaiblity of selected states in Avatar model checker · 99f65fdc
  Ludovic Apvrille authored 7 years ago
  
  99f65fdc
Jan 03, 2018
- Simulation Trace and Performance pragma fix · 520a675e
  Letitia Li authored 7 years ago
  
  520a675e
Dec 07, 2017
- Reworking the UPPAAL dialog window · 8f3eb3e5
  apvrille authored 7 years ago and Fabien Tessier committed 7 years ago
  
  8f3eb3e5
- Improved syntax error warning in pragmas · 5f81a092
  Letitia Li authored 7 years ago and Fabien Tessier committed 7 years ago
  
  5f81a092
- UPPAAL Pragma fixes · c1cab50d
  Letitia Li authored 7 years ago and Fabien Tessier committed 7 years ago
  
  c1cab50d
- Feedback for syntax errors · ab654849
  Letitia Li authored 7 years ago and Fabien Tessier committed 7 years ago
  
  ab654849
- Fixed UPPAAL syntax checking · b0bc8cd5
  Letitia Li authored 7 years ago and Fabien Tessier committed 7 years ago
  
  b0bc8cd5
Nov 22, 2017
- Reworking the UPPAAL dialog window · 1ed8c3ea
  apvrille authored 7 years ago
  
  1ed8c3ea
Nov 19, 2017
- Improved syntax error warning in pragmas · d346d19d
  Letitia Li authored 7 years ago
  
  d346d19d
Nov 17, 2017
- UPPAAL Pragma fixes · 766e8055
  Letitia Li authored 7 years ago
  
  766e8055
Nov 16, 2017
- Feedback for syntax errors · 0ba3f1b0
  Letitia Li authored 7 years ago
  
  0ba3f1b0
Nov 15, 2017
- Fixed UPPAAL syntax checking · a2770853
  Letitia Li authored 7 years ago
  
  a2770853
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
- updated safety unit tests · 92762e48
  Letitia Li authored 7 years ago
  
  92762e48
Sep 28, 2017
- updated unit tests · 4de4d64f
  Letitia Li authored 7 years ago
  
  4de4d64f
Sep 26, 2017
- Refining latency pragma backtracing · c2f30fc6
  Letitia Li authored 7 years ago
  
  c2f30fc6
- 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 22, 2017
- Adding latency check to safety pragma · ff99615e
  Letitia Li authored 7 years ago
  
  ff99615e
Jul 20, 2017
- Better labels for Avatar latency measurement · 76f0cf36
  Letitia Li authored 7 years ago
  
  76f0cf36
Jun 29, 2017
- Avatar latency measurement in simulation · bf5ffff4
  Letitia Li authored 7 years ago
  
  bf5ffff4
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 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 02, 2017
- optimize import · b3bc95f5
  Florian Lugou authored 7 years ago
  
  b3bc95f5
Mar 14, 2017
- update · 59390863
  Daniela Genius authored 8 years ago
  
  59390863
Mar 07, 2017
- Issue #17 : Limit the size of opening dialogs to the size of the screen + · d83bec61
  Dominique Blouin authored 8 years ago
  d83bec61
Feb 21, 2017
- Pragma graphics fix · d85e7991
  Letitia Li authored 8 years ago
  
  d85e7991
Feb 20, 2017
- Better UI for pragma syntax checking · d0a87f7f
  Letitia Li authored 8 years ago
  
  d0a87f7f
Feb 01, 2017
- Modifying handling of diplo RGs · f43944d8
  apvrille authored 8 years ago
  
  f43944d8
Jan 19, 2017
- Bug on avatar model checking corrigé (association de signaux sur relations) · 457d2d6a
  apvrille authored 8 years ago
  
  457d2d6a
Jan 18, 2017
- Update not yet finished on signal association information · 28e2a401
  apvrille authored 8 years ago
  
  28e2a401
- Resolving issue 26 · 51082aed
  apvrille authored 8 years ago
  
  51082aed
Nov 10, 2016
- rapido paper · fe64d7b6
  Letitia Li authored 8 years ago
  
  fe64d7b6
- rapido · 471ba57f
  Letitia Li authored 8 years ago
  
  471ba57f
- rapido paper · 2ce7292f
  Letitia Li authored 8 years ago
  
  2ce7292f