Commits · b36e76f724f3fd91fd1cd29e310d2d19b7d613b9 · mbe-tools / TTool

May 27, 2020
- Adding triangular distribution law on avatar transition · d5829cd3
  Ludovic Apvrille authored 4 years ago
  
  d5829cd3
Mar 12, 2020
- UML version of AMS interfaces and channels · 3f951e83
  Daniela Genius authored 5 years ago
  
  3f951e83
Mar 06, 2020
- starting alternative implementation of AMS/GPIO communication · 46924628
  Daniela Genius authored 5 years ago
  
  46924628
Apr 12, 2019
- Resolving bug on empty transition handling · 00c7fccd
  Ludovic Apvrille authored 5 years ago
  
  00c7fccd
Mar 19, 2019
- Update on TTool with cli script foe debug · 0582e0e7
  Ludovic Apvrille authored 6 years ago
  
  0582e0e7
Mar 12, 2019
- Resolving bug on transformation between avatar graphical guard and textual guards · aaa213b2
  apvrille authored 6 years ago
  
  aaa213b2
- Resolving bug on transformation between avatar graphical guard and textual guards · fc261786
  apvrille authored 6 years ago
  
  fc261786
Jan 25, 2019
- Update on composite states · f67e4b16
  apvrille authored 6 years ago
  
  f67e4b16
Jan 24, 2019
- Improvement on selection of states in avatar for reachaiblity analysis · 09bbc6ad
  apvrille authored 6 years ago
  
  09bbc6ad
Jan 21, 2019
- Update on bool verification in AVATAR. · a23380d5
  Ludovic Apvrille authored 6 years ago
  
  a23380d5
Jan 16, 2019
- Resolving bool evaluation ticket 170 · 82214b5f
  apvrille authored 6 years ago
  
  82214b5f
Nov 05, 2018
- Correcting bug ticket 163 · 735c7646
  Ludovic Apvrille authored 6 years ago
  
  735c7646
Oct 22, 2018
- Update on checking keywords in term · f21e8f9b
  apvrille authored 6 years ago
  
  f21e8f9b
Sep 21, 2018
- Removing non working tests · 927eb9e7
  apvrille authored 6 years ago
  
  927eb9e7
Sep 13, 2018
- Resolving issue 152 · 7fa7f06a
  apvrille authored 6 years ago
  
  7fa7f06a
Aug 09, 2018
- Revert "Revert "Issue #69 : Implemented components disabling for activity diagrams and"" · feb34e3d
  Irina LEE authored 6 years ago
  
  This reverts commit 8725e64b.
  feb34e3d
Aug 08, 2018
- Revert "Issue #69 : Implemented components disabling for activity diagrams and" · 8725e64b
  Irina LEE authored 6 years ago
  
  This reverts commit 88933719.
  8725e64b
Aug 01, 2018
- Issue #69 : Implemented components disabling for activity diagrams and · 88933719
  Dominique Blouin authored 6 years ago
  
  state machines.
  88933719
Jul 27, 2018
- Code cleanup · 652e0406
  Dominique Blouin authored 6 years ago
  
  652e0406
Jun 26, 2018
- Avatar design Panel · 67934221
  Daniela Genius authored 6 years ago
  
  67934221
Jun 21, 2018
- Removing useless system.out.println · 7eb4648f
  apvrille authored 6 years ago
  
  7eb4648f
Feb 15, 2018

Update on TTool package and adding probabilities to avatar transitions. Prob... · d763ee5a

Update on TTool package and adding probabilities to avatar transitions. Prob are still not working in automatd simulation mode e.g. next breakpoint

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