Commits · fbefedada0155f4585b6773a805a803f98794cb6 · mbe-tools / TTool

Jul 11, 2024
- Adding facilities in AI Frame: button to append diagram text and default text... · 924e0b4d
  Ludovic Apvrille authored 8 months ago
  
  Adding facilities in AI Frame: button to append diagram text and default text for each category of AI
  924e0b4d
Jun 27, 2024
- Stupid bug by Ludovic on the cloning of avatar attribute, i am a cong · efc47fbe
  Ludovic Apvrille authored 9 months ago
  
  efc47fbe
Jun 12, 2024
- Separating drawer for Avatar specification · 279087f2
  Ludovic Apvrille authored 9 months ago
  
  279087f2
May 31, 2024
- Adding support for mapping fork channels · 86a9d775
  Ludovic Apvrille authored 9 months ago
  
  86a9d775
May 30, 2024
- Added rotating icon to computing intensive tasks · e6d23ab9
  Ludovic Apvrille authored 10 months ago
  
  e6d23ab9
May 23, 2024
- 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
May 03, 2024
- Update on WSec models · 2ae739b9
  Bastien Sultan authored 10 months ago
  
  2ae739b9
- Adding Diplodocus model for the platoon · 8cf435c4
  Ludovic Apvrille authored 10 months ago
  
  8cf435c4
- Adding model for wsec · 6061bc65
  Ludovic Apvrille authored 10 months ago
  
  6061bc65
Apr 30, 2024
- Adding warning for unkwnon mapped channels · 9e6df7e9
  Ludovic Apvrille authored 10 months ago
  
  9e6df7e9
Apr 18, 2024
- Changing name of attack trace · 89962d9b
  Ludovic Apvrille authored 11 months ago
  
  89962d9b
Apr 12, 2024
- Bug on initial value · 5e7a9455
  Ludovic Apvrille authored 11 months ago
  
  5e7a9455
Apr 08, 2024
- Update on at · 059b6f6d
  Ludovic Apvrille authored 11 months ago
  
  059b6f6d
Mar 15, 2024
- Update on drawing UCD · 2c4c7e69
  Ludovic Apvrille authored 1 year ago
  
  2c4c7e69
- Slight update · d35b16db
  Ludovic Apvrille authored 1 year ago and Alan Birchler De Allende committed 1 year ago
  
  d35b16db
Feb 09, 2024
- Slight update · 3a28fdc2
  Ludovic Apvrille authored 1 year ago
  
  3a28fdc2
Jan 16, 2024
- Minor modif · 1f0fb848
  Ludovic Apvrille authored 1 year ago
  
  1f0fb848
Dec 20, 2023
- Adding cannot be proved for security proof in state machines · 147be0dc
  Ludovic Apvrille authored 1 year ago
  
  147be0dc
Nov 30, 2023
- Fixing bug on crashing simulation · 4baeeba3
  Ludovic Apvrille authored 1 year ago
  
  4baeeba3
Nov 29, 2023
- Minor updates · eac93f81
  Ludovic Apvrille authored 1 year ago
  
  eac93f81
Nov 14, 2023
- Adding help on security pragma · 08019020
  Ludovic Apvrille authored 1 year ago
  
  08019020
Nov 09, 2023
- Update on ProVerif prover wrong detection · dd88d053
  Ludovic Apvrille authored 1 year ago
  
  dd88d053
- Adding check for ProVerif · ce8bdf8b
  Ludovic Apvrille authored 1 year ago
  
  ce8bdf8b
Oct 17, 2023
- Patch for handling network models · b2e9611f
  Ludovic Apvrille authored 1 year ago
  
  b2e9611f
Sep 15, 2023
- Update on pressure controller network model · e0feec51
  Ludovic Apvrille authored 1 year ago
  
  e0feec51
Jun 30, 2023
- Finishing on CDG to Avatar · 32529ed2
  Ludovic Apvrille authored 1 year ago
  
  32529ed2
Jun 28, 2023
- Adding command for graph to avatar · 931eb188
  Ludovic Apvrille authored 1 year ago
  
  931eb188
Jun 27, 2023
- Adding support for owner in state machine elements of Avatar · c9421cf5
  Ludovic Apvrille authored 1 year ago
  
  c9421cf5
- Adding compact DG to TTool: first function al version · 329f8897
  Ludovic Apvrille authored 1 year ago
  
  329f8897
- Adding new Compact DG for Avatar models · 36dc922e
  Ludovic Apvrille authored 1 year ago
  
  36dc922e
Jun 23, 2023
- Update on AI and state machines · 7688d5b0
  Ludovic Apvrille authored 1 year ago
  
  7688d5b0
- Update on model name handling for windows in generated C++ code · ad07b80d
  Ludovic Apvrille authored 1 year ago
  
  ad07b80d
Jun 20, 2023
- Adding support for AI SM with signals · 52a76ac7
  Ludovic Apvrille authored 1 year ago
  
  52a76ac7
- Update on SM handling · ad50ee70
  Ludovic Apvrille authored 1 year ago
  
  ad50ee70
Jun 19, 2023
- Reverting to previous avatarmodelchecker · 54cd4f05
  Ludovic Apvrille authored 1 year ago
  
  54cd4f05
Jun 16, 2023
- Reworking test on TMLArchiclone · bdd3bde7
  Ludovic Apvrille authored 1 year ago
  
  bdd3bde7
Jun 14, 2023
- Resolving bug on pragma drawing · 440499d6
  Ludovic Apvrille authored 1 year ago
  
  440499d6
Jun 13, 2023
- Update on JFrameAI: multichat now reworks · 55ece03b
  Ludovic Apvrille authored 1 year ago
  
  55ece03b
- Adding support for software blocks and help on sections of AI frame · 302db5f3
  Ludovic Apvrille authored 1 year ago
  
  302db5f3