Commits · 9c36fa09ca898be37426ef92d94623644b13a30d · mbe-tools / TTool

Sep 18, 2018
- Updated latency calculation · 0a0ba812
  Letitia Li authored 6 years ago
  
  0a0ba812
Aug 17, 2018
- Added seuciryt testing model · e782dfb3
  Letitia Li authored 6 years ago
  
  e782dfb3
Aug 09, 2018
- Revert "Revert "Issue#69: Removed unused TMLCPJunction class"" · 38b8e402
  Irina LEE authored 6 years ago
  
  This reverts commit 71f98468.
  38b8e402
Aug 08, 2018
- Revert "Issue#69: Removed unused TMLCPJunction class" · 71f98468
  Irina LEE authored 6 years ago
  
  This reverts commit f8f5ab38.
  71f98468
Aug 01, 2018
- Issue#69: Removed unused TMLCPJunction class · f8f5ab38
  Dominique Blouin authored 6 years ago
  
  f8f5ab38
Dec 07, 2017
- Finished TML2Avatar translation · 95f4b3a2
  Letitia Li authored 7 years ago and Fabien Tessier committed 7 years ago
  
  95f4b3a2
- Resolving bug on fork/join channels · 6ec5908b
  Ludovic Apvrille authored 7 years ago and Fabien Tessier committed 7 years ago
  
  6ec5908b
- Resolving bug on wrong path · 42eca209
  Ludovic Apvrille authored 7 years ago and Fabien Tessier committed 7 years ago
  
  42eca209
Nov 13, 2017
- Finished TML2Avatar translation · 3d02de97
  Letitia Li authored 7 years ago
  
  3d02de97
Oct 25, 2017
- Resolving bug on fork/join channels · 13ccf64d
  Ludovic Apvrille authored 7 years ago
  
  13ccf64d
- Resolving bug on wrong path · 4affb1ab
  Ludovic Apvrille authored 7 years ago
  
  4affb1ab
Oct 03, 2017
- Reslving bug on avatar guards · 2f6b0063
  Ludovic Apvrille authored 7 years ago
  
  2f6b0063
Jun 13, 2017
- Update on diagram enhancement · ed8c6b2f
  Ludovic Apvrille authored 7 years ago
  
  ed8c6b2f
May 17, 2017
- Solving bug on join/fork channels when generating simulation code · 5ecb8314
  apvrille authored 7 years ago
  
  5ecb8314
Mar 29, 2017
- Update on BoolExpr evaluation: not yet available for avatar, just for testing · 0c5bb1e2
  apvrille authored 8 years ago
  
  0c5bb1e2
Mar 22, 2017
- Update on load process · c7543a95
  apvrille authored 8 years ago
  
  c7543a95
- Update on GTURTLEModeling · 54a6d782
  apvrille authored 8 years ago
  
  54a6d782
Mar 21, 2017
- Update on uppaaal gen · d2d2271e
  Ludovic Apvrille authored 8 years ago
  
  d2d2271e
- Update on TTool uppaal diplo management · 8c255280
  apvrille authored 8 years ago
  
  8c255280
- Addind uppaal dir · d1663776
  Ludovic Apvrille authored 8 years ago
  
  d1663776
Mar 20, 2017
- Update on icon management in diplo · 8403db06
  apvrille authored 8 years ago
  
  8403db06
- Update on TTool icons · c81f0ed9
  apvrille authored 8 years ago
  
  c81f0ed9
- Update on dialog windows · 9784cc71
  apvrille authored 8 years ago
  
  9784cc71
Mar 16, 2017
- Finishing joinevent in functional views · 95a748fa
  apvrille authored 8 years ago
  
  95a748fa
- Adding checking for events compatibility · b9acb462
  apvrille authored 8 years ago
  
  b9acb462
Mar 15, 2017
- Update on join for events. Still not functional. Noticed errors on evts... · ed8fb46c
  apvrille authored 8 years ago
  
  Update on join for events. Still not functional. Noticed errors on evts connection management for detecting incompatiblities on attributes
  ed8fb46c
- Adding diplo testing model · 90836435
  Ludovic Apvrille authored 8 years ago
  
  90836435
Mar 14, 2017
- update · 59390863
  Daniela Genius authored 8 years ago
  
  59390863
Mar 10, 2017
- Update on SD · 19dad8bf
  apvrille authored 8 years ago
  
  19dad8bf
- Resolving bug on loading SDZV · 83521b17
  apvrille authored 8 years ago
  
  83521b17
Mar 09, 2017
- Update on SD management · 4701b46c
  Ludovic Apvrille authored 8 years ago
  
  4701b46c
- Resolving connecting point bug on zoom · f4d2a8aa
  Ludovic Apvrille authored 8 years ago
  
  f4d2a8aa
- Resolving bug on ProVerif generation · a4fb0c52
  apvrille authored 8 years ago
  
  a4fb0c52
- Update on sdinstance zoom · 0025d1ef
  Ludovic Apvrille authored 8 years ago
  
  0025d1ef
- Adding model for testing TTool · 0e86119b
  apvrille authored 8 years ago
  
  0e86119b
Mar 08, 2017
- Adding zoom to AD diagrams · d3f36722
  apvrille authored 8 years ago
  
  d3f36722
Jan 19, 2017
- Update on signal association info in TTool avatar design · 89f342e4
  apvrille authored 8 years ago
  
  89f342e4
- 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