Commits · fa0475be9da24548c991692c062e7d631543c9f3 · mbe-tools / TTool

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
Nov 09, 2016
- UPPAAL pragma syntax checking · 682e2705
  Letitia Li authored 8 years ago
  
  682e2705
Nov 08, 2016
- RAPIDO paper · bab2ae6f
  Letitia Li authored 8 years ago
  
  bab2ae6f
- UPPAAL fix · 263c8528
  Letitia Li authored 8 years ago
  
  263c8528
Nov 07, 2016
- figure 4 compressed · 901df7b1
  Letitia Li authored 8 years ago
  
  901df7b1
- rapido paper · a1e479fb
  Letitia Li authored 8 years ago
  
  a1e479fb
Sep 21, 2016
- Update on avatar model checker · 8fb5cc5b
  Ludovic Apvrille authored 8 years ago
  
  8fb5cc5b
Aug 02, 2016
- fixed make test · c83e7905
  Florian Lugou authored 8 years ago
  
  c83e7905
Apr 28, 2016
- first functional version of library calls · 55e3f20e
  Florian Lugou authored 9 years ago
  
  55e3f20e
Apr 26, 2016
- added library function calls to SMD and various modification to use generics · aeec97b8
  Florian Lugou authored 9 years ago
  
  aeec97b8
Apr 21, 2016
- first step in adding library function call and fix for TGCNote box being too... · 0852ae0a
  Florian Lugou authored 9 years ago
  0852ae0a
Apr 14, 2016
- First part of graphical library functions and some modifications to TDiagramPanel (added generics) · 00c2553c
  Florian Lugou authored 9 years ago
  
  00c2553c
Apr 01, 2016
- Add warnings for pragmas · e585d5c0
  Florian Lugou authored 9 years ago
  
  e585d5c0
Mar 04, 2016
- enabled reachability proof with ProVerif on selected only states and added... · f7dcf5d6
  Florian Lugou authored 9 years ago
  f7dcf5d6
Nov 20, 2015
- UPPAAL Pragma support · 45e30daa
  Letitia Li authored 9 years ago
  
  45e30daa
Nov 06, 2015
- Execution Thread reads Error Stream as well · 28efdc0c
  Letitia Li authored 9 years ago
  
  28efdc0c
Nov 03, 2015
- Update on error message on AvatarRandom · d244cf17
  Ludovic Apvrille authored 9 years ago
  
  d244cf17
Oct 20, 2015
- updated paper · c13c5648
  Letitia Li authored 9 years ago
  
  c13c5648
Oct 08, 2015
- fix for else guards and avatartransition · 1ec05ccf
  Florian Lugou authored 9 years ago
  
  1ec05ccf
- Type checking Avatar Pragma · f9096b6d
  Letitia Li authored 9 years ago
  
  f9096b6d
Oct 07, 2015
- Updated pragmas for composed types · 78a648fd
  Letitia Li authored 9 years ago
  
  78a648fd
Oct 06, 2015
- corrected name association in ProVerif and allowed else guards for avatartranslator · 05d90fbe
  Florian Lugou authored 9 years ago
  
  05d90fbe