Commits · 13cf507f7c4b64b4bdc3feb6140127f49832685e · mbe-tools / TTool · GitLab

Snippets Groups Projects

Jun 08, 2024
- update on build version: build.txt · 13cf507f
  Ludovic Apvrille authored 9 months ago
  
  13cf507f
Jun 07, 2024
- Adding original methods · 1c5f4ce2
  Ludovic Apvrille authored 9 months ago
  
  1c5f4ce2
- update on build version: build.txt · 7b058dc5
  Ludovic Apvrille authored 9 months ago
  
  7b058dc5
Jun 06, 2024
- Update on Datatype management · 5cf86f58
  Ludovic Apvrille authored 9 months ago
  
  5cf86f58
- Adding original attributes · 032ff697
  Ludovic Apvrille authored 9 months ago
  
  032ff697
- update on build version: build.txt · ea406239
  Ludovic Apvrille authored 9 months ago
  
  ea406239
Jun 05, 2024
- Update on new avatarspec format for datatype handling · ebd9f605
  Ludovic Apvrille authored 9 months ago
  
  ebd9f605
- update on build version: build.txt · 2104ae22
  Ludovic Apvrille authored 9 months ago
  
  2104ae22
Jun 04, 2024
- Update for datatypes in avatar · 6613fbbb
  Ludovic Apvrille authored 9 months ago
  
  6613fbbb
- update on build version: build.txt · 960c9c63
  Ludovic Apvrille authored 9 months ago
  
  960c9c63
Jun 03, 2024
- Adding information to attributes declration and to method, with a link to their datatype · 7b71e6bb
  Ludovic Apvrille authored 9 months ago
  
  7b71e6bb
- update on build version: build.txt · cc54dce4
  Ludovic Apvrille authored 9 months ago
  
  cc54dce4
Jun 02, 2024
- update on build version: build.txt · d6b7fa5a
  Ludovic Apvrille authored 9 months ago
  
  d6b7fa5a
Jun 01, 2024
- update on build version: build.txt · 83346424
  Ludovic Apvrille authored 9 months ago
  
  83346424
May 31, 2024
- Resolving bug on exit when click on the red cross of intermediate windows, issue 407 · e45b78ee
  Ludovic Apvrille authored 9 months ago
  
  e45b78ee
- Resolving bug on timer removal · 1427b7f4
  Ludovic Apvrille authored 9 months ago
  
  1427b7f4
- Adding datatypes to avatarspec · 429fa37c
  Ludovic Apvrille authored 9 months ago
  
  429fa37c
- Adding support for mapping fork channels · 86a9d775
  Ludovic Apvrille authored 9 months ago
  
  86a9d775
- update on build version: build.txt · a76bc1c5
  Ludovic Apvrille authored 9 months ago
  
  a76bc1c5
May 30, 2024
- Adding information on buses for conf., integrity and auth. in the bug dialog... · 08214c46
  Ludovic Apvrille authored 9 months ago
  
  Adding information on buses for conf., integrity and auth. in the bug dialog window. Help has been updated as well
  08214c46
- Added rotating icon to computing intensive tasks · e6d23ab9
  Ludovic Apvrille authored 9 months ago
  
  e6d23ab9
- Adding rotating icon for proverif verification · 4a7475c6
  Ludovic Apvrille authored 9 months ago
  
  4a7475c6
- update on build version: build.txt · acfbcef4
  Ludovic Apvrille authored 9 months ago
  
  acfbcef4
May 29, 2024
- Adding avatar syntax checker in command line · 285fab91
  Ludovic Apvrille authored 9 months ago
  
  285fab91
- Bug on avatardraw from cli: solved · 9b429283
  Ludovic Apvrille authored 9 months ago
  
  9b429283
- Adding test for drawing avatar panel that panels can be created · 32c3c8ba
  Ludovic Apvrille authored 9 months ago
  
  32c3c8ba
- Enhancing syntax checking with duplicate attribute detection · 8482218d
  Ludovic Apvrille authored 9 months ago
  
  8482218d
- update on build version: build.txt · 89f016a7
  Ludovic Apvrille authored 9 months ago
  
  89f016a7
May 28, 2024
- Adding entry point for loading SysML V2 textual spec from cli · cff8ff83
  Ludovic Apvrille authored 9 months ago
  
  cff8ff83
- update on build version: build.txt · a64fcb3c
  Ludovic Apvrille authored 9 months ago
  
  a64fcb3c
May 27, 2024
- update on build version: build.txt · ceed8bdc
  Ludovic Apvrille authored 9 months ago
  
  ceed8bdc
May 26, 2024
- update on build version: build.txt · f8b0f919
  Ludovic Apvrille authored 10 months ago
  
  f8b0f919
May 25, 2024
- update on build version: build.txt · e790525b
  Ludovic Apvrille authored 10 months ago
  
  e790525b
May 24, 2024
- update on build version: build.txt · c9f92b70
  Ludovic Apvrille authored 10 months ago
  
  c9f92b70
May 23, 2024
- Solving bug on Sd trace from diplo traces - ticket 166 · 32ad0e70
  Ludovic Apvrille authored 10 months ago
  
  32ad0e70
- Updated attack tree gen pipeline to use 'motives' instead of 'objectives' for... · 257ee5ae
  Alan Birchler De Allende authored 10 months ago
  
  Updated attack tree gen pipeline to use 'motives' instead of 'objectives' for creating root attacks.
  257ee5ae
- Solving ticket 205 on multiple mapping in the same memory of the same key · 54073488
  Ludovic Apvrille authored 10 months ago
  
  54073488
- Solving ticket 403 on correct identification of method expression in avatar action · f8da8da9
  Ludovic Apvrille authored 10 months ago
  
  f8da8da9
- update on build version: build.txt · 3768e542
  Ludovic Apvrille authored 10 months ago
  
  3768e542
May 22, 2024
- fix a bug when translating a notified event · 135f8b5c
  jawher-j authored 10 months ago
  
  135f8b5c