Commits · 55d70c654f500999422b3fef7be32e4118ccd541 · mbe-tools / TTool · GitLab

Snippets Groups Projects

Jun 27, 2023
- ADding support for drawing avatar relations from CDG · 0c87f276
  Ludovic Apvrille authored 1 year ago
  
  0c87f276
Mar 30, 2022
- Maj tml to avatar: variable name · dcbb16dc
  Ludovic Apvrille authored 3 years ago
  
  dcbb16dc
Sep 22, 2021
- Adding sysmlv2 · 7aa6997a
  Ludovic Apvrille authored 3 years ago
  
  7aa6997a
Mar 23, 2021
- Update on dependency graphs · e5b65442
  Ludovic Apvrille authored 4 years ago
  
  e5b65442
Aug 21, 2020
- Resolving bug on avatar panel design · f9d26546
  Ludovic Apvrille authored 4 years ago
  
  f9d26546
Mar 12, 2020
- UML version of AMS interfaces and channels · 3f951e83
  Daniela Genius authored 5 years ago
  
  3f951e83
Jan 22, 2020
- Adding BF to avatarspec · 060aa515
  Ludovic Apvrille authored 5 years ago
  
  060aa515
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 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
May 23, 2017
- fixed issue 40 · 95d408e4
  Florian Lugou authored 7 years ago
  
  95d408e4
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
  
  general code review
  d83bec61
Jan 26, 2017
- bugfix channel generation for MPSoC · a6f44c4d
  Daniela Genius authored 8 years ago
  
  a6f44c4d
Jun 13, 2016
- Update on advanced clone · 7839aad0
  Ludovic Apvrille authored 8 years ago
  
  7839aad0
Apr 13, 2015
- Update on syntax checking attack trees · 5f92bd3c
  Ludovic Apvrille authored 9 years ago
  
  5f92bd3c
Dec 05, 2013
- Update on TTool: asyncm msgs in simulation · 5fec67a7
  Ludovic Apvrille authored 11 years ago
  
  5fec67a7
Jun 30, 2011
- Adding message loss to asynchronous channels · 3b31f956
  Ludovic Apvrille authored 13 years ago
  
  3b31f956
Jun 29, 2011
- AVATAR:Adding a lossy argument to asynchronous channel · 4ad5e29b
  Ludovic Apvrille authored 13 years ago
  
  4ad5e29b
May 11, 2011
- AVATAR: first introduction of broadcast channels at graphical level, internal... · 6fc91aab
  Ludovic Apvrille authored 13 years ago
  
  AVATAR: first introduction of broadcast channels at graphical level, internal avatar language and UPPAAL translation
  6fc91aab
Apr 13, 2011
- Avatar code generator: Update on asynchronous channels · 83da5dbe
  Ludovic Apvrille authored 13 years ago
  
  83da5dbe
Mar 07, 2011
- AVATAR: Handling of private channels for security proof · 6d7651f1
  Ludovic Apvrille authored 14 years ago
  
  6d7651f1
Feb 03, 2011

· 07274abb

Ludovic Apvrille authored 14 years ago

AVATAR: Strong update on simulator + SD drawn at simulation time

07274abb

Jul 05, 2010
- Update on AVATAR: asynchronous channels · b34aa572
  Ludovic Apvrille authored 14 years ago
  
  b34aa572
- Avatar asynchronous messages: update · ebd707b9
  Ludovic Apvrille authored 14 years ago
  
  ebd707b9
Jul 02, 2010
- starting to implement asynchronous channels in avatar · 8072427f
  Ludovic Apvrille authored 14 years ago
  
  8072427f
- update on avatar · 768e8da6
  Ludovic Apvrille authored 14 years ago
  
  768e8da6
May 26, 2010
- Update on AVATAR · b667863a
  Ludovic Apvrille authored 14 years ago
  
  b667863a
May 20, 2010
- Update on AVATAR · 9674fc03
  Ludovic Apvrille authored 14 years ago
  
  9674fc03
- Update on AVATAR · 41490c42
  Ludovic Apvrille authored 14 years ago
  
  41490c42
- Update on Avatar · 98e621e9
  Ludovic Apvrille authored 14 years ago
  
  98e621e9
Jul 16, 2008
- First try to setup the TTool's svn · 12049339
  Ludovic Apvrille authored 16 years ago
  
  12049339